Skip to content

StdMisc

This module can be imported directly or as a part of the StdEnv module. As the name suggests, it provides definitions for miscellaneous functions you might need in your program. Though, they mostly concern with program termination.

Visit StdMisc on Cloogle for source code of this module.

Units

Undefined Entity

Implementation

// CLEAN

undef ::  anyType
undef :== ...

Definition

Represents an undefined value.

Forces a program to terminate if it is ever evaluated. Under the hood, it invokes the abort function with a specific error message.

Functions

abort

Signature

abort :: {#Char} -> anyType
abort    errMsg  => ...

Behavior

Terminates the program and return an error message errMsh.

Usage

// CLEAN

abort "Terminated"  // "Terminated"