kofre
kofre
API
kofre
base
Bottom
Bottom
Derived
ProductBottom
SumBottom
BottomOpt
BottomOpt
Lattice
Lattice
Derivation
ProductLattice
SumLattice
syntax
Orderings
LexicographicOrdering
Uid
datatypes
alternatives
rga
DeltaSequence
DeltaSequence
DeltaSequenceOps
DeltaSequenceOrder
GrowOnlySequence
LatticeSequence
LatticeSequence
Sequence
RGAOps
SetLike
SetLike
Vertex
Vertex
MultiValueRegister
MultiValueRegister
ObserveRemoveSet
ObserveRemoveSet
ResettableCounter
ResettableCounter
syntax
contextual
CausalQueue
CausalQueue
QueueElement
syntax
EnableWinsFlag
EnableWinsFlag
syntax
MultiVersionRegister
MultiVersionRegister
syntax
ObserveRemoveMap
ObserveRemoveMap
syntax
ReplicatedList
ReplicatedList
syntax
ReplicatedSet
ReplicatedSet
syntax
experiments
AEAD
AuctionInterface
AuctionData
AuctionData
AuctionSyntax
bottom
Bid
Bid
Closed
Open
Status
ordering
Status
AutomergyOpGraphLWW
Entry
Op
set
undo
OpGraph
OpGraph
syntax
BoundedCounter
BoundedCounter
syntax
CausalDelta
CausalDelta
CausalStore
CausalStore
RaftState
RaftState
Propose
Vote
RubisInterface
RubisSyntax
Epoch
Epoch
syntax
GrowOnlyCounter
GrowOnlyCounter
syntax
GrowOnlyList
GrowOnlyList
Node
Elem
syntax
GrowOnlyMap
syntax
GrowOnlySet
syntax
LastWriterWins
LastWriterWins
GenericLastWriterWinsLattice
syntax
PosNegCounter
PosNegCounter
syntax
TwoPhaseSet
TwoPhaseSet
syntax
dotted
Dotted
Dotted
DottedLattice
HasDots
HasDots
MapHasDots
ProductHasDots
syntax
DeltaBuffer
DeltaBuffer
DeltaBufferContainer
DeltaBufferContainer
LowPrio
OpsSyntaxHelper
OpsTypes
PermCausalMutate
PermMutate
PermMutate
PermQuery
PermQuery
ReplicaId
TestReplica
TestReplica
time
ArrayRanges
ArrayRanges
latticeInstance
partialOrder
CausalTime
CausalTime
Dot
Dot
hasDot
Dots
Dots
given_HasDots_Dots
partialOrder
Time
VectorClock
VectorClock
kofre
/
kofre
/
kofre.dotted
/
DottedLattice
DottedLattice
kofre.dotted.Dotted$package.DottedLattice
object
DottedLattice
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
DottedLattice
.
type
Members list
Clear all
Value members
Concrete methods
def
apply
[
A
](
using
ev
:
Lattice
[
Dotted
[
A
]]):
Lattice
[
Dotted
[
A
]]
Exports
Defined exports
final
val
Derivation
:
Derivation
Exported from
Lattice
def
assertNoConflicts
[
A
]:
Lattice
[
A
]
Exported from
Lattice
inline
def
derived
[
T
<:
Product
](
using
pm
:
ProductOf
[
T
]):
Lattice
[
T
]
Exported from
Lattice
def
fromOrdering
[
A
:
Ordering
]:
Lattice
[
A
]
Exported from
Lattice
def
latticeOrder
[
A
:
Lattice
]:
PartialOrdering
[
A
]
Exported from
Lattice
inline
def
sumLattice
[
T
](
using
sm
:
SumOf
[
T
]):
Lattice
[
T
]
Exported from
Lattice
final
val
syntax
:
syntax
Exported from
Lattice
In this article
Attributes
Members list
Value members
Concrete methods
Exports
Defined exports