List of all items[−]
Structs
- compiler::Compiler
- option::AstSnapshotOptions
- option::CompilerOptions
- output::Output
- output::OutputRegister
- output::output_bytes::OutputBytes
- output::output_file::OutputFile
- phases::phase::Options
- phases::phase::TypeInferencePhase
- phases::reducing_director::CombineAstAsgDirector
- prelude::blake2s::Blake2s
- program::program::ConstrainedProgram
- value::address::address::Address
- value::char::char::Char
- value::field::field_type::FieldType
- value::value::ConstrainedCircuitMember
Enums
- errors::compiler::CompilerError
- errors::console::ConsoleError
- errors::expression::ExpressionError
- errors::function::FunctionError
- errors::import::ImportError
- errors::output_bytes::OutputBytesError
- errors::output_file::OutputFileError
- errors::statement::StatementError
- errors::value::address::AddressError
- errors::value::boolean::BooleanError
- errors::value::char::CharError
- errors::value::field::FieldError
- errors::value::group::GroupError
- errors::value::integer::IntegerError
- errors::value::value::ValueError
- value::char::char::CharType
- value::group::targets::edwards_bls12::EdwardsGroupType
- value::integer::integer::Integer
- value::value::ConstrainedValue
Traits
- phase::ASGPhase
- phases::reducing_director::CombinerOptions
- prelude::CoreCircuit
- value::group::group_type::GroupType
- value::integer::macros::IntegerTrait
Macros
Functions
- compiler::new_context
- compiler::thread_leaked_context
- constraints::constraints::generate_constraints
- constraints::constraints::generate_test_constraints
- expression::arithmetic::add::enforce_add
- expression::arithmetic::bit_not::evaluate_bit_not
- expression::arithmetic::div::enforce_div
- expression::arithmetic::mul::enforce_mul
- expression::arithmetic::negate::enforce_negate
- expression::arithmetic::pow::enforce_pow
- expression::arithmetic::sub::enforce_sub
- expression::logical::and::enforce_and
- expression::logical::not::evaluate_not
- expression::logical::or::enforce_or
- expression::relational::eq::evaluate_eq
- expression::relational::ge::evaluate_ge
- expression::relational::gt::evaluate_gt
- expression::relational::le::evaluate_le
- expression::relational::lt::evaluate_lt
- prelude::resolve_core_circuit
- statement::statement::get_indicator_value
Typedefs
- compiler::AsgContext
- compiler::Context
- statement::statement::IndicatorAndConstrainedValue
- statement::statement::StatementResult