cherry-lamr/cherry.lamr.norm.umami/FunctionType

FunctionType

case class FunctionType(dom: NormType, body: NormType) extends NormType
trait Serializable
trait Product
trait Equals
trait NormType
trait NormValue
class Object
trait Matchable
class Any

Value members

Concrete methods

Inherited methods

def applied(arg: NormValue): Process[NormType]
Inherited from:
NormType
def apply(term: NormValue): Process[NormValue]
Inherited from:
NormValue
def asAbstract: Process[NormValue]
Inherited from:
NormType
def asInt: Process[BigInt]
Inherited from:
NormValue
override def asType: Process[NormType]
Definition Classes
Inherited from:
NormType
def errorDisplay: Option[String]
Inherited from:
NormValue
def fieldTypes: Process[Vector[(RecordKey, NormType)]]
Inherited from:
NormType
def first: Process[NormValue]
Inherited from:
NormValue
def get(key: RecordKey, up: Int): Process[NormValue]
Inherited from:
NormValue
def got(key: RecordKey, up: Int): Process[NormType]
Inherited from:
NormType
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
def view(context: NormValue): Term
Inherited from:
NormValue

Givens

Inherited givens