ReCartesian (documenteddfu 6.0.12-2024.01.31-20.49.34 API)

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

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

Nested Class Summary

Nested Classes

Modifier and Type

Interface

Description

static interface

ReCartesian.Mu
Method Summary

Modifier and Type

Method

Description

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

unbox(App<Proof,P> proofBox)

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

unfirst(App2<P,Pair<A,C>,Pair<B,C>> input)

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

unsecond(App2<P,Pair<C,A>,Pair<C,B>> input)

Methods inherited from interface com.mojang.datafixers.optics.profunctors.Profunctor
dimap, dimap, dimap, lmap, rmap

Method Details
- unbox
  
  static <P extends K2, Proof extends ReCartesian.Mu> ReCartesian<P,Proof> unbox(App<Proof,P> proofBox)
- unfirst
  
  <A, B, C> App2<P,A,B> unfirst(App2<P,Pair<A,C>,Pair<B,C>> input)
- unsecond
  
  <A, B, C> App2<P,A,B> unsecond(App2<P,Pair<C,A>,Pair<C,B>> input)