turbolift-core/turbolift.internals.effect/CanInterpret/Stateless

Stateless

abstract class Stateless[F[_]] extends Stateless[F] with ThisInterpreter

Base class for user-defined Stateless Interpreter for this effect.

trait Unsealed
class Stateless[F]
trait Flow
trait Signature
class Object
trait Matchable
class Any
ThisSignature

Type members

Inherited types

final override type !@![A, U] = ThisControl[U] => Any { def apply(kk: ThisControl[U]): Trans[LowerMonad, UpperFunctor[A]]; }
Inherited from:
Flow
final override type Initial = Unit
Inherited from:
Stateless
final override type IntroEffect = Any
Inherited from:
Flow
final override type Result[+A] = F[A]
Inherited from:
Stateless
final override type ThisControl[U] = Apply[[M[_], X] =>> M[F[X]], U]
Inherited from:
Stateless
final override type ThisEffect = ThisEffect
Inherited from:
ThisInterpreter
final type ThisHandler = Handler[Result, ThisEffect, IntroEffect]

Alias for Handler, specialized for this interperter.

Alias for Handler, specialized for this interperter.

Inherited from:
Interpreter
final override type Trans[M[_], X] = M[F[X]]
Inherited from:
Stateless

Value members

Inherited methods

def onFlatMap[A, B, M[_] : MonadZip](tma: Trans[M, A])(f: A => Trans[M, B]): Trans[M, B]
Inherited from:
Flow
def onPure[A](a: A): Trans[[X] =>> X, A]
Inherited from:
Flow
def onZip[A, B, M[_] : MonadZip](tma: Trans[M, A], tmb: Trans[M, B]): Trans[M, (A, B)]
Inherited from:
Flow
final def toHandler: ThisHandler

Creates a Handler from this interpreter.

Creates a Handler from this interpreter.

Inherited from:
Stateless