Monoidal (NeoForge 26.1)

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

All Known Implementing Classes:: FunctionType.Instance

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

Nested Class Summary

Nested Classes

Modifier and Type

Interface

Description

static interface

Monoidal.Mu
Method Summary

Modifier and Type

Method

Description

App2<P,Void,Void>

empty()

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

par(App2<P,A,B> first, Supplier<App2<P,C,D>> second)

static <P extends K2, Proof extends Monoidal.Mu> Monoidal<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 Monoidal.Mu> Monoidal<P,Proof> unbox(App<Proof,P> proofBox)
- par
  
  <A,B,C,D> App2<P, Pair<A,C>, Pair<B,D>> par(App2<P,A,B> first, Supplier<App2<P,C,D>> second)
- empty
  
  App2<P,Void,Void> empty()