FreeTInstances

sealed abstract
class Object
trait Matchable
class Any
object FreeT

Implicits

Implicits

implicit
def freeTMonadPlus[S[_] : Functor, M[_] : BindRec]: MonadPlus[[_] =>> FreeT[S, M, _$95]]

Inherited implicits

implicit
def freeTBind[S[_], M[_]](implicit S0: Functor[S], M0: Functor[M]): Bind[[_] =>> FreeT[S, M, _$69]]
Inherited from
FreeTInstances2
implicit
def freeTFoldable[S[_] : Foldable, M[_] : Foldable]: Foldable[[_] =>> FreeT[S, M, _$82]]
Inherited from
FreeTInstances2
implicit
def freeTHoist[S[_] : Functor]: Hoist[[a[_], b] =>> FreeT[S, a, b]]
Inherited from
FreeTInstances2
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
implicit
def freeTMonadTell[S[_] : Functor, M[_], E](implicit evidence$23: Functor[S], M1: MonadTell[M, E]): MonadTell[[_] =>> FreeT[S, M, _$52], E]
Inherited from
FreeTInstances6
implicit
def freeTPlus[S[_] : Functor, M[_] : Plus]: Plus[[_] =>> FreeT[S, M, _$92]]
Inherited from
FreeTInstances0
implicit
def freeTTraverse[S[_] : Traverse, M[_] : BindRec]: Traverse[[_] =>> FreeT[S, M, _$85]]
Inherited from
FreeTInstances1