com.mojang.datafixers.optics.profunctors

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

Type Parameters:

P - The transformation type.

Mu - The witness type of this profunctor.

All Superinterfaces:

Mu<P>, Kind2 P, Profunctor P

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

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

Type Shape:

%.Type. %0

API Note:

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

See Also:

Cartesian

Method Summary

Modifier and Type	Method and Description
<A,B,C> P<A,B>	unfirst(P<(A,C),(B,C)> input) Converts a transformation on the first type in a pair into a transformation on that type.
<A,B,C> P<A,B>	unsecond(P<(C,A),(C,B)> input) Converts a transformation on the second type in a pair into a transformation on that type.

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

dimap, dimap, dimap, lmap, rmap

Method Detail

unfirst

<A,B,C> P<A,B> unfirst(P<(A,C),(B,C)> input)

Converts a transformation on the first type in a pair into a transformation on that type. This method is the inverse of Cartesian.first(App2).

Type Parameters:

A - The input transformed type.

B - The output transformed type.

C - The invariant second type in the pair.

Parameters:

input - The pair transformation.

Returns:

A transformation that operates on the first type of the pair.

unsecond

<A,B,C> P<A,B> unsecond(P<(C,A),(C,B)> input)

Converts a transformation on the second type in a pair into a transformation on that type. This method is the inverse of Cartesian.second(App2).

Type Parameters:

A - The input transformed type.

B - The output transformed type.

C - The invariant first type in the pair.

Parameters:

input - The pair transformation.

Returns:

A transformation that operates on the second type of the pair.