cherry-lamr/cherry.lamr.norm.umami/Closure

Closure

case class Closure(context: NormValue, body: Term, domain: NormType, norm: Normalizer) extends NormValue
trait Serializable
trait Product
trait Equals
trait NormValue
class Object
trait Matchable
class Any

Value members

Concrete methods

override def apply(arg: NormValue): Process[NormValue]
Definition Classes
override def view(newContext: NormValue): Term
Definition Classes

Inherited methods

def asInt: Process[BigInt]
Inherited from:
NormValue
def asType: Process[NormType]
Inherited from:
NormValue
def errorDisplay: Option[String]
Inherited from:
NormValue
def first: Process[NormValue]
Inherited from:
NormValue
def get(key: RecordKey, up: Int): Process[NormValue]
Inherited from:
NormValue
def headNorm: Process[NormValue]
Inherited from:
NormValue
def isAbstract: Boolean
Inherited from:
NormValue
def isUnit: Boolean
Inherited from:
NormValue
def merge(term: NormValue): Process[NormValue]
Inherited from:
NormValue
def narrow(domain: NormType): Process[NormValue]
Inherited from:
NormValue
def position: Option[Position]
Inherited from:
NormValue
def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product
def second: Process[NormValue]
Inherited from:
NormValue

Givens

Inherited givens