Pair.Instance (documenteddfu 6.0.12-2024.01.31-20.49.34 API)

java.lang.Object

com.mojang.datafixers.util.Pair.Instance<S2>

All Implemented Interfaces:: App<Pair.Instance.Mu<S2>,Pair.Mu<S2>>, CartesianLike<Pair.Mu<S2>,S2,Pair.Instance.Mu<S2>>, Functor<Pair.Mu<S2>,Pair.Instance.Mu<S2>>, Kind1<Pair.Mu<S2>,Pair.Instance.Mu<S2>>, Traversable<Pair.Mu<S2>,Pair.Instance.Mu<S2>>

Enclosing class:: Pair<F,S>

public static final class Pair.Instance<S2> extends Object implements Traversable<Pair.Mu<S2>,Pair.Instance.Mu<S2>>, CartesianLike<Pair.Mu<S2>,S2,Pair.Instance.Mu<S2>>

Nested Class Summary

Nested Classes

Modifier and Type

Class

Description

static final class

Pair.Instance.Mu<S2>
Constructor Summary

Constructors

Constructor

Description

Instance()
Method Summary

Modifier and Type

Method

Description

<A> App<Pair.Mu<S2>,A>

from(App<Pair.Mu<S2>,A> input)

<T, R> App<Pair.Mu<S2>,R>

map(Function<? super T,? extends R> func, App<Pair.Mu<S2>,T> ts)

<A> App<Pair.Mu<S2>,A>

to(App<Pair.Mu<S2>,A> input)

<F extends K1, A, B> App<F,App<Pair.Mu<S2>,B>>

traverse(Applicative<F,?> applicative, Function<A,App<F,B>> function, App<Pair.Mu<S2>,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.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<Pair.Mu<S2>,R> map(Function<? super T,? extends R> func, App<Pair.Mu<S2>,T> ts)
  
  Specified by:
  
  map in interface Functor<Pair.Mu<S2>,Pair.Instance.Mu<S2>>
- traverse
  
  public <F extends K1, A, B> App<F,App<Pair.Mu<S2>,B>> traverse(Applicative<F,?> applicative, Function<A,App<F,B>> function, App<Pair.Mu<S2>,A> input)
  
  Specified by:
  
  traverse in interface CartesianLike<Pair.Mu<S2>,S2,Pair.Instance.Mu<S2>>
  
  Specified by:
  
  traverse in interface Traversable<Pair.Mu<S2>,Pair.Instance.Mu<S2>>
- to
  
  public <A> App<Pair.Mu<S2>,A> to(App<Pair.Mu<S2>,A> input)
  
  Specified by:
  
  to in interface CartesianLike<Pair.Mu<S2>,S2,Pair.Instance.Mu<S2>>
- from
  
  public <A> App<Pair.Mu<S2>,A> from(App<Pair.Mu<S2>,A> input)
  
  Specified by:
  
  from in interface CartesianLike<Pair.Mu<S2>,S2,Pair.Instance.Mu<S2>>