kyo-prelude
API
Generated with
kyo-prelude/kyo/kyo.kernel/ContextEffect

ContextEffect

kyo.kernel.ContextEffect
See theContextEffect companion class
object ContextEffect

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

inline def handle[A, E <: ContextEffect[A], B, S](inline _tag: Tag[E], inline value: A)(v: B < (E & S))(using inline _frame: Frame, inline flat: Flat[A]): B < S
inline def handle[A, E <: ContextEffect[A], B, S](inline _tag: Tag[E], inline ifUndefined: A, inline ifDefined: A => A)(v: B < (E & S))(using inline _frame: Frame, inline flat: Flat[A]): B < S
inline def suspend[A, E <: ContextEffect[A]](inline tag: Tag[E])(using inline frame: Frame): A < E
inline def suspend[A, E <: ContextEffect[A]](inline tag: Tag[E], inline default: => A)(using inline frame: Frame): A < Any
inline def suspendMap[A, E <: ContextEffect[A], B, S](inline tag: Tag[E])(inline f: Safepoint ?=> A => B < S)(using inline frame: Frame): B < (E & S)
inline def suspendMap[A, E <: ContextEffect[A], B, S](inline _tag: Tag[E], inline default: => A)(inline f: Safepoint ?=> A => B < S)(using inline _frame: Frame): B < S
Generated with