grackle-docs
0.18.1
API
Generated with
grackle-docs/grackle/Predicate/In

In

grackle.Predicate.In
See theIn companion object
case class In[T](x: Term[T], y: List[T])(implicit evidence$8: Eq[T]) extends Predicate

Attributes

Companion
object
Source
predicate.scala
Graph
Supertypes
trait Predicate
trait Term[Boolean]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def apply(c: Cursor): Result[Boolean]

Attributes

Source
predicate.scala
def children: List[Term[_]]

Attributes

Source
predicate.scala
def subst(x: Term[T]): In[T]

Attributes

Source
predicate.scala

Inherited methods

def exists(f: Term[_] => Boolean): Boolean

Attributes

Inherited from:
Term
Source
predicate.scala
def fold[Acc](acc: Acc)(f: (Acc, Term[_]) => Acc): Acc

Attributes

Inherited from:
Term
Source
predicate.scala
def forall(f: Term[_] => Boolean): Boolean

Attributes

Inherited from:
Term
Source
predicate.scala
def forallR(f: Term[_] => Result[Boolean]): Result[Boolean]

Attributes

Inherited from:
Term
Source
predicate.scala
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with