ReForgetP.Instance (NeoForge 26.1)

java.lang.Object

com.mojang.datafixers.optics.ReForgetP.Instance<R>

All Implemented Interfaces:: App<ReForgetP.Instance.Mu<R>, ReForgetP.Mu<R>>, Kind2<ReForgetP.Mu<R>, ReForgetP.Instance.Mu<R>>, AffineP<ReForgetP.Mu<R>, ReForgetP.Instance.Mu<R>>, Cartesian<ReForgetP.Mu<R>, ReForgetP.Instance.Mu<R>>, Cocartesian<ReForgetP.Mu<R>, ReForgetP.Instance.Mu<R>>, Profunctor<ReForgetP.Mu<R>, ReForgetP.Instance.Mu<R>>

Enclosing interface:: ReForgetP<R,A,B>

public static final class ReForgetP.Instance<R> extends Object implements AffineP<ReForgetP.Mu<R>, ReForgetP.Instance.Mu<R>>, App<ReForgetP.Instance.Mu<R>, ReForgetP.Mu<R>>

Nested Class Summary

Nested Classes

Modifier and Type

Class

Description

(package private) static final class

ReForgetP.Instance.Mu<R>
Constructor Summary

Constructors

Constructor

Description

Instance()
Method Summary

Modifier and Type

Method

Description

<A,B,C,D> FunctionType<App2<ReForgetP.Mu<R>, A, B>, App2<ReForgetP.Mu<R>, C, D>>

dimap(Function<C,A> g, Function<B,D> h)

<A,B,C> App2<ReForgetP.Mu<R>, Pair<A,C>, Pair<B,C>>

first(App2<ReForgetP.Mu<R>, A, B> input)

<A,B,C> App2<ReForgetP.Mu<R>, Either<A,C>, Either<B,C>>

left(App2<ReForgetP.Mu<R>, A, B> input)

<A,B,C> App2<ReForgetP.Mu<R>, Either<C,A>, Either<C,B>>

right(App2<ReForgetP.Mu<R>, A, B> input)

<A,B,C> App2<ReForgetP.Mu<R>, Pair<C,A>, Pair<C,B>>

second(App2<ReForgetP.Mu<R>, A, B> input)

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface Cartesian
toFP2

Methods inherited from interface Cocartesian
toFP

Methods inherited from interface Profunctor
dimap, dimap, lmap, rmap

Constructor Details
- Instance
  
  public Instance()
Method Details
- dimap
  
  public <A,B,C,D> FunctionType<App2<ReForgetP.Mu<R>, A, B>, App2<ReForgetP.Mu<R>, C, D>> dimap(Function<C,A> g, Function<B,D> h)
  
  Specified by:
  
  dimap in interface Profunctor<ReForgetP.Mu<R>, ReForgetP.Instance.Mu<R>>
- left
  
  public <A,B,C> App2<ReForgetP.Mu<R>, Either<A,C>, Either<B,C>> left(App2<ReForgetP.Mu<R>, A, B> input)
  
  Specified by:
  
  left in interface Cocartesian<ReForgetP.Mu<R>, ReForgetP.Instance.Mu<R>>
- right
  
  public <A,B,C> App2<ReForgetP.Mu<R>, Either<C,A>, Either<C,B>> right(App2<ReForgetP.Mu<R>, A, B> input)
  
  Specified by:
  
  right in interface Cocartesian<ReForgetP.Mu<R>, ReForgetP.Instance.Mu<R>>
- first
  
  public <A,B,C> App2<ReForgetP.Mu<R>, Pair<A,C>, Pair<B,C>> first(App2<ReForgetP.Mu<R>, A, B> input)
  
  Specified by:
  
  first in interface Cartesian<ReForgetP.Mu<R>, ReForgetP.Instance.Mu<R>>
- second
  
  public <A,B,C> App2<ReForgetP.Mu<R>, Pair<C,A>, Pair<C,B>> second(App2<ReForgetP.Mu<R>, A, B> input)
  
  Specified by:
  
  second in interface Cartesian<ReForgetP.Mu<R>, ReForgetP.Instance.Mu<R>>