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
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 thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<B> SafeT<M,A>
SafeT. discardR(Applicative<B,SafeT<M,?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<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)
<B> SafeT<M,B>
SafeT. pure(B b)
Lift the valueb
into this applicative functor.static <M extends MonadRec<?,M>,A>
SafeT<M,A>SafeT. safeT(MonadRec<A,M> ma)
<B> SafeT<M,B>
SafeT. trampolineM(Fn1<? super A,? extends MonadRec<RecursiveResult<A,B>,SafeT<M,?>>> bounce)
Given some operation yielding aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
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 alazy
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()
static <M extends MonadRec<?,M>>
Pure<SafeT<M,?>>SafeT. pureSafeT(Pure<M> pureM)
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 thisApplicative
andappB
, discarding thisApplicative's
result and returningappB
.<B> SafeT<M,A>
SafeT. discardR(Applicative<B,SafeT<M,?>> appB)
Sequence both thisApplicative
andappB
, discardingappB's
result and returning thisApplicative
.<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 alazy
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 aRecursiveResult
inside thisMonadRec
, internally trampoline the operation until it yields atermination
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.
-