Module sway_ir::irtype

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

Aggregate

A collection of Types.

Enums

Type