Suzu Data System

Data Types

|=|{
    |&          |Id   |#
    |`Any`      |\x00 |# Untyped container
    |`Var`      |\x00 |# Variable type
    |`Boolean`  |\x01 |# Boolean
    |`Byte`     |\x00 |# Unsigned integer, u8
    |`Natural`  |\x10 |# Unsigned integer, u64
    |`Integer`  |\x11 |# Signed integer, i64
    |`Block`    |\x20 |# Fixed-size byte series
    |`Sequence` |\x21 |# Variable-size byte series
    |`Option`   |\x31 |# Optional type
    |`Array`    |\x32 |# Fixed-size collection
    |`List`     |\x33 |# Variable-size collection
    |`Tuple`    |\x34 |# Position-mapped collection
    |`Function` |\x7c |# Unsigned integer, u32
    |`Record`   |\x7d |# Abstract type instnce
    |`Schema`   |\x7e |# Abstract type definition
    |`Type`     |\x7f |# Unsigned integer, u32
}