Vars

kyo.Vars
See theVars companion object
opaque class Vars[V] extends Effect[Vars[V]]

Attributes

Companion
object
Graph
Supertypes
class Effect[Vars[V]]
class Object
trait Matchable
class Any

Members list

Type members

Types

opaque type Command[T]

Value members

Concrete methods

def get(using Tag[Vars[V]]): V < Vars[V]
def run[T, S2](state: V)(value: T < (Vars[V] & S2))(using Flat[T < (Vars[V] & S2)], Tag[Vars[V]]): T < S2
def set(value: V)(using Tag[Vars[V]]): Unit < Vars[V]
def update(f: V => V)(using Tag[Vars[V]]): Unit < Vars[V]
def use[T, S](f: V => T < S)(using Tag[Vars[V]]): T < (Vars[V] & S)