kofre
API
Generated with
kofre/kofre.datatypes/ObserveRemoveMap/syntax

syntax

kofre.datatypes.ObserveRemoveMap$.syntax
implicit class syntax[C, K, V](container: C) extends OpsSyntaxHelper[C, ObserveRemoveMap[K, V]]

Attributes

Graph
Supertypes
trait OpsTypes[C, ObserveRemoveMap[K, V]]
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Inherited types

final type IdMut[C] = ReplicaId ?=> PermMutate ?=> C

Attributes

Inherited from:
OpsTypes
final type PermCausalMutate = PermCausalMutate[C, L]

Attributes

Inherited from:
OpsTypes
final type PermMutate = PermMutate[C, L]

Attributes

Inherited from:
OpsTypes
final type PermQuery = PermQuery[C, L]

Attributes

Inherited from:
OpsTypes
final type ReplicaId = ReplicaId

Attributes

Inherited from:
OpsTypes

Value members

Concrete methods

def contains(using PermQuery)(k: K): Boolean
def entries(using PermQuery): Iterable[(K, V)]
def insert(using ReplicaId, PermCausalMutate, Bottom[V])(k: K, v: V): C
def mutateKey(using PermCausalMutate, ReplicaId, Bottom[V])(k: K, m: (Uid, Dotted[V]) => Dotted[V]): C
def mutateKeyNamedCtx(using pcm: PermCausalMutate, bot: Bottom[V])(k: K)(m: Dotted[V] => Dotted[V]): C
def queryAllEntries(using PermQuery): Iterable[V]
def queryKey[A](using PermQuery, Bottom[V])(k: K): V
def remove(using PermCausalMutate, Bottom[V], HasDots[V])(k: K): C
def removeAll(using PermCausalMutate, Bottom[V], HasDots[V])(keys: Iterable[K]): C
def removeByValue(using PermCausalMutate, DottedLattice[V], HasDots[V])(cond: Dotted[V] => Boolean): C

Extensions

Inherited extensions

extension [A](a: A)
def inheritContext(using PermCausalMutate): Dotted[A]

Attributes

Inherited from:
OpsSyntaxHelper
extension (l: Dotted[L])
def mutator(using perm: PermCausalMutate): C

Attributes

Inherited from:
OpsSyntaxHelper
extension (l: L)
def mutator(using perm: PermMutate): C

Attributes

Inherited from:
OpsSyntaxHelper
Generated with