kofre
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
kofre/kofre.datatypes/RGA/RGAOps

RGAOps

kofre.datatypes.RGA$.RGAOps
implicit class RGAOps[C, E](container: C)(using x$2: ArdtOpsContains[C, RGA[E]]) extends OpsSyntaxHelper[C, RGA[E]]

Attributes

Graph
Supertypes
trait OpsSyntaxHelper[C, RGA[E]]
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Inherited types

final type CausalMutationP = PermCausalMutate[C, L]

Attributes

Inherited from:
OpsSyntaxHelper
final type CausalP = PermCausal[C]

Attributes

Inherited from:
OpsSyntaxHelper
final type IdentifierP = PermId[C]

Attributes

Inherited from:
OpsSyntaxHelper
final type MutationIdP = PermIdMutate[C, L]

Attributes

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

Attributes

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

Attributes

Inherited from:
OpsSyntaxHelper

Value members

Concrete methods

def append(e: E)(using CausalMutationP, IdentifierP): C
def appendAll(elems: Iterable[E])(using CausalMutationP, IdentifierP): C
def clear()(using CausalMutationP): C
def delete(i: Int)(using CausalMutationP, IdentifierP): C
def deleteBy(cond: E => Boolean)(using CausalMutationP, IdentifierP): C
def insert(i: Int, e: E)(using CausalMutationP, IdentifierP): C
def insertAll(i: Int, elems: Iterable[E])(using CausalMutationP, IdentifierP): C
def prepend(e: E)(using CausalMutationP, IdentifierP): C
def prependAll(elems: Iterable[E])(using CausalMutationP, IdentifierP): C
def read(i: Int)(using QueryP): Option[E]
def sequence(using QueryP): Long
def size(using QueryP): Int
def toList(using QueryP): List[E]
def update(i: Int, e: E)(using CausalMutationP, IdentifierP): C
def updateBy(cond: E => Boolean, e: E)(using CausalMutationP, IdentifierP): C

Inherited methods

final protected def context(using perm: CausalP): Dots

Attributes

Inherited from:
OpsSyntaxHelper
final protected def current(using perm: QueryP): L

Attributes

Inherited from:
OpsSyntaxHelper
final protected def replicaID(using perm: IdentifierP): Id

Attributes

Inherited from:
OpsSyntaxHelper

Extensions

Inherited extensions

extension [A](c: Dotted[A])
def inheritId(using IdentifierP): DottedName[A]

Attributes

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

Attributes

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

Attributes

Inherited from:
OpsSyntaxHelper
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL