Class ForgetE.Instance<R>
java.lang.Object
com.mojang.datafixers.optics.ForgetE.Instance<R>
- All Implemented Interfaces:
App<ForgetE.Instance.Mu<R>, ForgetE.Mu<R>>, Kind2<ForgetE.Mu<R>, ForgetE.Instance.Mu<R>>, AffineP<ForgetE.Mu<R>, ForgetE.Instance.Mu<R>>, Cartesian<ForgetE.Mu<R>, ForgetE.Instance.Mu<R>>, Cocartesian<ForgetE.Mu<R>, ForgetE.Instance.Mu<R>>, Profunctor<ForgetE.Mu<R>, ForgetE.Instance.Mu<R>>
public static final class ForgetE.Instance<R>
extends Object
implements AffineP<ForgetE.Mu<R>, ForgetE.Instance.Mu<R>>, App<ForgetE.Instance.Mu<R>, ForgetE.Mu<R>>
-
Nested Class Summary
Nested Classes -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescription<A,B, C, D> FunctionType <App2<ForgetE.Mu<R>, A, B>, App2<ForgetE.Mu<R>, C, D>> <A,B, C> App2 <ForgetE.Mu<R>, Pair<A, C>, Pair<B, C>> first(App2<ForgetE.Mu<R>, A, B> input) <A,B, C> App2 <ForgetE.Mu<R>, Either<A, C>, Either<B, C>> left(App2<ForgetE.Mu<R>, A, B> input) <A,B, C> App2 <ForgetE.Mu<R>, Either<C, A>, Either<C, B>> right(App2<ForgetE.Mu<R>, A, B> input) <A,B, C> App2 <ForgetE.Mu<R>, Pair<C, A>, Pair<C, B>> second(App2<ForgetE.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<ForgetE.Mu<R>, A, B>, App2<ForgetE.Mu<R>, C, D>> dimapC, D> (Function<C, A> g, Function<B, D> h) - Specified by:
dimapin interfaceProfunctor<ForgetE.Mu<R>, ForgetE.Instance.Mu<R>>
-
first
- Specified by:
firstin interfaceCartesian<ForgetE.Mu<R>, ForgetE.Instance.Mu<R>>
-
second
- Specified by:
secondin interfaceCartesian<ForgetE.Mu<R>, ForgetE.Instance.Mu<R>>
-
left
- Specified by:
leftin interfaceCocartesian<ForgetE.Mu<R>, ForgetE.Instance.Mu<R>>
-
right
- Specified by:
rightin interfaceCocartesian<ForgetE.Mu<R>, ForgetE.Instance.Mu<R>>
-