Package com.mojang.datafixers.optics.profunctors

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

All Superinterfaces:

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

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

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	Closed.Mu

Method Summary

Modifier and Type	Method	Description
<A, B, X> App2<P,FunctionType<X,A>,FunctionType<X,B>>	closed(App2<P,A,B> input)
static <P extends K2, Proof extends Closed.Mu> Closed<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 Closed.Mu>
Closed<P,Proof> unbox(App<Proof,P> proofBox)

closed

<A,
B,
X> App2<P,FunctionType<X,A>,FunctionType<X,B>> closed(App2<P,A,B> input)