kofre
API
Generated with
kofre/kofre.dotted/DotMap

DotMap

kofre.dotted.DotMap$
See theDotMap companion class
object DotMap

DotMap is a dot store implementation that maps keys of an arbitrary type K to values of a dot store type V. See kofre.datatypes.ObserveRemoveMap for a usage example.

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
DotMap.type

Members list

Concise view

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def empty[K, V]: DotMap[K, V]

Givens

Givens

given dottedLattice[K, V : Bottom]: DottedLattice[DotMap[K, V]]

This essentially lifts the DottedLattice to a DotMap. Recursively merging values present in both maps with the given context.

This essentially lifts the DottedLattice to a DotMap. Recursively merging values present in both maps with the given context.

Attributes

given hasDots[K, V : HasDots]: hasDots[K, V]
Generated with