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

HasDotsSet

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

Attributes

Graph
Supertypes
trait HasDots[Set[A]]
class Object
trait Matchable
class Any

Members list

Extensions

Extensions

extension (dotted: Set[A])
def dots: Dots
def removeDots(dots: Dots): Option[Set[A]]

Removes dots and anything associated to them from the value. In case the value becomes fully “empty” returns None

Removes dots and anything associated to them from the value. In case the value becomes fully “empty” returns None

Attributes

Generated with