EntityT

endless.core.interpret.EntityT
See theEntityT companion class
object EntityT extends EntityRunFunctions

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
EntityT.type

Members list

Value members

Concrete methods

def liftF[F[_] : Functor, S, E, A](fa: F[A]): EntityT[F, S, E, A]
def purr[F[_] : Applicative, S, E, A](a: A): EntityT[F, S, E, A]
def reader[F[_] : Monad, S, E]: EntityT[F, S, E, Option[S]]
def writer[F[_] : Applicative, S, E](newEvents: Type[E]): EntityT[F, S, E, Unit]

Inherited methods

def pure[F[_] : Applicative, S, E, A](a: A)(events: Chain[E]): F[Folded[E, A]]

Attributes

Inherited from:
EntityRunFunctions
def read[F[_] : Monad, S, E](folder: EventsFolder[S, E], events: Chain[E]): F[Folded[E, Option[S]]]

Attributes

Inherited from:
EntityRunFunctions
def write[F[_] : Applicative, S, E](newEvents: Type[E])(existingEvents: Chain[E]): F[Folded[E, Unit]]

Attributes

Inherited from:
EntityRunFunctions

Implicits

Implicits

implicit def clockForEntityT[F[_] : Clock, S, E](implicit evidence$7: Functor[F], evidence$8: Clock[F], A0: Applicative[[_] =>> EntityT[F, S, E, _$16]]): Clock[[_] =>> EntityT[F, S, E, _$17]]
implicit def instance[F[_] : Monad, S, E]: Entity[[_] =>> EntityT[F, S, E, _$13], S, E] & Monad[[_] =>> EntityT[F, S, E, _$14]]

Given that a monad instance can be found for F, this provides an EntityT transformer instance for it. This is used by deployEntity: the createEntity creator for entity algebra can thus be injected with an instance of Entity[F[_]] interpreted with EntityT[F, S, E, *]

Given that a monad instance can be found for F, this provides an EntityT transformer instance for it. This is used by deployEntity: the createEntity creator for entity algebra can thus be injected with an instance of Entity[F[_]] interpreted with EntityT[F, S, E, *]

Attributes

implicit def liftK[F[_] : Functor, S, E]: FunctionK[F, [_] =>> EntityT[F, S, E, _$9]]
implicit def loggerForEntityT[F[_] : Functor, S, E](implicit evidence$9: Functor[F], logger: Logger[F]): Logger[[_] =>> EntityT[F, S, E, _$21]]