Uses of Class
com.jnape.palatable.lambda.adt.hlist.SingletonHList
-
Packages that use SingletonHList Package Description com.jnape.palatable.lambda.adt.hlist com.jnape.palatable.lambda.adt.hmap com.jnape.palatable.lambda.functions.builtin.fn2 -
-
Uses of SingletonHList in com.jnape.palatable.lambda.adt.hlist
Methods in com.jnape.palatable.lambda.adt.hlist with type parameters of type SingletonHList Modifier and Type Method Description <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 SingletonHList Modifier and Type Method Description <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>
SingletonHList. fmap(Fn1<? super _1,? extends _1Prime> fn)
Covariantly transmute this functor's parameter using the given mapping function.SingletonHList<_1>
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 SingletonHList Modifier and Type Method Description <_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 SingletonHList Modifier and Type Method Description <_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 Constructor Description Tuple2(_1 _1, SingletonHList<_2> tail)
-
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 SingletonHList Modifier and Type Method Description static <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 SingletonHList Modifier and Type Method Description static <A,B>
Fn1<SingletonHList<A>,B>Into1. into1(Fn1<? super A,? extends B> fn)
Methods in com.jnape.palatable.lambda.functions.builtin.fn2 with parameters of type SingletonHList Modifier and Type Method Description B
Into1. checkedApply(Fn1<? super A,? extends B> fn, SingletonHList<A> singletonHList)
static <A,B>
BInto1. into1(Fn1<? super A,? extends B> fn, SingletonHList<A> singletonHList)
-