FreeTInstances

sealed abstract
class Object
trait Matchable
class Any
object FreeT

Implicits

Implicits

implicit
def freeTMonadPlus[S[_], M[_] : BindRec]: MonadPlus[[_] =>> FreeT[S, M, _$87]] & Alt[[_] =>> FreeT[S, M, _$88]]

Inherited implicits

implicit
def freeTBind[S[_], M[_]](implicit M0: Applicative[M]): Bind[[_] =>> FreeT[S, M, _$61]]
Inherited from
FreeTInstances2
implicit
def freeTFoldable[S[_] : Foldable, M[_] : BindRec]: Foldable[[_] =>> FreeT[S, M, _$74]]
Inherited from
FreeTInstances2
implicit
def freeTHoist[S[_]]: Hoist[[a[_], b] =>> FreeT[S, a, b]]
Inherited from
FreeTInstances2
implicit
def freeTMonad[S[_], M[_]](implicit M0: Applicative[M]): Monad[[_] =>> FreeT[S, M, _$80]] & BindRec[[_] =>> FreeT[S, M, _$81]]
Inherited from
FreeTInstances0
implicit
def freeTMonadError[S[_], M[_] : BindRec, E](implicit evidence$15: BindRec[M], E: MonadError[M, E]): MonadError[[_] =>> FreeT[S, M, _$56], E]
Inherited from
FreeTInstances3
implicit
def freeTMonadReader[S[_], M[_], E](implicit M1: MonadReader[M, E]): MonadReader[[_] =>> FreeT[S, M, _$48], E]
Inherited from
FreeTInstances5
implicit
def freeTMonadState[S[_], M[_], E](implicit M1: MonadState[M, E]): MonadState[[_] =>> FreeT[S, M, _$52], E]
Inherited from
FreeTInstances4
implicit
def freeTMonadTell[S[_], M[_], E](implicit M1: MonadTell[M, E]): MonadTell[[_] =>> FreeT[S, M, _$44], E]
Inherited from
FreeTInstances6
implicit
def freeTPlus[S[_], M[_] : Plus]: Plus[[_] =>> FreeT[S, M, _$84]]
Inherited from
FreeTInstances0
implicit
def freeTTraverse[S[_] : Traverse, M[_] : BindRec]: Traverse[[_] =>> FreeT[S, M, _$77]]
Inherited from
FreeTInstances1