rdts
API
Generated with
rdts/rdts/rdts.filters/Filter

Filter

rdts.filters.Filter
See theFilter companion trait
object Filter

Attributes

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

Members list

Type members

Classlikes

object dotsFilter extends Filter[Dots]

Attributes

Supertypes
trait Filter[Dots]
class Object
trait Matchable
class Any
Self type
dotsFilter.type

Value members

Concrete methods

inline def apply[T](using filter: Filter[T]): Filter[T]
inline def derived[T](using m: Of[T], productBottom: Bottom[T]): Filter[T]
def terminalSetFilter[T]: Filter[Set[T]]

Givens

Givens

given lwwFilter[V : Filter]: lwwFilter[V]
given mapFilter[K, V : Filter]: mapFilter[K, V]
given optionFilter[T : Filter]: optionFilter[T]
given setFilter[T : Filter]: setFilter[T]
Generated with