Cartesian (NeoForge 26.1)

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

All Known Subinterfaces:: AffineP<P,Mu>, Mapping<P,Mu>, TraversalP<P,Mu>

All Known Implementing Classes:: Affine.Instance, Forget.Instance, ForgetE.Instance, ForgetOpt.Instance, FunctionType.Instance, Lens.Instance, ReForgetC.Instance, ReForgetEP.Instance, ReForgetP.Instance, Traversal.Instance

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

Nested Class Summary

Nested Classes

Modifier and Type

Interface

Description

static interface

Cartesian.Mu
Method Summary

Modifier and Type

Method

Description

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

first(App2<P,A,B> input)

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

second(App2<P,A,B> input)

default FunctorProfunctor<CartesianLike.Mu, P, FunctorProfunctor.Mu<CartesianLike.Mu>>

toFP2()

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

unbox(App<Proof,P> proofBox)

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

Method Details
- unbox
  
  static <P extends K2, Proof extends Cartesian.Mu> Cartesian<P,Proof> unbox(App<Proof,P> proofBox)
- first
  
  <A,B,C> App2<P, Pair<A,C>, Pair<B,C>> first(App2<P,A,B> input)
- second
  
  default <A,B,C> App2<P, Pair<C,A>, Pair<C,B>> second(App2<P,A,B> input)
- toFP2
  
  default FunctorProfunctor<CartesianLike.Mu, P, FunctorProfunctor.Mu<CartesianLike.Mu>> toFP2()