Prelude

data Nat

An unbounded natural number. Arithmetic on Nat does not overflow.

Zero :: Nat

Succ :: Nat -> Nat

data Bool

A truth value.

False :: Bool

True :: Bool

opaque Int

An unbounded signed integer.

opaque String

An immutable string of Unicode text.

opaque Ref region a

A reference that borrows a value for the lifetime of region.

data Unit

The type with a single value, ().

opaque Bytes

An immutable sequence of bytes.

effect Io region

An effect for interaction with an external environment.

signature Ord a

A total ordering on values of a type.

id :: forall a. a -> a

Return the supplied value unchanged.

id 42
-- 42

const :: forall a b. a -> b -> a

Return the first argument and ignore the second.