True

edu.gemini.grackle.Predicate$.True$
case object True extends Predicate

Attributes

Source:
predicate.scala
Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Predicate
trait Term[Boolean]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
True.type

Members list

Concise view

Type members

Inherited types

type MirroredElemLabels = EmptyTuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Singleton
Source:
Mirror.scala
type MirroredElemTypes = EmptyTuple

Attributes

Inherited from:
Singleton
Source:
Mirror.scala

The name of the type

The name of the type

Attributes

Inherited from:
Mirror
Source:
Mirror.scala
type MirroredMonoType = Singleton.this.type

The mirrored *-type

The mirrored *-type

Attributes

Inherited from:
Singleton
Source:
Mirror.scala
type MirroredType = Singleton.this.type

Attributes

Inherited from:
Singleton
Source:
Mirror.scala

Value members

Concrete methods

Attributes

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

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 fromProduct(p: Product): MirroredMonoType

Create a new instance of type T with elements taken from product p.

Create a new instance of type T with elements taken from product p.

Attributes

Inherited from:
Singleton
Source:
Mirror.scala

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product