com.mojang.datafixers.optics.profunctors

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

All Superinterfaces:

Mu<P>, Kind2 P, Profunctor P

All Known Implementing Classes:

FunctionType.Instance

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

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	Monoidal.Mu

Method Summary

Modifier and Type	Method and Description
P<Void,Void>	empty()
<A,B,C,D> P<(A,C),(B,D)>	par(P<A,B> first, by-name P<C,D> second)
static <P extends K2,Proof extends Monoidal.Mu> Monoidal<P,Proof>	unbox(Proof<P> proofBox) Thunk method that casts an applied Profunctor.Mu to a Profunctor.

Methods inherited from interface com.mojang.datafixers.optics.profunctors.Profunctor

dimap, dimap, dimap, lmap, rmap

Method Detail

unbox

static <P extends K2,Proof extends Monoidal.Mu> Monoidal<P,Proof> unbox(Proof<P> proofBox)

Description copied from interface: Profunctor

Thunk method that casts an applied Profunctor.Mu to a Profunctor.

Specified by:

unbox in interface Profunctor P extends K2

Type Parameters:

P - The container type.

Proof - The witness type.

Parameters:

proofBox - The boxed profunctor.

Returns:

The unboxed profunctor.

par

<A,B,C,D> P<(A,C),(B,D)> par(P<A,B> first,
                             by-name P<C,D> second)

empty

P<Void,Void> empty()