Type

enum class Type: Enum<Type>, ToTermConvertible

The possible evaluation error types

EnumItems

Name Description
INT_OVERFLOW
FLOAT_OVERFLOW
UNDERFLOW
ZERO_DIVISOR
UNDEFINED

Methods

toTerm

fun toTerm(): Atom

A function to transform the type to corresponding Atom representation

ReturnValue

Name Description
Atom

toString

fun toString(): String

ReturnValue

Name Description
String

CompanionObject

Type

enum class Type: Enum<Type>, ToTermConvertible

The possible evaluation error types

Methods

fromTerm

fun fromTerm(term: Term): Type?

Gets Type instance from term representation, if possible

Parameters

Name Description
term: Term

ReturnValue

Name Description
Type?