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))(implicit evidence$1: Flat[U], Tag[E]): (U | Resume[U, S2]) < (S & S2)

Concrete methods

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

Inherited methods

def accepts[T](st: Unit, command: Command[T]): Boolean

Attributes

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

Attributes

Inherited from:
ResultHandler