Skip to main content

prelude

Types​

Array​

(Array v)

BigDecimal​

BigDecimal

Signed 128-bit floating point number

BigInt​

BigInt

Signed 128-bit integer

Bool​

True
False

Byte​

Byte

Signed 8-bit integer

Char​

Char

Datatype representing a single Unicode character

Double​

Double

Signed 64-bit floating point number

Float​

Float

Signed 32-bit floating point number

Int​

Int

Signed 32-bit integer

List​

(List v)

Long​

Long

Signed 64-bit integer

Map​

(Map k v)

Pair​

(Pair a b)

Set​

(Set v)

Short​

Short

Signed 16-bit integer

String​

String

Unit​

()

The Unit type is the terminal object in the category of types

Traits​

Bitwise​

Allow operations over numeric types details

Num​

Allow operations over numeric types details

Functions​

(!=)/2​

a -> a -> True
False

(<)/2​

(Comparable a) -> (Comparable a) -> True
False

(<=)/2​

(Comparable a) -> (Comparable a) -> True
False

(==)/2​

a -> a -> True
False

(>)/2​

(Comparable a) -> (Comparable a) -> True
False

(>=)/2​

(Comparable a) -> (Comparable a) -> True
False

arrayOf/1​

a -> (Array a)

bigdec/1​

(Num a) -> BigDecimal

bigint/1​

(Num a) -> BigInt

byte/1​

(Num a) -> Byte

double/1​

(Num a) -> Double

emptyArray/0​

Unit -> (Array a)

emptyList/0​

Unit -> (List a)

emptyMap/0​

Unit -> (Map k v)

emptySet/0​

Unit -> (List a)

float/1​

(Num a) -> Float

if/3​

True
False -> a -> a -> a

int/1​

(Num a) -> Int

listOf/1​

a -> (List a)

long/1​

(Num a) -> Long

mapOf/1​

(Pair k v) -> (Map k v)

pair/2​

a -> b -> (Pair a b)

setOf/1​

a -> (Set a)

short/1​

(Num a) -> Short

str/1​

a -> String

tupleOf/1​

a -> a