Uses of Class
com.jnape.palatable.lambda.functor.builtin.Const
Packages that use Const
Package
Description
-
Uses of Const in com.jnape.palatable.lambda.functor.builtin
Methods in com.jnape.palatable.lambda.functor.builtin with type parameters of type ConstModifier and TypeMethodDescription<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 ConstModifier and TypeMethodDescription<C,
D> Const <C, D> Dually map covariantly over both the left and right parameters.Covariantly map over the left parameter.Covariantly map over the right parameter.Const.discardL
(Applicative<C, Const<A, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Const.discardR
(Applicative<C, Const<A, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Chain dependent computations that may continue or short-circuit based on previous results.Map over the right parameter.Const.pure
(C c) Lift the valueb
into this applicative functor.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.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 ConstModifier and TypeMethodDescriptionGiven alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Const.pureConst
(A a) Method parameters in com.jnape.palatable.lambda.functor.builtin with type arguments of type ConstModifier and TypeMethodDescriptionConst.discardL
(Applicative<C, Const<A, ?>> appB) Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.Const.discardR
(Applicative<C, Const<A, ?>> appB) Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.Chain dependent computations that may continue or short-circuit based on previous results.Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.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.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 ConstModifier and TypeMethodDescriptionstatic <P extends Profunctor<?,
?, ? extends P>, S, T, A, B>
Optic<P, Const<Maybe<A>, ?>, S, T, Maybe<A>, B> 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> Method parameters in com.jnape.palatable.lambda.optics.functions with type arguments of type Const