cherry-lamr/cherry.lamr.norm.umami/BuiltinTypeValue

BuiltinTypeValue

trait BuiltinTypeValue(bt: BuiltinType) extends NormValue
trait NormValue
class Object
trait Matchable
class Any

Value members

Concrete methods

override def narrow(domain: NormType): Process[NormValue]
Definition Classes

Inherited methods

def apply(term: NormValue): Process[NormValue]
Inherited from:
NormValue
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 position: Option[Position]
Inherited from:
NormValue
def second: Process[NormValue]
Inherited from:
NormValue
def toTerm: Term
Inherited from:
NormValue
def view(context: NormValue): Term
Inherited from:
NormValue

Givens

Inherited givens