Mapping (NeoForge 26.1)

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 Cartesian
second, toFP2

Methods inherited from interface Cocartesian
right, toFP

Methods inherited from interface Profunctor
dimap, dimap, dimap, lmap, rmap

Methods inherited from interface 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)