- Companion
- class
class FreeTInstances
class FreeTInstances0
class FreeTInstances1
class FreeTInstances2
class FreeTInstances3
class FreeTInstances4
class FreeTInstances5
class FreeTInstances6
class Object
trait Matchable
class Any
Value members
Concrete methods
Suspends a value within a functor in a single step. Monadic unit for a higher-order monad.
Suspends a value within a functor in a single step. Monadic unit for a higher-order monad.
A version of liftM
that infers the nested type constructor.
A version of liftM
that infers the nested type constructor.
def roll[S[_], M[_], A](value: S[FreeT[S, M, A]])(implicit S: Functor[S], M: Applicative[M]): FreeT[S, M, A]
Implicits
Inherited implicits
implicit
def freeTMonad[S[_], M[_]](implicit S0: Functor[S], M0: Applicative[M]): Monad[[_] =>> FreeT[S, M, _$88]] & BindRec[[_] =>> FreeT[S, M, _$89]]
- Inherited from
- FreeTInstances0
implicit
def freeTMonadError[S[_] : Functor, M[_] : BindRec, E](implicit evidence$19: Functor[S], evidence$20: BindRec[M], E: MonadError[M, E]): MonadError[[_] =>> FreeT[S, M, _$64], E]
- Inherited from
- FreeTInstances3
implicit
def freeTMonadReader[S[_] : Functor, M[_], E](implicit evidence$22: Functor[S], M1: MonadReader[M, E]): MonadReader[[_] =>> FreeT[S, M, _$56], E]
- Inherited from
- FreeTInstances5
implicit
def freeTMonadState[S[_] : Functor, M[_], E](implicit evidence$21: Functor[S], M1: MonadState[M, E]): MonadState[[_] =>> FreeT[S, M, _$60], E]
- Inherited from
- FreeTInstances4