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 Description <C,App extends Applicative<?,App>,TravB extends Traversable<C,Const<A,?>>,AppTrav extends Applicative<TravB,App>>
AppTravConst. traverse(Fn1<? super B,? extends Applicative<C,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.functor.builtin that return Const Modifier and Type Method 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 thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<C> Const<A,B>
Const. discardR(Applicative<C,Const<A,?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<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 valueb
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 aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
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 Description <C> Lazy<Const<A,C>>
Const. lazyZip(Lazy<? extends Applicative<Fn1<? super B,? extends C>,Const<A,?>>> 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 <A> Pure<Const<A,?>>
Const. pureConst(A a)
Method parameters in com.jnape.palatable.lambda.functor.builtin with type arguments of type Const Modifier and Type Method Description <C> Const<A,C>
Const. discardL(Applicative<C,Const<A,?>> appB)
Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<C> Const<A,B>
Const. discardR(Applicative<C,Const<A,?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<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 alazy
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 aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
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 Description Optic<P,Const<Maybe<A>,?>,S,T,Maybe<A>,B>
Pre. checkedApply(Optic<P,? super Const<Maybe<A>,?>,S,T,A,B> optic)
Optic<Profunctor<?,?,?>,Const<T,?>,B,B,T,T>
Re. checkedApply(Optic<? super Tagged<?,?>,? super Identity<?>,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 Description Optic<P,Const<Maybe<A>,?>,S,T,Maybe<A>,B>
Pre. checkedApply(Optic<P,? super Const<Maybe<A>,?>,S,T,A,B> optic)
A
View. checkedApply(Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B> optic, S s)
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>
AView. view(Optic<? super Fn1<?,?>,? super Const<A,?>,S,T,A,B> optic, S s)
-