Sums

kyo.Sums
See theSums companion object
class Sums[V] extends Effect[Sums[V]]

Attributes

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

Members list

Type members

Types

type Command[T] = V

Value members

Concrete methods

def add(v: V)(using Tag[Sums[V]]): Unit < Sums[V]
def run[T, S](v: T < (Sums[V] & S))(using g: Summer[V], f: Flat[T < (Sums[V] & S)], t: Tag[Sums[V]]): (V, T) < S
def run[T, S](init: V)(v: T < (Sums[V] & S))(using g: Summer[V], f: Flat[T < (Sums[V] & S)], t: Tag[Sums[V]]): (V, T) < S