Cocartesian (documenteddfu 6.0.12-2024.01.31-20.49.34 API)

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, ForgetOpt.Instance, FunctionType.Instance, Prism.Instance, ReForgetC.Instance, Traversal.Instance

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

Nested Class Summary

Nested Classes

Modifier and Type

Interface

Description

static interface

Cocartesian.Mu
Method Summary

Modifier and Type

Method

Description

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

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

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

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

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

toFP()

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

unbox(App<Proof,P> proofBox)

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

Method Details
- unbox
  
  static <P extends K2, Proof extends Cocartesian.Mu> Cocartesian<P,Proof> unbox(App<Proof,P> proofBox)
- left
  
  <A, B, C> App2<P,Either<A,C>,Either<B,C>> left(App2<P,A,B> input)
- right
  
  default <A, B, C> App2<P,Either<C,A>,Either<C,B>> right(App2<P,A,B> input)
- toFP
  
  default FunctorProfunctor<CocartesianLike.Mu,P,FunctorProfunctor.Mu<CocartesianLike.Mu>> toFP()