Package com.mojang.datafixers.optics.profunctors

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

All Superinterfaces:

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

All Known Implementing Classes:

FunctionType.Instance

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

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	Mapping.Mu

Method Summary

Modifier and Type	Method	Description
<A, B, F extends K1> App2<P,App<F,A>,App<F,B>>	mapping(Functor<F,?> functor, App2<P,A,B> input)
static <P extends K2, Proof extends Mapping.Mu> Mapping<P,Proof>	unbox(App<Proof,P> proofBox)

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

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

first, left, toFP3, traverse, wander

Method Details

unbox

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

mapping

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