Structs§
- Date
Time Value - A datetime value that preserves timezone information
- Expression
- An expression that can be evaluated, with source location and unique ID
- Fact
Reference - Reference to a fact
- Foreign
Fact - A fact that references another document
- Lemma
Doc - A Lemma document containing facts, rules
- Lemma
Fact - Lemma
Rule - A rule with a single expression and optional unless clauses
- Rule
Reference - Reference to a rule
- Time
Value - A time value
- Timezone
Value - A timezone value
- Unless
Clause - An unless clause that provides an alternative result
- Veto
Expression - A veto expression that prohibits any valid verdict from the rule
Enums§
- Arithmetic
Operation - Arithmetic operations
- Comparison
Operator - Comparison operators
- Conversion
Target - The target unit for unit conversion expressions
- Data
Unit - Duration
Unit - Energy
Unit - Expression
Kind - The kind/type of expression
- Fact
Type - Fact
Value - Force
Unit - Frequency
Unit - Lemma
Type - A type for type annotations (both literal types and document types)
- Length
Unit - Literal
Value - A literal value
- Mass
Unit - Mathematical
Operator - Mathematical operators
- Money
Unit - Negation
Type - Types of logical negation
- Numeric
Unit - A unified type for all numeric units (physical quantities and money)
- Power
Unit - Pressure
Unit - Temperature
Unit - Type
Annotation - Volume
Unit