Uses of Class
com.jnape.palatable.lambda.monad.SafeT

Packages that use SafeT

Package	Description
com.jnape.palatable.lambda.monad

Uses of SafeT in com.jnape.palatable.lambda.monad

Classes in com.jnape.palatable.lambda.monad that implement interfaces with type arguments of type SafeT

Modifier and Type	Class	Description
final class	SafeT<M extends MonadRec<?,M>, A>	A stack-safe monad transformer that can safely interpret deeply nested left- or right-associated binds for any MonadRec.
final class	SafeT<M extends MonadRec<?,M>, A>	A stack-safe monad transformer that can safely interpret deeply nested left- or right-associated binds for any MonadRec.

Methods in com.jnape.palatable.lambda.monad that return SafeT

Modifier and Type	Method	Description
<B> SafeT<M,B>	SafeT.discardL(Applicative<B, SafeT<M,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> SafeT<M,A>	SafeT.discardR(Applicative<B, SafeT<M,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> SafeT<M,B>	SafeT.flatMap(Fn1<? super A, ? extends Monad<B, SafeT<M,?>>> f)	Chain dependent computations that may continue or short-circuit based on previous results.
<B> SafeT<M,B>	SafeT.fmap(Fn1<? super A, ? extends B> fn)	Covariantly transmute this functor's parameter using the given mapping function.
<B, N extends MonadRec<?,N>> SafeT<N,B>	SafeT.lift(MonadRec<B,N> nb)	Lift a new argument MonadRec into this MonadBase.
<B> SafeT<M,B>	SafeT.pure(B b)	Lift the value b into this applicative functor.
static <M extends MonadRec<?,M>, A> SafeT<M,A>	SafeT.safeT(MonadRec<A,M> ma)	Lift any MonadRec<A, M> into a SafeT<M, A>.
<B> SafeT<M,B>	SafeT.trampolineM(Fn1<? super A, ? extends MonadRec<RecursiveResult<A,B>, SafeT<M,?>>> bounce)	Given some operation yielding a RecursiveResult inside this MonadRec, internally trampoline the operation until it yields a termination instruction.
<B> SafeT<M,B>	SafeT.zip(Applicative<Fn1<? super A, ? extends B>, SafeT<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 that return types with arguments of type SafeT

Modifier and Type	Method	Description
<B> Lazy<SafeT<M,B>>	SafeT.lazyZip(Lazy<? extends Applicative<Fn1<? super A, ? extends B>, SafeT<M,?>>> 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 Lift<SafeT<?,?>>	SafeT.liftSafeT()	Lift for SafeT.
static <M extends MonadRec<?,M>> Pure<SafeT<M,?>>	SafeT.pureSafeT(Pure<M> pureM)	The canonical Pure instance for SafeT.

Method parameters in com.jnape.palatable.lambda.monad with type arguments of type SafeT

Modifier and Type	Method	Description
<B> SafeT<M,B>	SafeT.discardL(Applicative<B, SafeT<M,?>> appB)	Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
<B> SafeT<M,A>	SafeT.discardR(Applicative<B, SafeT<M,?>> appB)	Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
<B> SafeT<M,B>	SafeT.flatMap(Fn1<? super A, ? extends Monad<B, SafeT<M,?>>> f)	Chain dependent computations that may continue or short-circuit based on previous results.
<B> Lazy<SafeT<M,B>>	SafeT.lazyZip(Lazy<? extends Applicative<Fn1<? super A, ? extends B>, SafeT<M,?>>> 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.
<B> SafeT<M,B>	SafeT.trampolineM(Fn1<? super A, ? extends MonadRec<RecursiveResult<A,B>, SafeT<M,?>>> bounce)	Given some operation yielding a RecursiveResult inside this MonadRec, internally trampoline the operation until it yields a termination instruction.
<B> SafeT<M,B>	SafeT.zip(Applicative<Fn1<? super A, ? extends B>, SafeT<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.