cherry-lamr/cherry.lamr.norm.umami

cherry.lamr.norm.umami

package cherry.lamr.norm.umami

Type members

Classlikes

case class Abstract(term: Term, tpe: NormType) extends NormValue
case class BooleanValue(value: Boolean) extends BuiltinTypeValue
case class BuiltinNormType(bt: BuiltinType, ext: Option[NormType]) extends NormType
trait BuiltinTypeValue(bt: BuiltinType) extends NormValue
case class Closure(context: NormValue, body: Term, domain: NormType, norm: Normalizer) extends NormValue
case class ExtendType(base: NormType, ext: NormType) extends NormType
case class FloatValue(value: Double) extends BuiltinTypeValue
case class FunctionType(dom: NormType, body: NormType) extends NormType
case class IntegerValue(value: BigInt) extends BuiltinTypeValue
case class Merge(base: NormValue, ext: NormValue) extends NormValue
case class Narrow(base: NormValue, expect: NormType) extends NormValue
trait NormType extends NormValue
case class RecordType(fields: LayeredMap[RecordKey, NormType]) extends NormType
Companion:
object
object RecordType
Companion:
class
case class RecordValue(map: LayeredMap[RecordKey, NormValue]) extends RecordValueBase
Companion:
object
object RecordValue
Companion:
class
trait RecordValueBase extends NormValue
case class StringValue(value: String) extends BuiltinTypeValue
class UmamiNormalizer(library: Library, dbg: (Term, NormValue, State) => Unit) extends Normalizer
case object UnitValue extends NormValue
case class UniverseType(options: TypeOptions) extends NormType
case class Variable(id: Long, hint: String) extends NormValue