scalaz-core/scalaz/FreeTInstances1

FreeTInstances1

sealed abstract
class FreeTInstances1 extends FreeTInstances2
class Object
trait Matchable
class Any
object FreeT

Implicits

Implicits

implicit
def freeTTraverse[S[_] : Traverse, M[_] : BindRec]: Traverse[[_] =>> FreeT[S, M, _$79]]

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, _$76]]
Inherited from
FreeTInstances2
implicit
def freeTHoist[S[_]]: Hoist[[a[_], b] =>> FreeT[S, a, b]]
Inherited from
FreeTInstances2
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