Package com.mojang.datafixers.optics.profunctors

Interface Monoidal<P extends K2,Mu extends Monoidal.Mu>

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 com.mojang.datafixers.optics.profunctors.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()