Free

object Free extends FreeInstances
Companion:
class
trait Product
trait Mirror
class Object
trait Matchable
class Any
Free.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[_], A](fa: F[A]): Free[F, A]
def point[F[_], A](a: A): Free[F, A]
def roll[F[_], A](ffa: F[Free[F, A]]): Free[F, A]

Implicits

Inherited implicits

implicit def bindRecMonadInstance[F[_]]: Monad[[_] =>> Free[F, _$13]] & BindRec[[_] =>> Free[F, _$14]]
Inherited from:
FreeInstances
implicit def traverseInstance[F[_]](implicit F: Traverse[F]): Traverse[[_] =>> Free[F, _$18]]
Inherited from:
FreeInstances1