cherry-lamr/cherry.lamr.norm.umami/UnitValue

UnitValue

case object UnitValue extends NormValue
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait NormValue
class Object
trait Matchable
class Any

Type members

Inherited types

type MirroredElemLabels = EmptyTuple
Inherited from:
Singleton
type MirroredElemTypes = EmptyTuple
Inherited from:
Singleton
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror
type MirroredMonoType = Singleton
Inherited from:
Singleton
type MirroredType = Singleton
Inherited from:
Singleton

Value members

Concrete methods

override def isUnit: Boolean
Definition Classes
override def merge(term: NormValue): Process[NormValue]
Definition Classes
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 fromProduct(p: Product): MirroredMonoType
Inherited from:
Singleton
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 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

Concrete fields

val pure: Act[Any, UnitValue.type]

Givens

Inherited givens