kyo-core
API
Generated with
kyo-core/kyo/core

core

kyo.core
opaque object core

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
core.type

Members list

Type members

Classlikes

abstract class Effect[+E]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Aborts[V]
class Envs[V]
trait IOs
object IOs
class Seqs
object Seqs
class Sums[V]
class Vars[V]
class FiberGets
Show all
abstract class Handler[Command[_], E <: Effect[E], S] extends ResultHandler[Command, Id, E, S]

Attributes

Supertypes
class ResultHandler[Command, Id, E, S]
class Object
trait Matchable
class Any
case class Recurse[Command[_], Result[_], E <: Effect[E], T, S, S2](h: ResultHandler[Command, Result, E, S], v: T < (E & S & S2))

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
abstract opaque class ResultHandler[Command[_], Result[_], E <: Effect[E], S]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Handler[Command, E, S]
object Safepoint

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Safepoint.type
trait Safepoint[-E]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any

Types

opaque type <[+T, -S]
type Const[T] = [U] =>> T
type Id[T] = T

Value members

Concrete methods

inline def handle[Command[_], Result[_], E <: Effect[LazyRef(...)], T, S, S2](handler: ResultHandler[Command, Result, E, S], value: T < (E & S2))(using tag: Tag[E], flat: Flat[T < (E & S)]): Result[T] < (S & S2)
inline def suspend[E <: Effect[LazyRef(...)], T](e: E)(v: e.Command[T])(using inline _tag: Tag[E]): T < E
inline def transform[T, S, U, S2](v: T < S)(inline k: T => U < S2): U < (S & S2)
Generated with