List of all items
Structs
- context::AppliedLimits
- context::Conversion
- context::EffectiveContext
- context::ExecContext
- contract::Args
- contract::Assumption
- contract::Deprecation
- contract::ErrorEstimate
- contract::Example
- contract::FunctionDescriptor
- contract::FunctionRef
- contract::Module
- contract::ModuleDescriptor
- contract::Outcome
- contract::ParamDescriptor
- contract::SimpleFunction
- contract::Trace
- contract::TraceStep
- contract::Warning
- envelope::EngineInfo
- envelope::ErrorResponse
- envelope::ResultEnvelope
- error::EngineError
- eval::SimpleCalls
- expr::CallArg
- fingerprint::Receipt
- limits::Budget
- limits::CancellationToken
- limits::Limits
- limits::LimitsOverride
- number::Decimal
- number::Float64
- number::NumberResult
- number::NumericContext
- schema::FieldSchema
- value::Dimension
Enums
- context::Budget
- context::TraceLevel
- contract::AssumptionSource
- contract::CostClass
- contract::Determinism
- contract::ExampleExpectation
- contract::Purity
- envelope::Exactness
- error::ErrorCode
- expr::BinaryOp
- expr::CompareOp
- expr::Expr
- expr::UnaryOp
- number::Number
- number::NumericMode
- number::RoundingMode
- schema::NumberKind
- schema::ValueSchema
- value::Bound
- value::Value
Traits
Functions
- contract::require_mode
- eval::evaluate_f64
- eval::evaluate_number
- expr::parse_expression
- fingerprint::calculation_fingerprint
- fingerprint::canonical_json_bytes
- fingerprint::fingerprint_json
- fingerprint::fingerprint_value
- number::div_round
- schema::bound
- schema::bound_endpoint
- schema::exact_number_array
- schema::expect_dimension
- schema::finite_scalar
- schema::float64_array
- schema::integer
- value::validate_currency