nutcracker/nutcracker.util.free/FreeT

FreeT

object FreeT extends FreeTInstances
Companion:
class
trait Product
trait Mirror
trait FreeTInstances
trait FreeTInstances1
trait FreeTInstances2
trait FreeTInstances3
trait FreeTInstances4
class Object
trait Matchable
class Any
FreeT.type

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

def liftF[F[_], M[_], A](fa: F[A]): FreeT[F, M, A]
def liftM[F[_], M[_], A](ma: M[A]): FreeT[F, M, A]
def point[F[_], M[_] : Applicative, A](a: A): FreeT[F, M, A]
def rollM[F[_], M[_], A](ma: M[FreeT[F, M, A]]): FreeT[F, M, A]

Implicits

Implicits

implicit def monadTransInstance[F[_]]: MonadTrans[[M[_], A] =>> FreeT[F, M, A]]

Inherited implicits

implicit def foldableInstance[F[_] : Foldable, M[_] : Foldable]: Foldable[[_] =>> FreeT[F, M, _$42]]
Inherited from:
FreeTInstances3
implicit def monadBindRecInstance[F[_], M[_] : Applicative]: Monad[[_] =>> FreeT[F, M, _$31]] & BindRec[[_] =>> FreeT[F, M, _$32]]
Inherited from:
FreeTInstances1
implicit def monadPlusInstance[F[_], M[_] : BindRec]: MonadPlus[[_] =>> FreeT[F, M, _$27]]
Inherited from:
FreeTInstances
implicit def plusInstance[F[_], M[_] : Applicative]: Plus[[_] =>> FreeT[F, M, _$47]]
Inherited from:
FreeTInstances4
implicit def traverseInstance[F[_] : Traverse, M[_] : Traverse]: Traverse[[_] =>> FreeT[F, M, _$37]]
Inherited from:
FreeTInstances2