Module constant

Constant value definitions.

Structs

Const

An operation returning a constant value.

CustomSerialized

A constant value stored as a serialized blob that can report its own type.

OpaqueValue

An opaque newtype around a Box<dyn CustomConst>.

Sum

A Sum variant, with a tag indicating the index of the variant and its value.

Enums

ConstTypeError

Errors that arise from typechecking constants

CustomCheckFailure

Struct for custom type check fails.

Value

A value that can be stored as a static constant. Representing core types and extension types.

Traits

CustomConst

Extensible constant values.

TryHash

Fallible hash function.

Functions

downcast_equal_consts

Const equality for types that have PartialEq

get_pair_of_input_values

Given a list of two constant operations, return the values.

get_single_input_value

Given a singleton list of constant operations, return the value.

Type Aliases

ValueName

A unique identifier for a constant value.

ValueNameRef

Slice of a ValueName constant value identifier.