Package com.mojang.datafixers.optics.profunctors

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

All Superinterfaces:

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

All Known Subinterfaces:

AffineP<P,Mu>, Cartesian<P,Mu>, Closed<P,Mu>, Cocartesian<P,Mu>, GetterP<P,Mu>, Mapping<P,Mu>, Monoidal<P,Mu>, MonoidProfunctor<P,Mu>, ReCartesian<P,Mu>, ReCocartesian<P,Mu>, TraversalP<P,Mu>

All Known Implementing Classes:

Adapter.Instance, Affine.Instance, Forget.Instance, ForgetOpt.Instance, FunctionType.Instance, Lens.Instance, Prism.Instance, ProfunctorFunctorWrapper.Instance, ReForgetC.Instance, Traversal.Instance

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

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	Profunctor.Mu

Method Summary

Modifier and Type	Method	Description
default <A, B, C, D> App2<P,C,D>	dimap(App2<P,A,B> arg, Function<C,A> g, Function<B,D> h)
<A, B, C, D> FunctionType<App2<P,A,B>,App2<P,C,D>>	dimap(Function<C,A> g, Function<B,D> h)
default <A, B, C, D> App2<P,C,D>	dimap(Supplier<App2<P,A,B>> arg, Function<C,A> g, Function<B,D> h)
default <A, B, C> App2<P,C,B>	lmap(App2<P,A,B> input, Function<C,A> g)
default <A, B, D> App2<P,A,D>	rmap(App2<P,A,B> input, Function<B,D> h)
static <P extends K2, Proof extends Profunctor.Mu> Profunctor<P,Proof>	unbox(App<Proof,P> proofBox)

Method Details

unbox

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

dimap

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

dimap

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

dimap

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

lmap

default <A,
B,
C> App2<P,C,B> lmap(App2<P,A,B> input,
 Function<C,A> g)

rmap

default <A,
B,
D> App2<P,A,D> rmap(App2<P,A,B> input,
 Function<B,D> h)