cherry-lamr/cherry.lamr.norm/NameResolutionLibrary

NameResolutionLibrary

trait NameResolutionLibrary(val name: String) extends Library with NormValue
trait NormValue
trait Library
class Object
trait Matchable
class Any
object IntsLibrary.type

Value members

Abstract methods

def members: PartialFunction[String, NormValue]

Concrete methods

override def get(key: RecordKey, up: Int): Process[NormValue]
Definition Classes
override def resolve(context: NormValue, ref: LibRef, normalizer: Normalizer): Process[NormValue]
Definition Classes
override def toTerm: Term
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 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 second: Process[NormValue]
Inherited from:
NormValue
def view(context: NormValue): Term
Inherited from:
NormValue

Concrete fields

val name: String

Givens

Inherited givens