expr

Type Members

1. trait Expr[S <: Sys[S], +A] extends Writable with Disposable[expr.Expr.S.Tx] with Publisher[S, Change[A]]

   An expression is a computation that reduces to a single value of type A.

2. trait ExprType[A] extends Type

3. type ExprType1[A] = ExprType[A] with Type1Like[[$tilde]Expr[~, A]]

4. trait List[S <: Sys[S], Elem, U] extends Writable with Disposable[expr.List.S.Tx] with Publisher[S, Update[S, Elem, U]]

   An observable linked list with fast head and last operations.

5. trait Map[S <: Sys[S], K, V, U] extends Node[S] with Publisher[S, Update[S, K, V, U]]

6. trait Type extends AnyRef

7. trait Type1[Repr[~ <: Sys[~]]] extends Type1Like[Repr]

8. trait Type1A[Repr[~ <: Sys[~]]] extends Type1Like[Repr]

   This is for backwards compatibility: Operators are not just identified by an operator id, but also by an arity byte which must be 1 or 2.

9. trait Type1Like[Repr[~ <: Sys[~]]] extends Type

10. trait Type2[Repr[~ <: Sys[~], _]] extends Type

11. trait Type3[Repr[~ <: Sys[~], _, _]] extends Type