FreeK

object FreeK
Companion:
class
class Object
trait Matchable
class Any
FreeK.type

Value members

Concrete methods

def liftF[F[_[_], _], A](a: F[[_] =>> FreeK[F, _$19], A]): FreeK[F, A]
def pure[F[_[_], _], A](a: A): FreeK[F, A]

Implicits

Implicits

implicit def freeKMonad[F[_[_], _]]: Monad[[_] =>> FreeK[F, _$25]]