nutcracker/nutcracker/Dom

Dom

trait Dom[D] extends IDom[[i] =>> D]
Companion:
object
trait IDom[[i] =>> D]
class Object
trait Matchable
class Any
trait DomWithBottom[D]
trait Splittable[D]
trait SyncDom[D]
trait JoinDom[D]
trait Template[D]
trait RDom[D]
trait TerminalDom[D]

Type members

Types

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

Value members

Abstract methods

def appendDeltas(d1: Delta, d2: Delta): Delta

Associative, idempotent and monotonic (non-decreasing) operation to combine diffs.

Associative, idempotent and monotonic (non-decreasing) operation to combine diffs.

def isFailed(d: D): Boolean
def update(d: D, u: Update): UpdateResult[D, Delta]

Concrete methods

final override def composeDeltas[I1, I2, I3](δ1: IDelta[I2, I3], δ2: IDelta[I1, I2]): IDelta[I1, I3]
Definition Classes
def deltaSemigroup: Semigroup[Delta]
override def iIsFailed[I](d: D): Boolean
Definition Classes
override def iUpdate[I, J](d: D, u: Update): IUpdateRes[I, J]
Definition Classes
override def toUpdateResult[I, J](ch: IUpdateRes[I, J]): IUpdateResult[[i] =>> D, IDelta, I, _]
Definition Classes
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 methods

final def aux: Aux[[i] =>> D, IUpdate, IDelta]
Inherited from:
IDom