## Uses of Class
com.jnape.palatable.lambda.functor.builtin.Const

- Packages that use Const
  Package | Description
  --- | ---
  com.jnape.palatable.lambda.functor.builtin |
  com.jnape.palatable.lambda.optics.functions |

- - ### Uses of Const in com.jnape.palatable.lambda.functor.builtin

    Methods in com.jnape.palatable.lambda.functor.builtin with type parameters of type Const
    Modifier and Type | Method and Description
    --- | ---
    `<C,App extends Applicative<?,App>,TravB extends Traversable<C,Const<A,?>>,AppTrav extends Applicative<TravB,App>> AppTrav` | Const.`traverse(Fn1<? super B,? extends Applicative<C,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.functor.builtin that return Const
    Modifier and Type | Method and Description
    --- | ---
    `<C,D> Const<C,D>` | Const.`biMap(Fn1<? super A,? extends C> lFn, Fn1<? super B,? extends D> rFn)` Dually map covariantly over both the left and right parameters.
    `<Z> Const<Z,B>` | Const.`biMapL(Fn1<? super A,? extends Z> fn)` Covariantly map over the left parameter.
    `<C> Const<A,C>` | Const.`biMapR(Fn1<? super B,? extends C> fn)` Covariantly map over the right parameter.
    `<C> Const<A,C>` | Const.`discardL(Applicative<C,Const<A,?>> appB)` Sequence both this `Applicative` and `appB`, discarding this `Applicative's` result and returning `appB`.
    `<C> Const<A,B>` | Const.`discardR(Applicative<C,Const<A,?>> appB)` Sequence both this `Applicative` and `appB`, discarding `appB's` result and returning this `Applicative`.
    `<C> Const<A,C>` | Const.`flatMap(Fn1<? super B,? extends Monad<C,Const<A,?>>> f)` Chain dependent computations that may continue or short-circuit based on previous results.
    `<C> Const<A,C>` | Const.`fmap(Fn1<? super B,? extends C> fn)` Map over the right parameter.
    `<C> Const<A,C>` | Const.`pure(C c)` Lift the value `b` into this applicative functor.
    `<C> Const<A,C>` | Const.`trampolineM(Fn1<? super B,? extends MonadRec<RecursiveResult<B,C>,Const<A,?>>> fn)` Given some operation yielding a `RecursiveResult` inside this `MonadRec`, internally trampoline the operation until it yields a `termination` instruction.
    `<C> Const<A,C>` | Const.`zip(Applicative<Fn1<? super B,? extends C>,Const<A,?>> 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.functor.builtin that return types with arguments of type Const
    Modifier and Type | Method and Description
    --- | ---
    `<C> Lazy<Const<A,C>>` | Const.`lazyZip(Lazy<? extends Applicative<Fn1<? super B,? extends C>,Const<A,?>>> 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 <A> Pure<Const<A,?>>` | Const.`pureConst(A a)` The canonical `Pure` instance for `Const`.

    Method parameters in com.jnape.palatable.lambda.functor.builtin with type arguments of type Const
    Modifier and Type | Method and Description
    --- | ---
    `<C> Const<A,C>` | Const.`discardL(Applicative<C,Const<A,?>> appB)` Sequence both this `Applicative` and `appB`, discarding this `Applicative's` result and returning `appB`.
    `<C> Const<A,B>` | Const.`discardR(Applicative<C,Const<A,?>> appB)` Sequence both this `Applicative` and `appB`, discarding `appB's` result and returning this `Applicative`.
    `<C> Const<A,C>` | Const.`flatMap(Fn1<? super B,? extends Monad<C,Const<A,?>>> f)` Chain dependent computations that may continue or short-circuit based on previous results.
    `<C> Lazy<Const<A,C>>` | Const.`lazyZip(Lazy<? extends Applicative<Fn1<? super B,? extends C>,Const<A,?>>> 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.
    `<C> Const<A,C>` | Const.`trampolineM(Fn1<? super B,? extends MonadRec<RecursiveResult<B,C>,Const<A,?>>> fn)` Given some operation yielding a `RecursiveResult` inside this `MonadRec`, internally trampoline the operation until it yields a `termination` instruction.
    `<C> Const<A,C>` | Const.`zip(Applicative<Fn1<? super B,? extends C>,Const<A,?>> 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 Const in com.jnape.palatable.lambda.optics.functions

    Methods in com.jnape.palatable.lambda.optics.functions that return types with arguments of type Const
    Modifier and Type | Method and Description
    --- | ---
    `Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T>` | Re.`checkedApply(Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B> optic)`
    `Optic<P,Const<Maybe<A>,?>,S,T,Maybe<A>,B>` | Pre.`checkedApply(Optic<P,? super Const<Maybe<A>,?>,S,T,A,B> optic)`
    `static <P extends Profunctor<?,?,? extends P>,S,T,A,B> Optic<P,Const<Maybe<A>,?>,S,T,Maybe<A>,B>` | Pre.`pre(Optic<P,? super Const<Maybe<A>,?>,S,T,A,B> optic)`
    `static <P extends Profunctor<?,?,? extends P>,S,T,A,B> Optic<P,Const<Maybe<A>,?>,S,T,Maybe<A>,B>` | Pre.`pre(ProtoOptic<P,S,T,A,B> protoOptic)`
    `static <S,T,A,B> Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T>` | Re.`re(Optic<? super Tagged<?,?>,? super Identity<?>,S,T,A,B> optic)`

    Method parameters in com.jnape.palatable.lambda.optics.functions with type arguments of type Const
    Modifier and Type | Method and Description
    --- | ---
    `A` | View.`checkedApply(Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B> optic, S s)`
    `Optic<P,Const<Maybe<A>,?>,S,T,Maybe<A>,B>` | Pre.`checkedApply(Optic<P,? super Const<Maybe<A>,?>,S,T,A,B> optic)`
    `static <P extends Profunctor<?,?,? extends P>,S,T,A,B> Optic<P,Const<Maybe<A>,?>,S,T,Maybe<A>,B>` | Pre.`pre(Optic<P,? super Const<Maybe<A>,?>,S,T,A,B> optic)`
    `static <S,T,A,B> Fn1<S,A>` | View.`view(Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B> optic)`
    `static <S,T,A,B> A` | View.`view(Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B> optic, S s)`