Package com.mojang.datafixers.optics.profunctors

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

All Superinterfaces:

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

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

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	GetterP.Mu

Method Summary

Modifier and Type	Method	Description
<A, B, C, D> FunctionType<Supplier<App2<P,A,B>>,App2<P,C,D>>	cimap(Function<C,A> g, Function<D,B> h)
default <A, B, C, D> App2<P,C,D>	cimap(Supplier<App2<P,A,B>> arg, Function<C,A> g, Function<D,B> h)
default <A, B, C> App2<P,C,A>	secondPhantom(App2<P,C,B> input)
static <P extends K2, Proof extends GetterP.Mu> GetterP<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 GetterP.Mu>
GetterP<P,Proof> unbox(App<Proof,P> proofBox)

secondPhantom

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

cimap

<A,
B,
C,
D>
FunctionType<Supplier<App2<P,A,B>>,App2<P,C,D>> cimap(Function<C,A> g,
 Function<D,B> h)

cimap

default <A,
B,
C,
D> App2<P,C,D> cimap(Supplier<App2<P,A,B>> arg,
 Function<C,A> g,
 Function<D,B> h)