nutcracker/nutcracker/JoinDom/Template

Template

trait Template[D] extends JoinDom[D]
trait JoinDom[D]
trait SyncDom[D]
trait Dom[D]
trait IDom[[i] =>> D]
class Object
trait Matchable
class Any

Type members

Types

type Delta = Unit

We don't generally have a useful description of the delta.

We don't generally have a useful description of the delta.

type Update = D

Update is a join with a value of the same type.

Update is a join with a value of the same type.

Inherited types

type Domain = D
Inherited from:
Dom
override type IDelta[I, J] = Delta
Inherited from:
Dom
override type IUpdate[I] = Update
Inherited from:
Dom
override type IUpdateRes[I, J] = IUpdateResult[[i] =>> D, IDelta, I, _]
Inherited from:
Dom

Value members

Abstract methods

def ljoin0(d1: D, d2: D): Option[D]

Concrete methods

override def appendDeltas(d1: Unit, d2: Unit): Unit
Definition Classes
override def toJoinUpdate(d: D): Update
Definition Classes
override def update(d: D, u: Update): UpdateResult[D, Delta]
Definition Classes

Inherited methods

final def aux: Aux[[i] =>> D, IUpdate, IDelta]
Inherited from:
IDom
final override def composeDeltas[I1, I2, I3](δ1: IDelta[I2, I3], δ2: IDelta[I1, I2]): IDelta[I1, I3]
Definition Classes
Inherited from:
Dom
def deltaSemigroup: Semigroup[Delta]
Inherited from:
Dom
override def iIsFailed[I](d: D): Boolean
Definition Classes
Inherited from:
Dom
override def iUpdate[I, J](d: D, u: Update): IUpdateRes[I, J]
Definition Classes
Inherited from:
Dom
def isFailed(d: D): Boolean
Inherited from:
Dom
def join(d1: D, d2: D): D

Join operation (as in join-semilattice).

Join operation (as in join-semilattice).

Inherited from:
JoinDom
def ljoin(d1: D, d2: D): UpdateResult[D, Delta]

Asymmetric join operation: performs join and returns Updated if the result is different from the left argument, Unchanged if the result is the same as the left argument.

Asymmetric join operation: performs join and returns Updated if the result is different from the left argument, Unchanged if the result is the same as the left argument.

Inherited from:
JoinDom
override def toPatch(d: D, δ: Delta): Update
Definition Classes
Inherited from:
JoinDom
override def toUpdateResult[I, J](ch: IUpdateRes[I, J]): IUpdateResult[[i] =>> D, IDelta, I, _]
Definition Classes
Inherited from:
Dom
def update_(d: D, u: Update): D

A variation on update that always returns the updated value, whether changed or unchaged.

A variation on update that always returns the updated value, whether changed or unchaged.

Inherited from:
Dom