Profunctor (NeoForge 26.1)

All Superinterfaces:: App<Mu,P>, Kind2<P,Mu>

All Known Subinterfaces:: AffineP<P,Mu>, Cartesian<P,Mu>, Closed<P,Mu>, Cocartesian<P,Mu>, GetterP<P,Mu>, Mapping<P,Mu>, Monoidal<P,Mu>, MonoidProfunctor<P,Mu>, ReCartesian<P,Mu>, ReCocartesian<P,Mu>, TraversalP<P,Mu>

All Known Implementing Classes:: Adapter.Instance, Affine.Instance, Forget.Instance, ForgetE.Instance, ForgetOpt.Instance, FunctionType.Instance, Getter.Instance, Grate.Instance, Lens.Instance, Prism.Instance, Procompose.ProfunctorInstance, ProfunctorFunctorWrapper.Instance, ReForget.Instance, ReForgetC.Instance, ReForgetE.Instance, ReForgetEP.Instance, ReForgetP.Instance, Traversal.Instance

public interface Profunctor<P extends K2, Mu extends Profunctor.Mu> extends Kind2<P,Mu>

Nested Class Summary

Nested Classes

Modifier and Type

Interface

Description

static interface

Profunctor.Mu
Method Summary

Modifier and Type

Method

Description

default <A,B,C,D> App2<P,C,D>

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

<A,B,C,D> FunctionType<App2<P,A,B>, App2<P,C,D>>

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

default <A,B,C,D> App2<P,C,D>

dimap(Supplier<App2<P,A,B>> arg, Function<C,A> g, Function<B,D> h)

default <A,B,C> App2<P,C,B>

lmap(App2<P,A,B> input, Function<C,A> g)

default <A,B,D> App2<P,A,D>

rmap(App2<P,A,B> input, Function<B,D> h)

static <P extends K2, Proof extends Profunctor.Mu> Profunctor<P,Proof>

unbox(App<Proof,P> proofBox)

Method Details
- unbox
  
  static <P extends K2, Proof extends Profunctor.Mu> Profunctor<P,Proof> unbox(App<Proof,P> proofBox)
- dimap
  
  <A,B,C,D> FunctionType<App2<P,A,B>, App2<P,C,D>> dimap(Function<C,A> g, Function<B,D> h)
- dimap
  
  default <A,B,C,D> App2<P,C,D> dimap(App2<P,A,B> arg, Function<C,A> g, Function<B,D> h)
- dimap
  
  default <A,B,C,D> App2<P,C,D> dimap(Supplier<App2<P,A,B>> arg, Function<C,A> g, Function<B,D> h)
- lmap
  
  default <A,B,C> App2<P,C,B> lmap(App2<P,A,B> input, Function<C,A> g)
- rmap
  
  default <A,B,D> App2<P,A,D> rmap(App2<P,A,B> input, Function<B,D> h)