replication
API
Generated with
replication/lofi_acl/lofi_acl.access/Filter

Filter

lofi_acl.access.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

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
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 ofTerminalValue[T : Bottom]: Filter[T]

Givens

Givens

Generated with