Expand description
High-level runtime for compiling and executing Haskell source via Tidepool.
Provides compile_haskell (source to Core) and compile_and_run (source to
evaluated result), with filesystem caching of compiled CBOR artifacts.
Structs§
- Eval
Result - Opaque result of evaluating a Haskell expression.
Bundles the computed
Valuewith theDataConTableneeded to render constructor names.
Enums§
- Compile
Error - Errors that can occur during Haskell compilation.
- JitError
- Error type for JIT compilation/execution failures.
- Runtime
Error - Unified error type for compile + run pipeline.
- Value
- Runtime value for the tree-walking interpreter.
Traits§
- Dispatch
Effect - Tag-based effect dispatch over an HList of handlers.
Functions§
- compile_
and_ run - Compile Haskell source and run it with the given effect handlers, using the default nursery size (64 MiB).
- compile_
and_ run_ pure - Compile Haskell source and run it as a pure (non-effectful) program.
- compile_
and_ run_ with_ nursery_ size - Compile Haskell source and run it with the given effect handlers, using the specified nursery size.
- compile_
haskell - Compiles Haskell source code to Tidepool Core at runtime.
- drain_
diagnostics - Drain all accumulated diagnostics.
- push_
diagnostic - Push a diagnostic message to the thread-local buffer.
- value_
to_ json - Convert a tidepool Value to serde_json::Value using the DataConTable for constructor names.
Type Aliases§
- Compile
Result - Result of successful Haskell compilation: a Core expression, DataCon metadata, and warnings.