Docs.rs
lemma-engine-0.9.9
Platform
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
lemma-engine 0.9.9
A pure, declarative language for business rules.
Crate
Source
Builds
Feature flags
Documentation
..
fixtures
registry_fixtures
support
accept_reject_removed.rs
api_fixture_coverage.rs
api_format.rs
api_ordering.rs
api_schema.rs
arithmetic_exactness.rs
arithmetic_type_combinations.rs
branch_aware_missing_data.rs
calendar_duration_split.rs
calendar_range.rs
case_insensitive_identifiers.rs
coffee_order.rs
contractor_invoice_explanation.rs
cross_spec_references.rs
cross_spec_unit_index.rs
data_binding_type_validation.rs
data_bindings_type_mismatch.rs
data_literals_coverage.rs
data_nested_bindings_coverage.rs
data_references.rs
data_type_declarations_coverage.rs
data_with_values_contract.rs
date_range.rs
datetime_edge_cases.rs
datetime_edge_hunting.rs
datetime_sugar.rs
decimal_precision_boundary.rs
decimal_storage_pipeline.rs
decimal_value_limit.rs
decomposition_binding_alias_collision.rs
decomposition_promotion_collision.rs
delivery_decimals_rule_result_value.rs
duration_conversion.rs
duration_trait_anonymous.rs
duration_trait_arithmetic.rs
duration_trait_planning.rs
duration_trait_precision.rs
duration_trait_temporal.rs
embedded_stdlib_visibility.rs
engine_snapshot.rs
equal_operator.rs
error_api.rs
error_messages.rs
errored_plan_not_served.rs
eval_allocations.rs
explanation_complete_narration.rs
explanation_e2e.rs
explanation_format.rs
explanation_formula_parentheses.rs
explanation_parity.rs
explanation_provenance_oracles.rs
expression_syntax.rs
family_unit_result_maps.rs
fill_command.rs
food_production_sales.rs
format_weather_clothing_integration.rs
formatter.rs
fuzz_api_surface.rs
inline_type_imports.rs
integration_comprehensive.rs
integration_examples.rs
large_unless_chain.rs
linear_rule_chain_stack.rs
load_batch_wasm_planning_parity.rs
load_scaling.rs
math_ops.rs
measure_duration_arithmetic_types.rs
measure_math_ops.rs
measure_number_refactoring.rs
measure_unit_conversion.rs
measure_unit_resolution.rs
meta_fields.rs
missing_data_propagation.rs
missing_repository_row_interface_validation.rs
modulo_power.rs
multidim_unit_system.rs
nested_spec_references.rs
normalization_strict_semantics.rs
ordered_dispatch.rs
overlay_veto_as_value.rs
per_rule_missing_data.rs
plan_determinism.rs
prefilled_values_do_not_skip_branches.rs
qualified_units.rs
range_bound_constraints.rs
range_generic.rs
range_semantics_table.rs
range_span_unit_conversion.rs
ratio_complement_idiom.rs
ratio_quantity_units.rs
ratio_runtime_input.rs
ratio_type_constraints.rs
rational_bigint.rs
README.md
realworld_bug_hunt.rs
realworld_edge_cases.rs
realworld_scenarios.rs
repo_keyword.rs
repro_finance_dual_slice_registry_uses.rs
repro_named_types_panic.rs
required_data_names_nested_spec.rs
resource_limits_test.rs
response_data.rs
rule_embed_schedule.rs
rule_target_constraint_cache.rs
runtime_bad_input_veto.rs
semantic_validation.rs
show_only_rule_used_data.rs
show_suggestion_distinction.rs
show_uncommittable_bounds.rs
show_unit_constraints.rs
show_unless_last_wins_pruning.rs
show_with_bindings.rs
spec_name_repository_plan_collision.rs
spec_reference_scenarios.rs
stdlib_lemma_units.rs
symbolic_unit_arithmetic.rs
targeted_rule_evaluation.rs
temporal_api_roundtrip.rs
temporal_api_shape.rs
temporal_boundary_explosion.rs
temporal_cycle_panic.rs
temporal_interface_deep_slice.rs
temporal_range_references.rs
temporal_self_uses.rs
temporal_slicing.rs
temporal_timezone_ordering.rs
temporal_type_resolver_instant.rs
time_range.rs
timezone.rs
transactional_load_remove.rs
transitive_normalization.rs
tree_evaluator.rs
type_aware_arithmetic.rs
type_definitions.rs
type_import_temporal.rs
typed_values.rs
unified_ratio_units.rs
unit_percentage_operations.rs
unqualified_imported_type.rs
uses_lemma_compound_unit_planning.rs
validator_type_checking.rs
veto.rs
veto_status_comparison.rs
wasm_effective.rs