ReCocartesian (NeoForge 26.1)

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

All Known Implementing Classes:: Forget.Instance

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

Nested Class Summary

Nested Classes

Modifier and Type

Interface

Description

static interface

ReCocartesian.Mu
Method Summary

Modifier and Type

Method

Description

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

unbox(App<Proof,P> proofBox)

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

unleft(App2<P, Either<A,C>, Either<B,C>> input)

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

unright(App2<P, Either<C,A>, Either<C,B>> input)

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

Method Details
- unbox
  
  static <P extends K2, Proof extends ReCocartesian.Mu> ReCocartesian<P,Proof> unbox(App<Proof,P> proofBox)
- unleft
  
  <A,B,C> App2<P,A,B> unleft(App2<P, Either<A,C>, Either<B,C>> input)
- unright
  
  <A,B,C> App2<P,A,B> unright(App2<P, Either<C,A>, Either<C,B>> input)