TraversalP (NeoForge 26.1)

All Superinterfaces:: AffineP<P,Mu>, App<Mu,P>, Cartesian<P,Mu>, Cocartesian<P,Mu>, Kind2<P,Mu>, Profunctor<P,Mu>

All Known Subinterfaces:: Mapping<P,Mu>

All Known Implementing Classes:: FunctionType.Instance, Traversal.Instance

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

Nested Class Summary

Nested Classes

Modifier and Type

Interface

Description

static interface

TraversalP.Mu
Method Summary

Modifier and Type

Method

Description

default <A,B,C> App2<P, Pair<A,C>, Pair<B,C>>

first(App2<P,A,B> input)

default <A,B,C> App2<P, Either<A,C>, Either<B,C>>

left(App2<P,A,B> input)

default FunctorProfunctor<Traversable.Mu, P, FunctorProfunctor.Mu<Traversable.Mu>>

toFP3()

default <T extends K1, A, B> App2<P,App<T,A>,App<T,B>>

traverse(Traversable<T,?> traversable, App2<P,A,B> input)

static <P extends K2, Proof extends TraversalP.Mu> TraversalP<P,Proof>

unbox(App<Proof,P> proofBox)

<S,T,A,B> App2<P,S,T>

wander(Wander<S,T,A,B> wander, App2<P,A,B> input)

Methods inherited from interface Cartesian
second, toFP2

Methods inherited from interface Cocartesian
right, toFP

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

Method Details
- unbox
  
  static <P extends K2, Proof extends TraversalP.Mu> TraversalP<P,Proof> unbox(App<Proof,P> proofBox)
- wander
  
  <S,T,A,B> App2<P,S,T> wander(Wander<S,T,A,B> wander, App2<P,A,B> input)
- traverse
  
  default <T extends K1, A, B> App2<P,App<T,A>,App<T,B>> traverse(Traversable<T,?> traversable, App2<P,A,B> input)
- first
  
  default <A,B,C> App2<P, Pair<A,C>, Pair<B,C>> first(App2<P,A,B> input)
  
  Specified by:
  
  first in interface Cartesian<P extends K2, Mu extends TraversalP.Mu>
- left
  
  default <A,B,C> App2<P, Either<A,C>, Either<B,C>> left(App2<P,A,B> input)
  
  Specified by:
  
  left in interface Cocartesian<P extends K2, Mu extends TraversalP.Mu>
- toFP3
  
  default FunctorProfunctor<Traversable.Mu, P, FunctorProfunctor.Mu<Traversable.Mu>> toFP3()