com.mojang.datafixers.optics.profunctors

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

All Superinterfaces:

AffineP P, Mu<P>, Cartesian P, Cocartesian P, Kind2 P, Profunctor P, TraversalP P

All Known Implementing Classes:

FunctionType.Instance

public interface Mapping<P extends K2,Mu extends Mapping.Mu>
extends TraversalP P

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	Mapping.Mu

Method Summary

Modifier and Type	Method and Description
<A,B,F extends K1> P<F<A>,F<B>>	mapping(Functor F functor, P<A,B> input)
static <P extends K2,Proof extends Mapping.Mu> Mapping<P,Proof>	unbox(Proof<P> proofBox) Thunk method that casts an applied TraversalP.Mu to a TraversalP.

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

first, left, toFP3, traverse, wander

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

second, toFP2

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

right, toFP

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

dimap, dimap, dimap, lmap, rmap

Method Detail

unbox

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

Description copied from interface: TraversalP

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

Specified by:

unbox in interface Cartesian P extends K2

Specified by:

unbox in interface Cocartesian P extends K2

Specified by:

unbox in interface Profunctor P extends K2

Specified by:

unbox in interface TraversalP P extends K2

Type Parameters:

P - The type of transformation.

Proof - The witness type of the traversal profunctor.

Parameters:

proofBox - The boxed TraversalP.

Returns:

The unboxed TraversalP.

mapping

<A,B,F extends K1> P<F<A>,F<B>> mapping(Functor F functor,
                                        P<A,B> input)