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>> AppTrav`	SingletonHList.`traverse(Fn1<? super _1,? extends Applicative<B,App>> fn, Fn1<? super TravB,? extends AppTrav> pure)`	Apply `fn` 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 this `Applicative` and `appB`, discarding this `Applicative's` result and returning `appB`.
`<_1Prime> SingletonHList<_1>`	SingletonHList.`discardR(Applicative<_1Prime,SingletonHList<?>> appB)`	Sequence both this `Applicative` and `appB`, discarding `appB's` result and returning this `Applicative`.
`<_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 `SingletonHList<_1>` of the first element.
`<_1Prime> SingletonHList<_1Prime>`	SingletonHList.`pure(_1Prime _1Prime)`	Lift the value `b` 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 a `RecursiveResult` inside this `MonadRec`, internally trampoline the operation until it yields a `termination` 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 a `lazy` 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 canonical `Pure` instance for `SingletonHList`.

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 this `Applicative` and `appB`, discarding this `Applicative's` result and returning `appB`.
`<_1Prime> SingletonHList<_1>`	SingletonHList.`discardR(Applicative<_1Prime,SingletonHList<?>> appB)`	Sequence both this `Applicative` and `appB`, discarding `appB's` result and returning this `Applicative`.
`<_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 a `lazy` 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 a `RecursiveResult` inside this `MonadRec`, internally trampoline the operation until it yields a `termination` 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 a `Schema` from a single `TypeSafeKey`.

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> B`	Into1.`into1(Fn1<? super A,? extends B> fn, SingletonHList<A> singletonHList)`