Package com.mojang.datafixers.optics.profunctors

Interface Cartesian<P extends K2,Mu extends Cartesian.Mu>

All Superinterfaces:

App<Mu,P>, Kind2<P,Mu>, Profunctor<P,Mu>

All Known Subinterfaces:

AffineP<P,Mu>, Mapping<P,Mu>, TraversalP<P,Mu>

All Known Implementing Classes:

Affine.Instance, Forget.Instance, ForgetOpt.Instance, FunctionType.Instance, Lens.Instance, ReForgetC.Instance, Traversal.Instance

public interface Cartesian<P extends K2,Mu extends Cartesian.Mu>
extends Profunctor<P,Mu>

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	Cartesian.Mu

Method Summary

Modifier and Type	Method	Description
<A, B, C> App2<P,Pair<A,C>,Pair<B,C>>	first(App2<P,A,B> input)
default <A, B, C> App2<P,Pair<C,A>,Pair<C,B>>	second(App2<P,A,B> input)
default FunctorProfunctor<CartesianLike.Mu,P,FunctorProfunctor.Mu<CartesianLike.Mu>>	toFP2()
static <P extends K2, Proof extends Cartesian.Mu> Cartesian<P,Proof>	unbox(App<Proof,P> proofBox)

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

dimap, dimap, dimap, lmap, rmap

Method Details

unbox

static <P extends K2,
Proof extends Cartesian.Mu>
Cartesian<P,Proof> unbox(App<Proof,P> proofBox)

first

<A,
B,
C> App2<P,Pair<A,C>,Pair<B,C>> first(App2<P,A,B> input)

second

default <A,
B,
C> App2<P,Pair<C,A>,Pair<C,B>> second(App2<P,A,B> input)

toFP2

default FunctorProfunctor<CartesianLike.Mu,P,FunctorProfunctor.Mu<CartesianLike.Mu>> toFP2()