Handler

kyo.core.Handler
abstract class Handler[Command[_], E <: Effect[E], S] extends ResultHandler[Unit, Command, E, Id, S]

Attributes

Graph
Supertypes
class ResultHandler[Unit, Command, E, Id, S]
class Object
trait Matchable
class Any

Members list

Type members

Inherited classlikes

case class Resume[U, S2](st: State, v: U < (E & S & S2))

Attributes

Inherited from:
ResultHandler
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Value members

Abstract methods

def resume[T, U : Flat, S2](command: Command[T], k: T => U < (E & S2)): (U | Resume[U, S2]) < (S & S2)

Concrete methods

inline def done[T](st: Unit, v: T): Id[T] < S
def done[T](v: T): T < S
inline def resume[T, U : Flat, S2](st: Unit, command: Command[T], k: T => U < (E & S2)): (U | Resume[U, S2]) < (S & S2)

Inherited methods

def accepts[T, U](self: Tag[T], other: Tag[U]): Boolean

Attributes

Inherited from:
ResultHandler
def failed(st: Unit, ex: Throwable): Nothing < (E & S)

Attributes

Inherited from:
ResultHandler