cadenza / cadenza.semantics

Package cadenza.semantics

Types

ConsEnv

data class ConsEnv<out T>

Ctx

typealias Ctx = Env<Type>

Env

typealias Env<T> = ConsEnv<T>?

Name

typealias Name = String

Term

abstract class Term

Type

abstract class Type

Exceptions

TypeError

class TypeError : Exception

Properties

NilEnv

val NilEnv: Env<Nothing>

Functions

after

fun Type.after(n: Int): Type

lookup

fun <T> Env<T>.lookup(name: String): T