FreeBind

Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

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[_], A](fa: F[A]): FreeBind[F, A]
def roll[F[_], A](ffa: F[FreeBind[F, A]]): FreeBind[F, A]

Implicits

Inherited implicits

implicit val monadTransInstance: MonadTrans[[F[_], A] =>> FreeBind[F, A]]
Inherited from:
FreeBindInstances
implicit def traverseInstance[F[_] : Traverse]: Traverse[[_] =>> FreeBind[F, _$46]]
Inherited from:
FreeBindInstances1