turbolift-core/turbolift.internals.interpreter/InterpreterCases/Stateless

Stateless

abstract class Stateless[F[_]] extends Flow
trait Flow
trait Signature
class Object
trait Matchable
class Any
class Stateless[F]

Type members

Types

final override type Initial = Unit
final override type Result[+A] = F[A]
final override type ThisControl[U] = [M[_], X] =>> M[F[X]] Control_!! U
final override type Trans[M[_], X] = M[F[X]]

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 IntroEffect = Any
Inherited from:
Flow
final type ThisControlBound[U] = Trans Control_!! U
Inherited from:
Flow
type ThisEffect
Inherited from:
Signature

Value members

Concrete methods

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