Uses of Interface
com.jnape.palatable.lambda.traversable.Traversable
Packages that use Traversable
Package
Description
-
Uses of Traversable in com.jnape.palatable.lambda.adt
Classes in com.jnape.palatable.lambda.adt that implement TraversableModifier and TypeClassDescriptionclass
Either<L,
R> The binary tagged union, implemented as a specializedCoProduct2
.private static final class
Either.Left<L,
R> private static final class
Either.Right<L,
R> class
Maybe<A>
The optional type, representing a potentially absent value.private static final class
Maybe.Just<A>
private static final class
class
These<A,
B> The coproduct of a coproduct (
) and its product (CoProduct2
<A, B>
), represented as aTuple2
<A, B>
.CoProduct3
<A, B,Tuple2
<A, B>>private static final class
These._A<A,
B> private static final class
These._B<A,
B> private static final class
These.Both<A,
B> class
Try<A>
AMonad
of the evaluation outcome of an expression that might throw.private static final class
Try.Failure<A>
private static final class
Try.Success<A>
Methods in com.jnape.palatable.lambda.adt with type parameters of type TraversableModifier and TypeMethodDescriptionfinal <R2,
App extends Applicative<?, App>, TravB extends Traversable<R2, Either<L, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravEither.traverse
(Fn1<? super R, ? extends Applicative<R2, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.final <B,
App extends Applicative<?, App>, TravB extends Traversable<B, Maybe<?>>, AppTrav extends Applicative<TravB, App>>
AppTravMaybe.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) <C,
App extends Applicative<?, App>, TravC extends Traversable<C, These<A, ?>>, AppTrav extends Applicative<TravC, App>>
AppTravThese.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravC, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.<B,
App extends Applicative<?, App>, TravB extends Traversable<B, Try<?>>, AppTrav extends Applicative<TravB, App>>
AppTravTry.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function. -
Uses of Traversable in com.jnape.palatable.lambda.adt.choice
Classes in com.jnape.palatable.lambda.adt.choice that implement TraversableModifier and TypeClassDescriptionclass
Choice2<A,
B> Canonical ADT representation ofCoProduct2
.private static final class
Choice2._A<A,
B> private static final class
Choice2._B<A,
B> class
Choice3<A,
B, C> Canonical ADT representation ofCoProduct3
.private static final class
Choice3._A<A,
B, C> private static final class
Choice3._B<A,
B, C> private static final class
Choice3._C<A,
B, C> class
Choice4<A,
B, C, D> Canonical ADT representation ofCoProduct4
.private static final class
Choice4._A<A,
B, C, D> private static final class
Choice4._B<A,
B, C, D> private static final class
Choice4._C<A,
B, C, D> private static final class
Choice4._D<A,
B, C, D> class
Choice5<A,
B, C, D, E> Canonical ADT representation ofCoProduct5
.private static final class
Choice5._A<A,
B, C, D, E> private static final class
Choice5._B<A,
B, C, D, E> private static final class
Choice5._C<A,
B, C, D, E> private static final class
Choice5._D<A,
B, C, D, E> private static final class
Choice5._E<A,
B, C, D, E> class
Choice6<A,
B, C, D, E, F> Canonical ADT representation ofCoProduct6
.private static final class
Choice6._A<A,
B, C, D, E, F> private static final class
Choice6._B<A,
B, C, D, E, F> private static final class
Choice6._C<A,
B, C, D, E, F> private static final class
Choice6._D<A,
B, C, D, E, F> private static final class
Choice6._E<A,
B, C, D, E, F> private static final class
Choice6._F<A,
B, C, D, E, F> class
Choice7<A,
B, C, D, E, F, G> Canonical ADT representation ofCoProduct7
.private static final class
Choice7._A<A,
B, C, D, E, F, G> private static final class
Choice7._B<A,
B, C, D, E, F, G> private static final class
Choice7._C<A,
B, C, D, E, F, G> private static final class
Choice7._D<A,
B, C, D, E, F, G> private static final class
Choice7._E<A,
B, C, D, E, F, G> private static final class
Choice7._F<A,
B, C, D, E, F, G> private static final class
Choice7._G<A,
B, C, D, E, F, G> class
Choice8<A,
B, C, D, E, F, G, H> Canonical ADT representation ofCoProduct8
.private static final class
Choice8._A<A,
B, C, D, E, F, G, H> private static final class
Choice8._B<A,
B, C, D, E, F, G, H> private static final class
Choice8._C<A,
B, C, D, E, F, G, H> private static final class
Choice8._D<A,
B, C, D, E, F, G, H> private static final class
Choice8._E<A,
B, C, D, E, F, G, H> private static final class
Choice8._F<A,
B, C, D, E, F, G, H> private static final class
Choice8._G<A,
B, C, D, E, F, G, H> private static final class
Choice8._H<A,
B, C, D, E, F, G, H> Methods in com.jnape.palatable.lambda.adt.choice with type parameters of type TraversableModifier and TypeMethodDescription<C,
App extends Applicative<?, App>, TravB extends Traversable<C, Choice2<A, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravChoice2.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.<D,
App extends Applicative<?, App>, TravB extends Traversable<D, Choice3<A, B, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravChoice3.traverse
(Fn1<? super C, ? extends Applicative<D, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.<E,
App extends Applicative<?, App>, TravB extends Traversable<E, Choice4<A, B, C, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravChoice4.traverse
(Fn1<? super D, ? extends Applicative<E, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.<F,
App extends Applicative<?, App>, TravB extends Traversable<F, Choice5<A, B, C, D, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravChoice5.traverse
(Fn1<? super E, ? extends Applicative<F, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.<G,
App extends Applicative<?, App>, TravB extends Traversable<G, Choice6<A, B, C, D, E, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravChoice6.traverse
(Fn1<? super F, ? extends Applicative<G, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.<H,
App extends Applicative<?, App>, TravB extends Traversable<H, Choice7<A, B, C, D, E, F, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravChoice7.traverse
(Fn1<? super G, ? extends Applicative<H, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.<I,
App extends Applicative<?, App>, TravB extends Traversable<I, Choice8<A, B, C, D, E, F, G, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravChoice8.traverse
(Fn1<? super H, ? extends Applicative<I, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function. -
Uses of Traversable in com.jnape.palatable.lambda.adt.hlist
Classes in com.jnape.palatable.lambda.adt.hlist that implement TraversableModifier and TypeClassDescriptionclass
SingletonHList<_1>
A singleton HList.class
Tuple2<_1,
_2> A 2-element tuple product type, implemented as a specialized HList.class
Tuple3<_1,
_2, _3> A 3-element tuple product type, implemented as a specialized HList.class
Tuple4<_1,
_2, _3, _4> A 4-element tuple product type, implemented as a specialized HList.class
Tuple5<_1,
_2, _3, _4, _5> A 5-element tuple product type, implemented as a specialized HList.class
Tuple6<_1,
_2, _3, _4, _5, _6> A 6-element tuple product type, implemented as a specialized HList.class
Tuple7<_1,
_2, _3, _4, _5, _6, _7> A 7-element tuple product type, implemented as a specialized HList.class
Tuple8<_1,
_2, _3, _4, _5, _6, _7, _8> An 8-element tuple product type, implemented as a specialized HList.Methods in com.jnape.palatable.lambda.adt.hlist with type parameters of type TraversableModifier and TypeMethodDescription<B,
App extends Applicative<?, App>, TravB extends Traversable<B, SingletonHList<?>>, AppTrav extends Applicative<TravB, App>>
AppTravSingletonHList.traverse
(Fn1<? super _1, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.<_2Prime,
App extends Applicative<?, App>, TravB extends Traversable<_2Prime, Tuple2<_1, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravTuple2.traverse
(Fn1<? super _2, ? extends Applicative<_2Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.<_3Prime,
App extends Applicative<?, App>, TravB extends Traversable<_3Prime, Tuple3<_1, _2, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravTuple3.traverse
(Fn1<? super _3, ? extends Applicative<_3Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.<_4Prime,
App extends Applicative<?, App>, TravB extends Traversable<_4Prime, Tuple4<_1, _2, _3, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravTuple4.traverse
(Fn1<? super _4, ? extends Applicative<_4Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.<_5Prime,
App extends Applicative<?, App>, TravB extends Traversable<_5Prime, Tuple5<_1, _2, _3, _4, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravTuple5.traverse
(Fn1<? super _5, ? extends Applicative<_5Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.<_6Prime,
App extends Applicative<?, App>, TravB extends Traversable<_6Prime, Tuple6<_1, _2, _3, _4, _5, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravTuple6.traverse
(Fn1<? super _6, ? extends Applicative<_6Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.<_7Prime,
App extends Applicative<?, App>, TravB extends Traversable<_7Prime, Tuple7<_1, _2, _3, _4, _5, _6, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravTuple7.traverse
(Fn1<? super _7, ? extends Applicative<_7Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.<_8Prime,
App extends Applicative<?, App>, TravB extends Traversable<_8Prime, Tuple8<_1, _2, _3, _4, _5, _6, _7, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravTuple8.traverse
(Fn1<? super _8, ? extends Applicative<_8Prime, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function. -
Uses of Traversable in com.jnape.palatable.lambda.functions.builtin.fn2
Classes in com.jnape.palatable.lambda.functions.builtin.fn2 with type parameters of type TraversableModifier and TypeClassDescriptionfinal class
Sequence<A,
App extends Applicative<?, App>, Trav extends Traversable<?, Trav>, TravA extends Traversable<A, Trav>, AppTrav extends Applicative<TravA, App>> Given aTraversable
ofApplicative
s and a pureApplicative
constructor, traverse the elements from left to right, zipping theApplicative
s together and collecting the results.final class
Sequence<A,
App extends Applicative<?, App>, Trav extends Traversable<?, Trav>, TravA extends Traversable<A, Trav>, AppTrav extends Applicative<TravA, App>> Given aTraversable
ofApplicative
s and a pureApplicative
constructor, traverse the elements from left to right, zipping theApplicative
s together and collecting the results.Methods in com.jnape.palatable.lambda.functions.builtin.fn2 with type parameters of type TraversableModifier and TypeMethodDescriptionstatic <A,
App extends Applicative<?, App>, Trav extends Traversable<?, Trav>, TravA extends Traversable<A, Trav>, AppTrav extends Applicative<TravA, App>>
Sequence<A, App, Trav, TravA, AppTrav> Sequence.sequence()
static <A,
App extends Applicative<?, App>, Trav extends Traversable<?, Trav>, TravA extends Traversable<A, Trav>, AppTrav extends Applicative<TravA, App>>
Sequence<A, App, Trav, TravA, AppTrav> Sequence.sequence()
static <A,
App extends Applicative<?, App>, Trav extends Traversable<?, Trav>, TravA extends Traversable<A, Trav>, AppTrav extends Applicative<TravA, App>>
Fn1<Fn1<TravA, ? extends AppTrav>, AppTrav> Sequence.sequence
(Traversable<? extends Applicative<A, App>, Trav> traversable) static <A,
App extends Applicative<?, App>, Trav extends Traversable<?, Trav>, TravA extends Traversable<A, Trav>, AppTrav extends Applicative<TravA, App>>
Fn1<Fn1<TravA, ? extends AppTrav>, AppTrav> Sequence.sequence
(Traversable<? extends Applicative<A, App>, Trav> traversable) static <A,
App extends Applicative<?, App>, Trav extends Traversable<?, Trav>, TravA extends Traversable<A, Trav>, AppTrav extends Applicative<TravA, App>>
AppTravSequence.sequence
(Traversable<? extends Applicative<A, App>, Trav> traversable, Fn1<TravA, ? extends AppTrav> pure) static <A,
App extends Applicative<?, App>, Trav extends Traversable<?, Trav>, TravA extends Traversable<A, Trav>, AppTrav extends Applicative<TravA, App>>
AppTravSequence.sequence
(Traversable<? extends Applicative<A, App>, Trav> traversable, Fn1<TravA, ? extends AppTrav> pure) Methods in com.jnape.palatable.lambda.functions.builtin.fn2 with parameters of type TraversableModifier and TypeMethodDescriptionSequence.checkedApply
(Traversable<? extends Applicative<A, App>, Trav> traversable, Fn1<TravA, ? extends AppTrav> pure) static <A,
App extends Applicative<?, App>, Trav extends Traversable<?, Trav>, TravA extends Traversable<A, Trav>, AppTrav extends Applicative<TravA, App>>
Fn1<Fn1<TravA, ? extends AppTrav>, AppTrav> Sequence.sequence
(Traversable<? extends Applicative<A, App>, Trav> traversable) static <A,
App extends Applicative<?, App>, Trav extends Traversable<?, Trav>, TravA extends Traversable<A, Trav>, AppTrav extends Applicative<TravA, App>>
AppTravSequence.sequence
(Traversable<? extends Applicative<A, App>, Trav> traversable, Fn1<TravA, ? extends AppTrav> pure) -
Uses of Traversable in com.jnape.palatable.lambda.functions.recursion
Classes in com.jnape.palatable.lambda.functions.recursion that implement TraversableModifier and TypeClassDescriptionclass
RecursiveResult<A,
B> SpecializedCoProduct2
representing the possible results of a primitive recursive function.(package private) static final class
(package private) static final class
Methods in com.jnape.palatable.lambda.functions.recursion with type parameters of type TraversableModifier and TypeMethodDescription<C,
App extends Applicative<?, App>, TravB extends Traversable<C, RecursiveResult<A, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravRecursiveResult.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function. -
Uses of Traversable in com.jnape.palatable.lambda.functor.builtin
Classes in com.jnape.palatable.lambda.functor.builtin that implement TraversableModifier and TypeClassDescriptionfinal class
Const<A,
B> A (surprisingly useful) functor over some phantom typeB
, retaining a value of typeA
that can be retrieved later.final class
Identity<A>
A functor over some value of typeA
that can be mapped over and retrieved later.class
Lazy<A>
AMonad
representing a lazily-computed value.private static final class
Lazy.Compose<A>
private static final class
Lazy.Later<A>
final class
Tagged<S,
B> LikeConst
, but the phantom parameter is in the contravariant position, and the value is in covariant position.Methods in com.jnape.palatable.lambda.functor.builtin with type parameters of type TraversableModifier and TypeMethodDescription<C,
App extends Applicative<?, App>, TravB extends Traversable<C, Const<A, ?>>, AppTrav extends Applicative<TravB, App>>
AppTravConst.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.<B,
App extends Applicative<?, App>, TravB extends Traversable<B, Identity<?>>, AppTrav extends Applicative<TravB, App>>
AppTravIdentity.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.<B,
App extends Applicative<?, App>, TravB extends Traversable<B, Lazy<?>>, AppTrav extends Applicative<TravB, App>>
AppTravLazy.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.<C,
App extends Applicative<?, App>, TravC extends Traversable<C, Tagged<S, ?>>, AppTrav extends Applicative<TravC, App>>
AppTravTagged.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravC, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function. -
Uses of Traversable in com.jnape.palatable.lambda.traversable
Classes in com.jnape.palatable.lambda.traversable with type parameters of type TraversableModifier and TypeInterfaceDescriptioninterface
Traversable<A,
T extends Traversable<?, T>> An interface for a class of data structures that can be "traversed from left to right" in a structure-preserving way, successively applying some applicative computation to each element and collapsing the results into a single resulting applicative.Classes in com.jnape.palatable.lambda.traversable that implement TraversableMethods in com.jnape.palatable.lambda.traversable with type parameters of type TraversableModifier and TypeMethodDescription<B,
App extends Applicative<?, App>, TravB extends Traversable<B, LambdaIterable<?>>, AppTrav extends Applicative<TravB, App>>
AppTravLambdaIterable.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.<C,
App extends Applicative<?, App>, TravC extends Traversable<C, LambdaMap<A, ?>>, AppTrav extends Applicative<TravC, App>>
AppTravLambdaMap.traverse
(Fn1<? super B, ? extends Applicative<C, App>> fn, Fn1<? super TravC, ? extends AppTrav> pure) <B,
App extends Applicative<?, App>, TravB extends Traversable<B, T>, AppTrav extends Applicative<TravB, App>>
AppTravTraversable.traverse
(Fn1<? super A, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfn
to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.Methods in com.jnape.palatable.lambda.traversable that return TraversableModifier and TypeMethodDescriptiondefault <B> Traversable
<B, T> Covariantly transmute this functor's parameter using the given mapping function.