Module semantic

Structs§

DateTimeValue: A datetime value that preserves timezone information
Expression: An expression that can be evaluated, with source location
FactPath: A resolved path to a fact, with document traversal segments
FactReference: Reference to a fact (resolved from Reference during planning)
LemmaDoc: A Lemma document containing facts and rules
LemmaFact
LemmaRule: A rule with a single expression and optional unless clauses
LemmaType: A fully resolved type used during evaluation
LiteralValue: A literal value with its type
PathSegment: A single segment in a path traversal
Reference: Unresolved reference from parser
RulePath: A resolved path to a rule, with document traversal segments
RuleReference: Reference to a rule
TimeValue: A time value
TimezoneValue: A timezone value
Unit: A unit for Number and Ratio types
UnlessClause: An unless clause that provides an alternative result
VetoExpression: A veto expression that prohibits any valid verdict from the rule

ArithmeticComputation: Arithmetic computations
BooleanValue: A type for type declarations Boolean value with original input preserved
ComparisonComputation: Comparison computations
ConversionTarget: The target unit for unit conversion expressions
DurationUnit
ExpressionKind: The kind/type of expression
FactValue
LogicalComputation: Logical computations
MathematicalComputation: Mathematical computations
NegationType: Types of logical negation
TypeDef: User-defined type as it appears in the source (AST)
TypeSpecification: Type specifications that define the foundational types available in Lemma, including their default values and constraints.
Value: The actual value data (without type information)