Uses of Class
com.jnape.palatable.lambda.adt.hlist.SingletonHList
Packages that use SingletonHList
Package
Description
-
Uses of SingletonHList in com.jnape.palatable.lambda.adt.hlist
Methods in com.jnape.palatable.lambda.adt.hlist with type parameters of type SingletonHListModifier 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.Methods in com.jnape.palatable.lambda.adt.hlist that return SingletonHListModifier and TypeMethodDescription<Head> SingletonHList
<Head> HList.HNil.cons
(Head head) <_1Prime> SingletonHList
<_1Prime> SingletonHList.discardL
(Applicative<_1Prime, SingletonHList<?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<_1Prime> SingletonHList
<_1> SingletonHList.discardR
(Applicative<_1Prime, SingletonHList<?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<_1Prime> SingletonHList
<_1Prime> SingletonHList.flatMap
(Fn1<? super _1, ? extends Monad<_1Prime, SingletonHList<?>>> f) Chain dependent computations that may continue or short-circuit based on previous results.<_1Prime> SingletonHList
<_1Prime> Covariantly transmute this functor's parameter using the given mapping function.Tuple2.init()
Returns a
of the first element.SingletonHList
<_1><_1Prime> SingletonHList
<_1Prime> SingletonHList.pure
(_1Prime _1Prime) Lift the valueb
into this applicative functor.static <Head> SingletonHList
<Head> HList.singletonHList
(Head head) Static factory method for creating a singleton HList.<_1Prime> SingletonHList
<_1Prime> SingletonHList.trampolineM
(Fn1<? super _1, ? extends MonadRec<RecursiveResult<_1, _1Prime>, SingletonHList<?>>> fn) Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.<_1Prime> SingletonHList
<_1Prime> SingletonHList.zip
(Applicative<Fn1<? super _1, ? extends _1Prime>, SingletonHList<?>> appFn) Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Methods in com.jnape.palatable.lambda.adt.hlist that return types with arguments of type SingletonHListModifier and TypeMethodDescription<_1Prime> Lazy
<SingletonHList<_1Prime>> SingletonHList.lazyZip
(Lazy<? extends Applicative<Fn1<? super _1, ? extends _1Prime>, SingletonHList<?>>> lazyAppFn) Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.static Pure
<SingletonHList<?>> SingletonHList.pureSingletonHList()
The canonicalPure
instance forSingletonHList
.Method parameters in com.jnape.palatable.lambda.adt.hlist with type arguments of type SingletonHListModifier and TypeMethodDescription<_1Prime> SingletonHList
<_1Prime> SingletonHList.discardL
(Applicative<_1Prime, SingletonHList<?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<_1Prime> SingletonHList
<_1> SingletonHList.discardR
(Applicative<_1Prime, SingletonHList<?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<_1Prime> SingletonHList
<_1Prime> SingletonHList.flatMap
(Fn1<? super _1, ? extends Monad<_1Prime, SingletonHList<?>>> f) Chain dependent computations that may continue or short-circuit based on previous results.<_1Prime> Lazy
<SingletonHList<_1Prime>> SingletonHList.lazyZip
(Lazy<? extends Applicative<Fn1<? super _1, ? extends _1Prime>, SingletonHList<?>>> lazyAppFn) Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.<_1Prime> SingletonHList
<_1Prime> SingletonHList.trampolineM
(Fn1<? super _1, ? extends MonadRec<RecursiveResult<_1, _1Prime>, SingletonHList<?>>> fn) Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.<_1Prime> SingletonHList
<_1Prime> SingletonHList.zip
(Applicative<Fn1<? super _1, ? extends _1Prime>, SingletonHList<?>> appFn) Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Constructors in com.jnape.palatable.lambda.adt.hlist with parameters of type SingletonHList -
Uses of SingletonHList in com.jnape.palatable.lambda.adt.hmap
Methods in com.jnape.palatable.lambda.adt.hmap that return types with arguments of type SingletonHListModifier and TypeMethodDescriptionstatic <A> Schema
<SingletonHList<A>> Schema.schema
(TypeSafeKey<?, A> key) Create aSchema
from a singleTypeSafeKey
. -
Uses of SingletonHList in com.jnape.palatable.lambda.functions.builtin.fn2
Methods in com.jnape.palatable.lambda.functions.builtin.fn2 that return types with arguments of type SingletonHListMethods in com.jnape.palatable.lambda.functions.builtin.fn2 with parameters of type SingletonHListModifier and TypeMethodDescriptionInto1.checkedApply
(Fn1<? super A, ? extends B> fn, SingletonHList<A> singletonHList) static <A,
B> B Into1.into1
(Fn1<? super A, ? extends B> fn, SingletonHList<A> singletonHList)