## 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 and 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 and 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.
    `<_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 and 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 and 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.

  - ### 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 and 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 and 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 and 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)`