Package com.mojang.datafixers.optics.profunctors

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

All Superinterfaces:

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

All Known Implementing Classes:

Forget.Instance

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

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	ReCocartesian.Mu

Method Summary

Modifier and Type	Method	Description
static <P extends K2, Proof extends ReCocartesian.Mu> ReCocartesian<P,Proof>	unbox(App<Proof,P> proofBox)
<A, B, C> App2<P,A,B>	unleft(App2<P,Either<A,C>,Either<B,C>> input)
<A, B, C> App2<P,A,B>	unright(App2<P,Either<C,A>,Either<C,B>> input)

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

dimap, dimap, dimap, lmap, rmap

Method Details

unbox

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

unleft

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

unright

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