rdts
API
Generated with
rdts/rdts/rdts.datatypes/rdts.datatypes.experiments/rdts.datatypes.experiments.protocols/Consensus

Consensus

rdts.datatypes.experiments.protocols.Consensus
See theConsensus companion trait
object Consensus

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Consensus.type

Members list

Value members

Concrete methods

def apply[C[_]](using ev: Consensus[C]): Consensus[C]

Givens

Givens

given bottom[A, C[_] : Consensus]: bottom[A, C]
given lattice[A, C[_] : Consensus]: Lattice[C[A]]
Generated with