rdts
API
Generated with
rdts/rdts/rdts.filters/FilterDerivation

FilterDerivation

rdts.filters.FilterDerivation
object FilterDerivation

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

class ProductTypeFilter[T](pm: ProductOf[T], productBottom: Bottom[T], factorLabels: Map[String, Int], factorBottoms: IArray[Bottom[Any]], factorFilters: IArray[Filter[Any]])

Attributes

Supertypes
trait Filter[T]
class Object
trait Matchable
class Any
class SumTypeFilter[T](sm: SumOf[T], bottom: Bottom[T], elementNames: Array[String], elementBottoms: IArray[Bottom[Any]], elementFilters: IArray[Filter[Any]])

Attributes

Supertypes
trait Filter[T]
class Object
trait Matchable
class Any
class TerminalFilter[T] extends Filter[T]

Attributes

Supertypes
trait Filter[T]
class Object
trait Matchable
class Any
Generated with