Package com.mojang.datafixers.util

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>>

Enclosing class:

Either<L,R>

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

Modifier and Type	Class	Description
static final class	Either.Instance.Mu<R2>

Constructor Summary

Constructors

Constructor	Description
Instance()

Method Summary

Modifier and Type	Method	Description
<A> App<Either.Mu<R2>,A>	from(App<Either.Mu<R2>,A> input)
<A, R> Function<App<Either.Mu<R2>,A>,App<Either.Mu<R2>,R>>	lift1(App<Either.Mu<R2>,Function<A,R>> function)
<A, B, R> BiFunction<App<Either.Mu<R2>,A>,App<Either.Mu<R2>,B>,App<Either.Mu<R2>,R>>	lift2(App<Either.Mu<R2>,BiFunction<A,B,R>> function)
<T, R> App<Either.Mu<R2>,R>	map(Function<? super T,? extends R> func, App<Either.Mu<R2>,T> ts)
<A> App<Either.Mu<R2>,A>	point(A a)
<A> App<Either.Mu<R2>,A>	to(App<Either.Mu<R2>,A> input)
<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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface com.mojang.datafixers.kinds.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, lift9

Methods inherited from interface com.mojang.datafixers.kinds.Kind1

group, group, group, group, group, group, group, group, group, group, group, group, group, group, group, group

Methods inherited from interface com.mojang.datafixers.kinds.Traversable

flip

Constructor Details

Instance

public Instance()

Method Details

map

public <T,
R> App<Either.Mu<R2>,R> map(Function<? super T,? extends R> func,
 App<Either.Mu<R2>,T> ts)

Specified by:

map in interface Functor<Either.Mu<R2>,Either.Instance.Mu<R2>>

point

public <A> App<Either.Mu<R2>,A> point(A a)

Specified by:

point in interface Applicative<Either.Mu<R2>,Either.Instance.Mu<R2>>

lift1

public <A,
R>
Function<App<Either.Mu<R2>,A>,App<Either.Mu<R2>,R>> lift1(App<Either.Mu<R2>,Function<A,R>> function)

Specified by:

lift1 in interface Applicative<Either.Mu<R2>,Either.Instance.Mu<R2>>

lift2

public <A,
B,
R>
BiFunction<App<Either.Mu<R2>,A>,App<Either.Mu<R2>,B>,App<Either.Mu<R2>,R>> lift2(App<Either.Mu<R2>,BiFunction<A,B,R>> function)

Specified by:

lift2 in interface Applicative<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:

traverse in interface CocartesianLike<Either.Mu<R2>,R2,Either.Instance.Mu<R2>>

Specified by:

traverse in interface Traversable<Either.Mu<R2>,Either.Instance.Mu<R2>>

to

public <A> App<Either.Mu<R2>,A> to(App<Either.Mu<R2>,A> input)

Specified by:

to in interface CocartesianLike<Either.Mu<R2>,R2,Either.Instance.Mu<R2>>

from

public <A> App<Either.Mu<R2>,A> from(App<Either.Mu<R2>,A> input)

Specified by:

from in interface CocartesianLike<Either.Mu<R2>,R2,Either.Instance.Mu<R2>>