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.base
/
Bottom
Bottom
kofre.base.Bottom$
See the
Bottom
companion trait
object
Bottom
Attributes
Companion:
trait
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
Bottom
.type
Clear all
Members list
Concise view
Type members
Classlikes
class
ProductBottom
[
T
<:
Product
](
pm
:
ProductOf
[
T
],
bottoms
:
Tuple
)
extends
Bottom
[
T
]
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
Bottom
[
T
]
class
Object
trait
Matchable
class
Any
Value members
Concrete methods
def
apply
[
A
](
using
bottom
:
Bottom
[
A
]):
Bottom
[
A
]
inline
def
derived
[
T
<:
Product
](
using
pm
:
ProductOf
[
T
]):
Bottom
[
T
]
def
empty
[
A
](
using
bottom
:
Bottom
[
A
]):
A
def
intMaxBottom
:
Bottom
[
Int
]
Givens
Givens
given
dotFun
[
V
]:
Bottom
[
DotFun
[
V
]]
given
dotMap
[
K
,
V
]:
Bottom
[
DotMap
[
K
,
V
]]
given
dotSet
[
K
,
V
]:
Bottom
[
DotSet
]
given
dots
:
Bottom
[
Dots
]
given
dotted
[
A
:
Bottom
]:
Bottom
[
Dotted
[
A
]]
given
mapBottom
[
K
,
V
]:
Bottom
[
Map
[
K
,
V
]]
given
optionBottom
[
V
]:
optionBottom
[
V
]
given
pairBottom
[
A
:
Bottom
,
B
:
Bottom
]:
Bottom
[(
A
,
B
)]
given
queueBottom
[
V
]:
queueBottom
[
V
]
given
setBottom
[
V
]:
Bottom
[
Set
[
V
]]