cherry-lamr/cherry.lamr.norm

cherry.lamr.norm

package cherry.lamr.norm

Type members

Classlikes

object BuiltinLibrary extends LibraryPack with RecordValueBase
enum Cause
class DummyIneqSystem[T] extends InequasionSystem[T]
case class Error(cause: Cause, value: Option[NormValue], term: Option[Term], position: Option[Position])
case class Inequasion[T](symbol: Long, sign: Sign, term: T)
trait InequasionSystem[T]
trait Library
class LibraryPack(includes: Map[String, Library]) extends Library
trait NameResolutionLibrary(val name: String) extends Library with NormValue
trait NormValue
trait Normalizer
case class Position(start: Long, end: Long)
enum Sign
case class State(var symbolCount: Long, var inequasions: InequasionSystem[Term], var symbols: Map[Long, RecordKey], var position: Option[Position], var value: Option[NormValue], var term: Option[Term], var errors: Vector[Error]) extends Raising[Cause]
enum TypeCause

Types

type Process[+A] = Act[State, A]
type Term = Fix[Lang]

Value members

Concrete methods

def newSymbol[R](name: String, tpe: R): Process[NormValue]