Class Either.Instance<R2>
java.lang.Object
com.mojang.datafixers.util.Either.Instance<R2>
- All Implemented Interfaces:
App<Either.Instance.Mu<R2>, Either.Mu<R2>>, Applicative<Either.Mu<R2>, Either.Instance.Mu<R2>>, CocartesianLike<Either.Mu<R2>, R2, Either.Instance.Mu<R2>>, Functor<Either.Mu<R2>, Either.Instance.Mu<R2>>, Kind1<Either.Mu<R2>, Either.Instance.Mu<R2>>, Traversable<Either.Mu<R2>, Either.Instance.Mu<R2>>
public static final class Either.Instance<R2>
extends Object
implements Applicative<Either.Mu<R2>, Either.Instance.Mu<R2>>, Traversable<Either.Mu<R2>, Either.Instance.Mu<R2>>, CocartesianLike<Either.Mu<R2>, R2, Either.Instance.Mu<R2>>
-
Nested Class Summary
Nested Classes -
Constructor Summary
Constructors -
Method Summary
Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface Applicative
ap, ap, ap10, ap11, ap12, ap13, ap14, ap15, ap16, ap2, ap3, ap4, ap5, ap6, ap7, ap8, ap9, apply2, apply3, apply4, apply5, apply6, apply7, apply8, apply9, lift3, lift4, lift5, lift6, lift7, lift8, lift9Methods inherited from interface Kind1
group, group, group, group, group, group, group, group, group, group, group, group, group, group, group, groupMethods inherited from interface Traversable
flip
-
Constructor Details
-
Instance
public Instance()
-
-
Method Details
-
map
-
point
- Specified by:
pointin interfaceApplicative<Either.Mu<R2>, Either.Instance.Mu<R2>>
-
lift1
-
lift2
public <A,B, BiFunction<App<Either.Mu<R2>, A>, App<Either.Mu<R2>, B>, App<Either.Mu<R2>, R>> lift2R> (App<Either.Mu<R2>, BiFunction<A, B, R>> function) - Specified by:
lift2in interfaceApplicative<Either.Mu<R2>, Either.Instance.Mu<R2>>
-
traverse
public <F extends K1, A, B> App<F, App<Either.Mu<R2>, B>> traverse(Applicative<F, ?> applicative, Function<A, App<F, B>> function, App<Either.Mu<R2>, A> input) - Specified by:
traversein interfaceCocartesianLike<Either.Mu<R2>, R2, Either.Instance.Mu<R2>>- Specified by:
traversein interfaceTraversable<Either.Mu<R2>, Either.Instance.Mu<R2>>
-
to
-
from
-