[−] List of all items
Structs
- compiler::Compiler
- output::output_bytes::OutputBytes
- output::output_file::OutputFile
- program::program::ConstrainedProgram
- value::address::address::Address
- 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::field::FieldError
- errors::value::group::GroupError
- errors::value::integer::IntegerError
- errors::value::value::ValueError
- value::field::field_type::FieldType
- value::group::targets::edwards_bls12::EdwardsGroupType
- value::integer::integer::Integer
- value::value::ConstrainedValue
Traits
Macros
Functions
- constraints::constraints::generate_constraints
- constraints::constraints::generate_test_constraints
- expression::arithmetic::add::enforce_add
- 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::array::array::inner_array_type
- expression::array::array::parse_index
- 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
- program::program::is_in_scope
- program::program::new_scope
- statement::return_::return_::check_return_type
- statement::statement::get_indicator_value
- value::implicit::implicit::enforce_number_implicit