Int — Integer numbers

Most operations on natural numbers (e.g. addition) are available as built-in operators (1 + 1). This module provides conversion functions.

The conversions toInt* will trap if the number is out of bounds.

abs

Returns the absolute value of the number

abs : Int -> Nat

toText

toText : Int -> Text

fromInt8

fromInt8 : Int8  -> Int

fromInt16

fromInt16 : Int16 -> Int

fromInt32

fromInt32 : Int32 -> Int

fromInt64

fromInt64 : Int64 -> Int

toInt8

toInt8 : Int -> Int8

toInt16

toInt16 : Int -> Int16

toInt32

toInt32 : Int -> Int32

toInt64

toInt64 : Int -> Int64

min

min : (Int, Int) -> Int

max

max : (Int, Int) -> Int