Package com.mojang.datafixers.optics.profunctors

Interface FunctorProfunctor<T extends K1,P extends K2,Mu extends FunctorProfunctor.Mu<T>>

All Superinterfaces:

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

public interface FunctorProfunctor<T extends K1,P extends K2,Mu extends FunctorProfunctor.Mu<T>>
extends Kind2<P,Mu>

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	FunctorProfunctor.Mu<T extends K1>

Method Summary

Modifier and Type	Method	Description
<A, B, F extends K1> App2<P,App<F,A>,App<F,B>>	distribute(App<? extends T,F> proof, App2<P,A,B> input)
static <T extends K1, P extends K2, Mu extends FunctorProfunctor.Mu<T>> FunctorProfunctor<T,P,Mu>	unbox(App<Mu,P> proofBox)

Method Details

unbox

static <T extends K1,
P extends K2,
Mu extends FunctorProfunctor.Mu<T>>
FunctorProfunctor<T,P,Mu> unbox(App<Mu,P> proofBox)

distribute

<A,
B,
F extends K1> App2<P,App<F,A>,App<F,B>> distribute(App<? extends T,F> proof,
 App2<P,A,B> input)