Predicate

object Predicate
Companion
class
class Object
trait Matchable
class Any

Type members

Classlikes

case class And(x: Predicate, y: Predicate) extends Predicate
case class AndB(x: Term[Int], y: Term[Int]) extends Term[Int]
case class Const[T](v: T) extends Term[T]
case class Contains[T](x: Term[List[T]], y: Term[T])(`evidence$3`: Eq[T]) extends Predicate
case class Eql[T](x: Term[T], y: Term[T])(`evidence$1`: Eq[T]) extends Predicate
case object False extends Predicate
case class Gt[T](x: Term[T], y: Term[T])(`evidence$6`: Order[T]) extends Predicate
case class GtEql[T](x: Term[T], y: Term[T])(`evidence$7`: Order[T]) extends Predicate
case class In[T](x: Term[T], y: List[T])(`evidence$8`: Eq[T]) extends Predicate
Companion
object
object In
Companion
class
case class Lt[T](x: Term[T], y: Term[T])(`evidence$4`: Order[T]) extends Predicate
case class LtEql[T](x: Term[T], y: Term[T])(`evidence$5`: Order[T]) extends Predicate
case class Matches(x: Term[String], r: Regex) extends Predicate
case class NEql[T](x: Term[T], y: Term[T])(`evidence$2`: Eq[T]) extends Predicate
case class Not(x: Predicate) extends Predicate
case class NotB(x: Term[Int]) extends Term[Int]
case class Or(x: Predicate, y: Predicate) extends Predicate
case class OrB(x: Term[Int], y: Term[Int]) extends Term[Int]
case class Project(path: List[String], pred: Predicate) extends Predicate
object ScalarFocus
case class StartsWith(x: Term[String], prefix: String) extends Predicate
case class ToLowerCase(x: Term[String]) extends Term[String]
case class ToUpperCase(x: Term[String]) extends Term[String]
case object True extends Predicate
case class XorB(x: Term[Int], y: Term[Int]) extends Term[Int]

Value members

Concrete methods

def and(props: List[Predicate]): Predicate
def or(props: List[Predicate]): Predicate