Module sway_ir::irtype

source ·
Expand description

Each of the valid Value types.

These generally mimic the Sway types with a couple of exceptions:

  • [Type::Unit] is still a discrete type rather than an empty tuple. This may change in the future.
  • [Type::Union] is a sum type which resembles a C union. Each member of the union uses the same storage and the size of the union is the size of the largest member.

[Aggregate] is an abstract collection of Types used for structs, unions and arrays, though see below for future improvements around splitting arrays into a different construct.

Structs

Enums

Traits

  • TypeOption
    A helper to check if an Option value is of a particular Type.