Module Values

An array value or error

A mapping value or error

A struct value or error

A tuple value or error

An address value or error

A boolean value or error

A bytestring value or error (dynamic-length)

A bytestring value or error (static or dynamic)

A bytestring value or error (static-length)

A bytestring value (static or dynamic)

A signed fixed-point value or error

A signed integer value or error

A string value or error

These come in two types: valid strings and malformed strings.

An unsigned fixed-point value or error

An unsigned integer value or error

An external function pointer value or error

External function values come in 3 types:

1. known function of known class
2. known class, but can't locate function
3. can't determine class

An internal function pointer value or error

Internal functions come in three types:

1. An actual function,
2. A default value,
3. A special value to indicate that decoding internal functions isn't supported in this context.

An elementary value or error

An elementary value

This is the overall Result type. It may encode an actual value or an error.

An actual value, not an error (although if a container type it may contain errors!)

A contract value or error

There are two types -- one for contracts whose class we can identify, and one for when we can't identify the class.

An enum value or error

A magic variable's value (or error)