nutcracker/nutcracker.util/FreeKT

FreeKT

final case class FreeKT[F[_[_], _], M[_], A](run: FreeT[[_] =>> F[[_] =>> FreeKT[F, M, _$5], _$6], M, A])
Companion:
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def >>[B](fb: => FreeKT[F, M, B])(implicit AIsUnit: A =:= Unit): FreeKT[F, M, B]
def >>=[B](f: A => FreeKT[F, M, B]): FreeKT[F, M, B]
def >>>[G[_[_], _], B](gb: => FreeKT[G, M, B])(implicit AIsUnit: A =:= Unit, inj: Inject[[_] =>> F[[_] =>> FreeKT[G, M, _$19], _$20], [_] =>> G[[_] =>> FreeKT[G, M, _$21], _$22]], FK: FunctorKA[F], M: Applicative[M]): FreeKT[G, M, B]
def >>>=[G[_[_], _], B](f: A => FreeKT[G, M, B])(implicit inj: Inject[[_] =>> F[[_] =>> FreeKT[G, M, _$12], _$13], [_] =>> G[[_] =>> FreeKT[G, M, _$14], _$15]], FK: FunctorKA[F], M: Applicative[M]): FreeKT[G, M, B]
def effect(f: A => FreeKT[F, M, Unit])(implicit M: Applicative[M]): FreeKT[F, M, A]
def flatMap[B](f: A => FreeKT[F, M, B]): FreeKT[F, M, B]
def foldMap(tr: NaturalTransformation[[_] =>> F[[_] =>> FreeKT[F, M, _$32], _$33], M])(implicit M: BindRec[M]): M[A]
def hoist[N[_]](mn: NaturalTransformation[M, N])(implicit FK: FunctorKA[F]): FreeKT[F, N, A]
def inject[G[_[_], _]](implicit inj: Inject[[_] =>> F[[_] =>> FreeKT[G, M, _$27], _$28], [_] =>> G[[_] =>> FreeKT[G, M, _$29], _$30]], FK: FunctorKA[F], M: Applicative[M]): FreeKT[G, M, A]
def map[B](f: A => B)(implicit M: Applicative[M]): FreeKT[F, M, B]

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product