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

Class Either.Instance<R2>

Nested Class Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

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

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

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

Constructor Details

Instance

Method Details

map

point

lift1

lift2

traverse

to

from