rdts
API
Generated with
rdts/rdts/rdts.dotted/HasDots

HasDots

rdts.dotted.HasDots
See theHasDots companion trait
object HasDots

Attributes

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

Members list

Type members

Classlikes

class HasDotsSet[A](kdots: Option[HasDots[A]]) extends HasDots[Set[A]]

Attributes

Supertypes
trait HasDots[Set[A]]
class Object
trait Matchable
class Any
class MapHasDots[K, V](kdots: HasDots[K], vdots: HasDots[V]) extends HasDots[Map[K, V]]

Attributes

Supertypes
trait HasDots[Map[K, V]]
class Object
trait Matchable
class Any
class ProductHasDots[T <: Product](pm: ProductOf[T], children: IArray[HasDots[Any]], bottoms: Tuple) extends HasDots[T]

Attributes

Supertypes
trait HasDots[T]
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[A](using dotStore: HasDots[A]): dotStore.type
inline def derived[T <: Product](using pm: ProductOf[T]): HasDots[T]
def noDots[A]: HasDots[A]

Givens

Givens

inline given mapInstance[K, V]: HasDots[Map[K, V]]
given option[A : HasDots]: option[A]
inline given setInstance[A]: HasDots[Set[A]]
inline given tuple[T <: Tuple : ProductOf]: HasDots[T]
Generated with