kofre
kofre
API
kofre.base
Bottom
Bottom
ProductBottom
Lattice
Lattice
Derivation
ProductLattice
Operators
Time
Uid
kofre.datatypes
AddWinsSet
AddWinsSet
syntax
CausalLastWriterWins
CausalLastWriterWins
syntax
CausalQueue
CausalQueue
QueueElement
hasDots
syntax
EnableWinsFlag
EnableWinsFlag
hasDotsEWF
syntax
Epoche
Epoche
syntax
GrowOnlyCounter
GrowOnlyCounter
syntax
GrowOnlyList
GrowOnlyList
Node
Head
Elem
syntax
GrowOnlyMap
syntax
GrowOnlySet
syntax
LastWriterWins
LastWriterWins
MultiVersionRegister
MultiVersionRegister
syntax
ObserveRemoveMap
ObserveRemoveMap
syntax
PosNegCounter
PosNegCounter
syntax
ReplicatedList
ReplicatedList
Node
Alive
Dead
Node
syntax
TwoPhaseSet
TwoPhaseSet
syntax
kofre.datatypes.alternatives
MultiValueRegister
MultiValueRegister
ObserveRemoveSet
ObserveRemoveSet
ResettableCounter
ResettableCounter
syntax
kofre.datatypes.alternatives.rga
DeltaSequence
DeltaSequence
DeltaSequenceOps
DeltaSequenceOrder
GrowOnlySequence
LatticeSequence
LatticeSequence
Sequence
RGAOps
SetLike
SetLike
Vertex
Vertex
kofre.datatypes.experiments
AEAD
AuctionInterface
AuctionData
AuctionData
AuctionSyntax
Bid
Bid
Closed
Open
Status
Status
BoundedCounter
BoundedCounter
syntax
RaftState
RaftState
Propose
Vote
RubisInterface
RubisSyntax
kofre.dotted
DotFun
DotFun
DotMap
DotMap
DotSet
DotSet
hasDots
Dotted
Dotted
DottedLattice
DottedLattice
ProductDottedLattice
HasDots
HasDots
ProductHasDots
kofre.syntax
DeltaBuffer
DeltaBuffer
DeltaBufferContainer
DeltaBufferContainer
OpsSyntaxHelper
OpsTypes
PermCausalMutate
PermMutate
PermMutate
PermQuery
PermQuery
ReplicaId
TestReplica
TestReplica
kofre.time
ArrayRanges
ArrayRanges
latticeInstance
Dot
Dots
Dots
VectorClock
VectorClock
WallClock
WallClock
kofre
/
kofre.syntax
/
PermMutate
PermMutate
kofre.syntax.PermMutate$
See the
PermMutate
companion trait
object
PermMutate
Attributes
Companion:
trait
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
PermMutate
.type
Clear all
Members list
Concise view
Givens
Givens
given
identityDeltaMutate
[
A
]:
identityDeltaMutate
[
A
]