Module computation
Expand description
Various kinds of computations.
Structs§
- Compare
Result - Result of a
PreparedComparisoncomparison. - Computation
Ref - The computation type shared between
SynthesizedComputation,ExprComputationandExpressionComputation. - Expr
Computation - A computation using an
Expr. The result of theExpris interpreted using an output encoding. - Expression
Computation - A computation using an
Expression. The arguments for theExpressionare pre-processed, and he result of theExpressionis interpreted using an output encoding. - Prepared
Comparison - A prepared comparison to an output value.
Comparison is quicker, because we can directly compare against an
i128instead of having to decode aValue. - Synthesized
Computation - A synthesized computation.
Enums§
- Arg
- An argrument for an expression.
- ArgEncoding
- The encoding of an input argument passed to an expression.
- Output
Encoding - The output encoding of an expression.
Traits§
- AsComputation
Ref - Provides generic methods that work on references to computations.