cadenza / cadenza.data

Package cadenza.data

These are the objects and environments that are manupulated by cadenza

Types

BigInt

class BigInt : TruffleObject, Comparable<BigInt>

Closure

class Closure : TruffleObject

DataTypes

abstract class DataTypes

Neutral

sealed class Neutral

NeutralValue

class NeutralValue : TruffleObject

Exceptions

NeutralException

class NeutralException : SlowPathException

Functions

neutral

fun neutral(type: Type, term: Neutral): Nothing

raise

fun NeutralValue.raise(): Nothing

throwIfNeutralValue

fun <T> throwIfNeutralValue(x: T): T