nutcracker/nutcracker.util/FreeKT

FreeKT

object FreeKT
Companion:
class
trait Product
trait Mirror
class Object
trait Matchable
class Any
FreeKT.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 hoist[F[_[_], _], M[_], N[_]](mn: NaturalTransformation[M, N])(implicit FK: FunctorKA[F]): NaturalTransformation[[_] =>> FreeKT[F, M, _$77], [_] =>> FreeKT[F, N, _$78]]
def injection[F[_[_], _], G[_[_], _], M[_]](implicit inj: Inject[[_] =>> F[[_] =>> FreeKT[G, M, _$58], _$59], [_] =>> G[[_] =>> FreeKT[G, M, _$60], _$61]], FK: FunctorKA[F], M: Applicative[M]): NaturalTransformation[[_] =>> FreeKT[F, M, _$62], [_] =>> FreeKT[G, M, _$63]]
def liftF[F[_[_], _], M[_], A](a: F[[_] =>> FreeKT[F, M, _$42], A]): FreeKT[F, M, A]
def pure[F[_[_], _], M[_], A](a: A)(implicit M: Applicative[M]): FreeKT[F, M, A]

Implicits

Implicits

implicit def freeKTMonad[F[_[_], _], M[_]](implicit M: Applicative[M]): Monad[[_] =>> FreeKT[F, M, _$49]]