core

kyo.core
object core

Attributes

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

Members list

Type members

Classlikes

abstract class Effect[M[_], E <: Effect[M, E]]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Aborts[E]
class Envs[E]
trait IOs
object IOs.type
class Resources
object Resources.type
class Seqs
object Seqs.type
class Sums[V]
class FiberGets
Show all
Self type
E
abstract class Handler[M[_], E <: Effect[M, E], S]

Attributes

Supertypes
class Object
trait Matchable
class Any
object Safepoint

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Safepoint.type
trait Safepoint[M[_], E <: Effect[M, _]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

inline def transform[T, S, U, S2](v: T < S)(inline f: T => U < S2): U < S & S2