Vars

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

Attributes

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

Members list

Type members

Types

type Command[T] = Op[V]

Value members

Concrete methods

def get(using Tag[Vars[V]]): V < Vars[V]
def run[T : Flat, S2](state: V)(value: T < (Vars[V] & S2))(implicit evidence$1: Flat[T], 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]
inline def use[T, S](inline f: V => T < S)(using inline tag: Tag[Vars[V]]): T < (Vars[V] & S)