cherry-lamr/cherry.lamr.norm/BuiltinLibrary

BuiltinLibrary

object BuiltinLibrary extends LibraryPack with RecordValueBase
trait NormValue
trait Library
class Object
trait Matchable
class Any

Value members

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
override def get(key: RecordKey, up: Int): Process[NormValue]
Definition Classes
Inherited from:
RecordValueBase
def headNorm: Process[NormValue]
Inherited from:
NormValue
def isAbstract: Boolean
Inherited from:
NormValue
def isUnit: Boolean
Inherited from:
NormValue
override def merge(term: NormValue): Process[NormValue]
Definition Classes
Inherited from:
RecordValueBase
override def narrow(domain: NormType): Process[NormValue]
Definition Classes
Inherited from:
RecordValueBase
protected def narrowField(domainMap: LayeredMap[RecordKey, NormType])(name: RecordKey, fieldValue: NormValue): Process[Option[(RecordKey, NormValue)]]
Inherited from:
RecordValueBase
def position: Option[Position]
Inherited from:
NormValue
def resolve(context: NormValue, ref: LibRef, normalizer: Normalizer): Process[NormValue]
Inherited from:
LibraryPack
def second: Process[NormValue]
Inherited from:
NormValue
def toTerm: Term
Inherited from:
RecordValueBase
def view(context: NormValue): Term
Inherited from:
NormValue

Concrete fields

Givens

Inherited givens