Package com.mojang.datafixers.optics.profunctors

Interface Cocartesian<P extends K2,Mu extends Cocartesian.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, ForgetOpt.Instance, FunctionType.Instance, Prism.Instance, ReForgetC.Instance, Traversal.Instance

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

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	Cocartesian.Mu

Method Summary

Modifier and Type	Method	Description
<A, B, C> App2<P,Either<A,C>,Either<B,C>>	left(App2<P,A,B> input)
default <A, B, C> App2<P,Either<C,A>,Either<C,B>>	right(App2<P,A,B> input)
default FunctorProfunctor<CocartesianLike.Mu,P,FunctorProfunctor.Mu<CocartesianLike.Mu>>	toFP()
static <P extends K2, Proof extends Cocartesian.Mu> Cocartesian<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 Cocartesian.Mu>
Cocartesian<P,Proof> unbox(App<Proof,P> proofBox)

left

<A,
B,
C> App2<P,Either<A,C>,Either<B,C>> left(App2<P,A,B> input)

right

default <A,
B,
C> App2<P,Either<C,A>,Either<C,B>> right(App2<P,A,B> input)

toFP

default FunctorProfunctor<CocartesianLike.Mu,P,FunctorProfunctor.Mu<CocartesianLike.Mu>> toFP()