Predicate

A Predicate is a function which accepts or rejects feature values.

Given a value of type V, apply() will return a Boolean indicating whether the predicate matches or not.

There are six types of predicates:

IsEq(c): x == c
NotEq(c): x != c
Lt(c): x < c
LtEq(c): x <= c
Gt(c): x > c
GtEq(c): x >= c

Predicates can be negated using !, and can be transformed using map. Evaluating a predicate requires an Ordering, but this constraint is not enforced during construction, only when apply() is invoked.

Linear Supertypes

Serializable, Serializable, Product, Equals, AnyRef, Any

Known Subclasses

Gt, GtEq, IsEq, Lt, LtEq, NotEq

Instance Constructors

new Predicate()

Abstract Value Members

abstract def canEqual(that: Any): Boolean

Definition Classes
Equals
abstract def productArity: Int

Definition Classes
Product
abstract def productElement(n: Int): Any

Definition Classes
Product
abstract def value: V

Returns the right-hand side of the predicate's comparison.

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
def apply(v: V)(implicit ord: Ordering[V]): Boolean

Evaluate this predicate for the feature value v.
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def display(name: String): String

Display this predicate, using the given feature name as a placeholder.
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def map[U](f: (V) ⇒ U): Predicate[U]

Map the value types of this Predicate using f.
Map the value types of this Predicate using f.
Remember that in order to evaluate a Predicate[U] you will need to be able to provide a valid Ordering[U] instance.
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def productIterator: Iterator[Any]

Definition Classes
Product
def productPrefix: String

Definition Classes
Product
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Display this predicate as a string.
Display this predicate as a string.

Definition Classes
Predicate → AnyRef → Any
def unary_!(): Predicate[V]

Negate this predicate.
Negate this predicate.
The resulting predicate will return true in cases where this predicate returns false.
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

sealed abstract class Predicate[V] extends Product with Serializable

Instance Constructors

new Predicate()

Abstract Value Members

abstract def canEqual(that: Any): Boolean

abstract def productArity: Int

abstract def productElement(n: Int): Any

abstract def value: V

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

def apply(v: V)(implicit ord: Ordering[V]): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def display(name: String): String

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def map[U](f: (V) ⇒ U): Predicate[U]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def productIterator: Iterator[Any]

def productPrefix: String

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

def unary_!(): Predicate[V]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped