ToLowerCase

case class ToLowerCase(x: Term[String]) extends Term[String]
trait Term[String]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

Inherited methods

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