com.mojang.datafixers.optics.profunctors

Interface ReCocartesian<P extends K2,Mu extends ReCocartesian _>

Type Parameters:

P - The transformation type.

Mu - The witness type of this profunctor.

All Superinterfaces:

Mu<P>, Kind2 P, Profunctor P

All Known Implementing Classes:

Forget.Instance

public interface ReCocartesian<P extends K2,Mu extends ReCocartesian _>
extends Profunctor P

A profunctor that supports converting a transformation on one of the types in an Either into a transformation on that type. This type class implements the inverse of Cocartesian.

Type Shape:

%.Type. %0

API Note:

The name ReCocartesian is short for "reified cocartesian", though one could also think of it as a "reverse" or "inverse" operation.

See Also:

Cocartesian

Method Summary

Modifier and Type	Method and Description
<A,B,C> P<A,B>	unleft(P<(A|C),(B|C)> input) Converts a transformation on the left type in an Either into a transformation on that type, discarding the invariant right type.
<A,B,C> P<A,B>	unright(P<(C|A),(C|B)> input) Converts a transformation on the right type in an Either into a transformation on that type, discarding the invariant left type.

Methods inherited from interface com.mojang.datafixers.optics.profunctors.Profunctor

dimap, dimap, dimap, lmap, rmap

Method Detail

unleft

<A,B,C> P<A,B> unleft(P<(A|C),(B|C)> input)

Converts a transformation on the left type in an Either into a transformation on that type, discarding the invariant right type. This method is the inverse of Cocartesian.left(App2).

Type Parameters:

A - The input transformed type.

B - The output transformed type.

C - The invariant right type in the Either.

Parameters:

input - The Either transformation.

Returns:

A transformation that operates on the left type of the Either.

unright

<A,B,C> P<A,B> unright(P<(C|A),(C|B)> input)

Converts a transformation on the right type in an Either into a transformation on that type, discarding the invariant left type. This method is the inverse of Cocartesian.right(App2).

Type Parameters:

A - The input transformed type.

B - The output transformed type.

C - The invariant left type in the Either.

Parameters:

input - The Either transformation.

Returns:

A transformation that operates on the right type of the Either.