Mapping (documenteddfu 6.0.12-2024.01.31-20.49.34 API)

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)