rdts
rdts
API
rdts
base
Base64
Bottom
Bottom
Derived
ProductBottom
SumBottom
BottomOpt
BottomOpt
Decompose
Decompose
Derivation
ProductDecompose
SumDecompose
Lattice
Lattice
Derivation
MirrorOrdinal
ProductLattice
SumLattice
OrdinalLattices
syntax
LocalUid
LocalUid
Orderings
LexicographicOrdering
Uid
Uid
datatypes
alternatives
rga
DeltaSequence
DeltaSequence
DeltaSequenceOrder
GrowOnlySequence
LatticeSequence
LatticeSequence
Sequence
RGAOps
SetLike
SetLike
Vertex
Vertex
MultiValueRegister
MultiValueRegister
ObserveRemoveSet
ObserveRemoveSet
ResettableCounter
ResettableCounter
contextual
EnableWinsFlag
EnableWinsFlag
MultiVersionRegister
MultiVersionRegister
ObserveRemoveMap
ObserveRemoveMap
Entry
Entry
ReplicatedList
ReplicatedList
ReplicatedSet
ReplicatedSet
experiments
protocols
messagebased
Message
Prepare
Promise
Messaging
MultiPaxos
old
simplified
Accept
Accepted
GeneralizedPaxos
GeneralizedPaxos
consensus
Paxos
Paxos
bottom
consensus
given_Ordering_ProposalNum
Prepare
Promise
ProposalNum
Accept
Accepted
Paxos
Paxos
consensus
Phase
Prepare
Promise
Vote
Voting
Voting
given_Bottom_Int
given_Ordering_Accept
given_Ordering_Prepare
paper
BallotNum
Paxos
Paxos
given_Consensus_Paxos
given_Ordering_BallotNum
PaxosRound
Vote
Voting
Voting
util
Agreement
Decided
raft
RaftState
RaftState
Propose
Vote
RaftToken
RaftTokens
RaftTokens
Acknowledge
BallotNum
BallotNum
given_Ordering_BallotNum
Causal
Consensus
Consensus
ExampleTokens
Exclusive
Membership
Membership
MembershipRound
MembershipRound
MultiPaxos
MultiPaxos
MultiRoundVoting
MultiRoundVoting
MultipaxosPhase
Ownership
Ownership
Participants
Participants
Paxos
Paxos
consensus
PaxosRound
PrepareAbort
Token
Token
TwoPhaseCommit
Vote
Voting
Voting
AEAD
AuctionInterface
AuctionData
AuctionData
AuctionDataAsUIJDLattice
bottom
Bid
Bid
Closed
Open
Status
ordering
Status
AutomergyOpGraphLWW
Entry
Op
set
undo
OpGraph
OpGraph
BoundedCounter
BoundedCounter
CausalDelta
CausalDelta
CausalStore
CausalStore
RubisInterface
State
Epoch
Epoch
GrowOnlyCounter
GrowOnlyCounter
GrowOnlyList
GrowOnlyList
Node
Elem
GrowOnlyMap
GrowOnlyMap
GrowOnlySet
LastWriterWins
LastWriterWins
GenericLastWriterWinsLattice
PosNegCounter
PosNegCounter
TwoPhaseSet
TwoPhaseSet
dotted
Dotted
Dotted
DottedLattice
FilteredLattice
HasDots
HasDots
HasDotsSet
MapHasDots
ProductHasDots
Obrem
Obrem
syntax
DeltaAWLWWMContainer
DeltaAWLWWMContainer
DeltaBuffer
DeltaBuffer
DeltaBufferContainer
DeltaBufferContainer
TestReplica
TestReplica
time
ArrayRanges
ArrayRanges
latticeInstance
partialOrder
CausalTime
CausalTime
causalTimeBottom
Dot
Dot
hasDot
Dots
Dots
given_HasDots_Dots
partialOrder
Time
VectorClock
VectorClock
bottom
rdts
/
rdts
/
rdts.base
/
Decompose
Decompose
rdts.base.Decompose
See the
Decompose
companion trait
object
Decompose
Attributes
Companion
trait
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
Decompose
.
type
Members list
Clear all
Type members
Classlikes
object
Derivation
Attributes
Supertypes
class
Object
trait
Matchable
class
Any
Self type
Derivation
.
type
Value members
Concrete methods
def
atomic
[
A
]:
Decompose
[
A
]
def
decompose
[
A
:
Decompose
](
a
:
A
):
Iterable
[
A
]
inline
def
derived
[
T
<:
Product
](
using
pm
:
ProductOf
[
T
]):
Decompose
[
T
]
inline
def
sumDecompose
[
T
](
using
sm
:
SumOf
[
T
]):
Decompose
[
T
]
Givens
Givens
given
intDecompose
:
Decompose
[
Int
]
given
mapDecompose
[
K
,
V
:
Decompose
,
Mp
<:
(
MapOps
)]:
mapDecompose
[
K
,
V
,
Mp
]
given
setDecompose
[
A
]:
Decompose
[
Set
[
A
]]
inline
given
tupleDecompose
[
T
<:
Tuple
](
using
pm
:
ProductOf
[
T
]):
Decompose
[
T
]
In this article
Attributes
Members list
Type members
Classlikes
Value members
Concrete methods
Givens
Givens