kofre
kofre
API
kofre
kofre.base
Bottom
Bottom
ProductBottom
intMaxBottom
DecomposeLattice
DecomposeLattice
DecomposeFromLattice
ProductDecomposeLattice
Defs
Id
Lattice
Lattice
Operators
ProductLattice
kofre.datatypes
AddWinsSet
AddWinsSet
AWSetSyntax
EnableWinsFlag
EnableWinsFlag
EnableWinsFlagOps
hasDotsEWF
Epoche
Epoche
EpocheSyntax
GrowMap
GrowMap
GMapSyntax
GrowOnlyCounter
GrowOnlyCounter
GrowOnlyCounterSyntax
ObserveRemoveMap
ObserveRemoveMap
ORMapSyntax
PosNegCounter
PosNegCounter
PNCounterSyntax
RGA
RGA
Alive
Dead
RGANode
RGANode
RGAOps
TimedVal
TimedVal
TwoPhaseSet
TwoPhaseSet
TwoPhaseSetOps
kofre.decompose.containers
AntiEntropy
AntiEntropyCRDT
AntiEntropyCRDT
CRDTInterface
CRDTInterface
DeltaBufferRDT
DeltaBufferRDT
Network
kofre.decompose.interfaces
GListInterface
GListElem
GListHead
GListNode
GListSyntax
GSetInterface
GSetSyntax
LWWRegisterInterface
LWWRegisterSyntax
LexCounterInterface
LexCounterSyntax
LexPair
LexPair
MVRegisterInterface
MVRegisterSyntax
RCounterInterface
RCounterSyntax
kofre.dotted
DotFun
DotFun
DotMap
DotMap
DotSet
DotSet
dottedLattice
hasDots
Dotted
Dotted
DottedDecompose
DottedDecompose
FromConlattice
ProductDottedDecompose
DottedLattice
HasDots
HasDots
ProductHasDots
kofre.encrdt.crdts
AddWinsLastWriterWinsMap
AddWinsLastWriterWinsMap
DeltaAddWinsLastWriterWinsMap
DeltaAddWinsLastWriterWinsMap
DeltaAddWinsMap
DeltaMultiValueRegister
LastWriterWinsRegister
LastWriterWinsRegister
kofre.encrdt.lattices
AddWinsMapLattice
AddWinsMapLattice
CausalTimeTag
CausalTimeTag
MultiValueRegisterLattice
MultiValueRegisterLattice
kofre.primitives
CausalQueue
CausalQueue
QueueElement
LastWriterWins
LastWriterWins
MultiValueRegister
MultiValueRegister
kofre.protocol
AEAD
AuctionInterface
AuctionData
AuctionData
AuctionSyntax
Bid
Bid
Closed
Open
Status
Status
BoundedCounter
BoundedCounter
BoundedCounterSyntax
RaftState
RaftState
Propose
Vote
RubisInterface
RubisSyntax
kofre.rga
DeltaSequence
DeltaSequence
DeltaSequenceOps
DeltaSequenceOrder
GrowOnlySequence
LatticeSequence
LatticeSequence
Sequence
RGAOps
SetLike
SetLike
Vertex
Vertex
kofre.sets
ORSet
ORSet
kofre.syntax
ArdtOpsContains
ArdtOpsContains
DottedName
DottedName
FixedId
OpsSyntaxHelper
PermCausal
PermCausalMutate
PermId
PermIdMutate
PermIdMutate
PermMutate
PermMutate
PermQuery
PermQuery
TestReplica
TestReplica
kofre.time
ArrayRanges
ArrayRanges
latticeInstance
Dot
Dots
Dots
VectorClock
VectorClock
kofre
/
kofre.decompose.interfaces
/
GListInterface
/
GListSyntax
GListSyntax
kofre.decompose.interfaces.GListInterface$.GListSyntax
implicit
class
GListSyntax
[
C
,
E
](
container
:
C
)(
using
x$2
:
ArdtOpsContains
[
C
,
GList
[
E
]])
extends
OpsSyntaxHelper
[
C
,
GList
[
E
]]
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
OpsSyntaxHelper
[
C
,
GList
[
E
]]
class
Object
trait
Matchable
class
Any
Clear all
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
insert
(
i
:
Int
,
e
:
E
)(
using
MutationIdP
):
C
def
insertAll
(
i
:
Int
,
elems
:
Iterable
[
E
])(
using
MutationP
,
IdentifierP
):
C
def
read
(
i
:
Int
)(
using
QueryP
):
Option
[
E
]
def
size
(
using
QueryP
):
Int
def
toLazyList
(
using
QueryP
):
LazyList
[
E
]
def
toList
(
using
QueryP
):
List
[
E
]
def
without
(
elems
:
Set
[
E
])(
using
MutationP
):
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