Uses of Class
com.jnape.palatable.lambda.monad.transformer.builtin.IdentityT
-
Packages that use IdentityT Package Description com.jnape.palatable.lambda.monad.transformer.builtin -
-
Uses of IdentityT in com.jnape.palatable.lambda.monad.transformer.builtin
Methods in com.jnape.palatable.lambda.monad.transformer.builtin that return IdentityT Modifier and Type Method Description <B> IdentityT<M,B>
IdentityT. discardL(Applicative<B,IdentityT<M,?>> appB)
Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<B> IdentityT<M,A>
IdentityT. discardR(Applicative<B,IdentityT<M,?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<B> IdentityT<M,B>
IdentityT. flatMap(Fn1<? super A,? extends Monad<B,IdentityT<M,?>>> f)
Chain dependent computations that may continue or short-circuit based on previous results.<B> IdentityT<M,B>
IdentityT. fmap(Fn1<? super A,? extends B> fn)
Covariantly transmute this functor's parameter using the given mapping function.static <M extends MonadRec<?,M>,A>
IdentityT<M,A>IdentityT. identityT(MonadRec<Identity<A>,M> mia)
<B,N extends MonadRec<?,N>>
IdentityT<N,B>IdentityT. lift(MonadRec<B,N> mb)
<B> IdentityT<M,B>
IdentityT. pure(B b)
Lift the valueb
into this applicative functor.<B> IdentityT<M,B>
IdentityT. trampolineM(Fn1<? super A,? extends MonadRec<RecursiveResult<A,B>,IdentityT<M,?>>> fn)
Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.<B> IdentityT<M,B>
IdentityT. zip(Applicative<Fn1<? super A,? extends B>,IdentityT<M,?>> 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.monad.transformer.builtin that return types with arguments of type IdentityT Modifier and Type Method Description <B> Lazy<IdentityT<M,B>>
IdentityT. lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,IdentityT<M,?>>> 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 Lift<IdentityT<?,?>>
IdentityT. liftIdentityT()
static <M extends MonadRec<?,M>>
Pure<IdentityT<M,?>>IdentityT. pureIdentityT(Pure<M> pureM)
Method parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type IdentityT Modifier and Type Method Description <B> IdentityT<M,B>
IdentityT. discardL(Applicative<B,IdentityT<M,?>> appB)
Sequence both thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<B> IdentityT<M,A>
IdentityT. discardR(Applicative<B,IdentityT<M,?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<B> IdentityT<M,B>
IdentityT. flatMap(Fn1<? super A,? extends Monad<B,IdentityT<M,?>>> f)
Chain dependent computations that may continue or short-circuit based on previous results.<B> Lazy<IdentityT<M,B>>
IdentityT. lazyZip(Lazy<? extends Applicative<Fn1<? super A,? extends B>,IdentityT<M,?>>> lazyAppFn)
Given alazy
instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.<B> IdentityT<M,B>
IdentityT. trampolineM(Fn1<? super A,? extends MonadRec<RecursiveResult<A,B>,IdentityT<M,?>>> fn)
Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
instruction.<B> IdentityT<M,B>
IdentityT. zip(Applicative<Fn1<? super A,? extends B>,IdentityT<M,?>> appFn)
Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
-