nutcracker/nutcracker.util/StateInterpreter

StateInterpreter

abstract class StateInterpreter[K[_], F[_], S]
class Object
trait Matchable
class Any

Value members

Abstract methods

def apply[M[_], W, A](fa: F[A])(implicit M: MonadTellState[M, W, S], W: StratifiedMonoidAggregator[W, Lst[K[Unit]]], inj: Inject[F, K], K: Bind[K]): M[A]

Concrete methods

def :+:[G[_]](that: StateInterpreter[K, G, S]): StateInterpreter[K, [_] =>> Coproduct[G, F, _$9], S]
def apply[M[_], W](implicit M: MonadTellState[M, W, S], W: StratifiedMonoidAggregator[W, Lst[K[Unit]]], inj: Inject[F, K], K: Bind[K]): NaturalTransformation[F, M]
def free[M[_], W](implicit M: MonadTellState[M, W, S], W: StratifiedMonoidAggregator[W, Lst[K[Unit]]], M1: BindRec[M], inj: Inject[F, K], K: Bind[K]): NaturalTransformation[[_] =>> Free[F, _$6], M]