Expand description
§haloumi-ir
Intermediate representation of the haloumi framework.
Modules§
- arg
- Types related to circuit inputs.
- cell
- Types for handling references to cells in the PLONK table.
- diagnostics
- Types and traits related to diagnostics.
- error
- Error type.
- expr
- Structs for handling expressions.
- groups
- IR for representing groups.
- meta
- IR metadata
- output
- Types related to circuit outputs.
- printer
- Types and traits for human-friendly printing of the IR.
- stmt
- Structs for representing statements of the circuit’s logic.
- traits
- Common traits used in IR objects.
Macros§
- equiv
- Returns true if two elements are equal under the given equality relation.
Structs§
- Felt
- Lightweight representation of a constant value.
- IRCircuit
- Generic type representing a circuit.
- Prime
- Interned value of the prime of a finite field.
- Symbolic
Eqv - Symbolic equivalence relation.
Enums§
- CmpOp
- Comparison operators between arithmetic expressions.
- Slot
- A slot represents storage locations in a circuit.
Traits§
- Equivalent
To - Trait that enables checking for equivalence as a method.
- EqvRelation
- Defines an equivalence relation between two entities.