Structs§
- Base
Values - A registry for base value types and functions on them.
- BigInt
Sort - BigRat
Sort - Rational numbers supporting these primitives:
- Bool
Sort - Boxed
- A newtype wrapper used to implement the
BaseValuetrait on types not defined in this crate. - Container
Values - EqSort
- Execution
State - A handle on a database that may be in the process of running a rule.
- F64Sort
- 64-bit floating point numbers supporting these primitives:
- Function
Container - Function
Sort - I64Sort
- Signed 64-bit integers supporting these primitives:
- MapContainer
- MapSort
- A map from a key type to a value type supporting these primitives:
- Multi
SetContainer - Multi
SetSort - Ordered
Float - A wrapper around floats providing implementations of
Eq,Ord, andHash. - Resolved
Function - SetContainer
- SetSort
- String
Sort - Unit
Sort - VecContainer
- VecSort
Enums§
Traits§
- Container
Value - A trait implemented by container types.
- Presort
- Rebuilder
- Custom functions used for tables that encode a bulk value-level rebuild of other tables.
- Sort
- A sort (type) in the e-graph that defines values in egglog. Sorts are user-extensible (e.g.,
prelude::BaseSort).