Class ReForgetEP.Instance<R>
java.lang.Object
com.mojang.datafixers.optics.ReForgetEP.Instance<R>
- All Implemented Interfaces:
App<ReForgetEP.Instance.Mu<R>, ReForgetEP.Mu<R>>, Kind2<ReForgetEP.Mu<R>, ReForgetEP.Instance.Mu<R>>, AffineP<ReForgetEP.Mu<R>, ReForgetEP.Instance.Mu<R>>, Cartesian<ReForgetEP.Mu<R>, ReForgetEP.Instance.Mu<R>>, Cocartesian<ReForgetEP.Mu<R>, ReForgetEP.Instance.Mu<R>>, Profunctor<ReForgetEP.Mu<R>, ReForgetEP.Instance.Mu<R>>
- Enclosing interface:
ReForgetEP<R,A, B>
public static final class ReForgetEP.Instance<R>
extends Object
implements AffineP<ReForgetEP.Mu<R>, ReForgetEP.Instance.Mu<R>>, App<ReForgetEP.Instance.Mu<R>, ReForgetEP.Mu<R>>
-
Nested Class Summary
Nested Classes -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescription<A,B, C, D> FunctionType <App2<ReForgetEP.Mu<R>, A, B>, App2<ReForgetEP.Mu<R>, C, D>> <A,B, C> App2 <ReForgetEP.Mu<R>, Pair<A, C>, Pair<B, C>> first(App2<ReForgetEP.Mu<R>, A, B> input) <A,B, C> App2 <ReForgetEP.Mu<R>, Either<A, C>, Either<B, C>> left(App2<ReForgetEP.Mu<R>, A, B> input) <A,B, C> App2 <ReForgetEP.Mu<R>, Either<C, A>, Either<C, B>> right(App2<ReForgetEP.Mu<R>, A, B> input) <A,B, C> App2 <ReForgetEP.Mu<R>, Pair<C, A>, Pair<C, B>> second(App2<ReForgetEP.Mu<R>, A, B> input) Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface Cocartesian
toFPMethods inherited from interface Profunctor
dimap, dimap, lmap, rmap
-
Constructor Details
-
Instance
public Instance()
-
-
Method Details
-
dimap
public <A,B, FunctionType<App2<ReForgetEP.Mu<R>, A, B>, App2<ReForgetEP.Mu<R>, C, D>> dimapC, D> (Function<C, A> g, Function<B, D> h) - Specified by:
dimapin interfaceProfunctor<ReForgetEP.Mu<R>, ReForgetEP.Instance.Mu<R>>
-
left
public <A,B, App2<ReForgetEP.Mu<R>, Either<A,C> C>, Either<B, leftC>> (App2<ReForgetEP.Mu<R>, A, B> input) - Specified by:
leftin interfaceCocartesian<ReForgetEP.Mu<R>, ReForgetEP.Instance.Mu<R>>
-
right
public <A,B, App2<ReForgetEP.Mu<R>, Either<C,C> A>, Either<C, rightB>> (App2<ReForgetEP.Mu<R>, A, B> input) - Specified by:
rightin interfaceCocartesian<ReForgetEP.Mu<R>, ReForgetEP.Instance.Mu<R>>
-
first
public <A,B, App2<ReForgetEP.Mu<R>, Pair<A,C> C>, Pair<B, firstC>> (App2<ReForgetEP.Mu<R>, A, B> input) - Specified by:
firstin interfaceCartesian<ReForgetEP.Mu<R>, ReForgetEP.Instance.Mu<R>>
-
second
public <A,B, App2<ReForgetEP.Mu<R>, Pair<C,C> A>, Pair<C, secondB>> (App2<ReForgetEP.Mu<R>, A, B> input) - Specified by:
secondin interfaceCartesian<ReForgetEP.Mu<R>, ReForgetEP.Instance.Mu<R>>
-