com.mojang.datafixers.optics.profunctors

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

Type Parameters:

P - The profunctor type.

Mu - The witness type for this profunctor.

All Superinterfaces:

Mu<P>, Kind2 P, Profunctor P

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

A Profunctor that may be turned into a transformation on functions. This allows one to pass functions through a profunctor and interleave them into the effects governed through this profunctor.

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	Closed.Mu The witness type for a Closed.

Method Summary

Modifier and Type	Method and Description
<A,B,X> P<(X) -> A,(X) -> B>	closed(P<A,B> input) Partially composes the given transformation by creating a transformation on functions based on it.
static <P extends K2,Proof extends Closed.Mu> Closed<P,Proof>	unbox(Proof<P> proofBox) Casts a boxed Closed to its unboxed form.

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

dimap, dimap, dimap, lmap, rmap

Method Detail

unbox

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

Casts a boxed Closed to its unboxed form.

Specified by:

unbox in interface Profunctor P extends K2

Type Parameters:

P - The profunctor type.

Proof - The witness type.

Parameters:

proofBox - The boxed profunctor.

Returns:

The unboxed profunctor.

closed

<A,B,X> P<(X) -> A,(X) -> B> closed(P<A,B> input)

Partially composes the given transformation by creating a transformation on functions based on it.

Type Parameters:

A - The input type.

B - The output type.

X - An intermediary input type.

Parameters:

input - The transformation.

Returns:

A transformation on functions from the intermediary input type to the I/O types.