## 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 and 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 and 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 and 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.