Types

• Built-in Types
  • Primitive Types
    • Boolean type
    • Integer types
    • Floating point types
    • String type
    • Binary type
    • Atom type
    • Json type
  • Generic Types
    • List type
    • Dict type
    • Optional type
    • Flags type
• Enum Types
  • Enum Declaration
  • Underlying Integer Type
  • Flag Enums
• Records
  • Record Declaration
  • Variant Record Declaration
  • Field Order
  • Generic Records
• Variants
  • Variant Declaration
  • Tag Field
  • Field Redeclaration
• Exceptions
• Interfaces
  • Interface Declaration
  • Field Redeclaration
  • Interfaces vs Variants
• Alias Types
  • Alias Declaration
  • Alias Usage
    • Self-documenting alias types
    • Generic type reduction
    • Providing attributes
• Union Types (Experimental)
  • Union Declaration
  • Unions vs Variants