java.lang.Object
com.mojang.datafixers.optics.Procompose.ProfunctorInstance<F,G>
- All Implemented Interfaces:
App<Profunctor.Mu, Procompose.Mu<F,G>>, Kind2<Procompose.Mu<F, G>, Profunctor.Mu>, Profunctor<Procompose.Mu<F, G>, Profunctor.Mu>
static final class Procompose.ProfunctorInstance<F extends K2, G extends K2>
extends Object
implements Profunctor<Procompose.Mu<F,G>, Profunctor.Mu>
-
Nested Class Summary
Nested classes/interfaces inherited from interface Profunctor
Profunctor.Mu -
Field Summary
FieldsModifier and TypeFieldDescriptionprivate final Profunctor<F, Profunctor.Mu> private final Profunctor<G, Profunctor.Mu> -
Constructor Summary
ConstructorsConstructorDescriptionProfunctorInstance(Profunctor<F, Profunctor.Mu> p1, Profunctor<G, Profunctor.Mu> p2) -
Method Summary
Modifier and TypeMethodDescriptionprivate <A,B, C, D, E>
App2<Procompose.Mu<F, G>, C, D> <A,B, C, D> FunctionType <App2<Procompose.Mu<F, G>, A, B>, App2<Procompose.Mu<F, G>, C, D>> Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface Profunctor
dimap, dimap, lmap, rmap
-
Field Details
-
p1
-
p2
-
-
Constructor Details
-
ProfunctorInstance
ProfunctorInstance(Profunctor<F, Profunctor.Mu> p1, Profunctor<G, Profunctor.Mu> p2)
-
-
Method Details
-
dimap
public <A,B, FunctionType<App2<Procompose.Mu<F,C, D> G>, A, B>, App2<Procompose.Mu<F, dimapG>, C, D>> (Function<C, A> g, Function<B, D> h) -
cap
private <A,B, App2<Procompose.Mu<F,C, D, E> G>, C, D> cap(Procompose<F, G, A, B, E> cmp, Function<C, A> g, Function<B, D> h)
-