Package0.4.1
vortex-shell
The effect kernel
- Version0.4.1
- LicenceBSD-3-Clause
- AuthorHorizon Haskell
- Maintainerlocallycompact@gmail.com
- Pinned byhackage vortex-shell 0.4.1
- Sourcehackage.haskell.org/package/vortex-shell-0.4.1
Modules
3 modules- Vortex.Shell8The kernel: an Evaluator is trace . meter . fold . elaborate.
- Vortex.Shell.Block2How a session's bindings reach the elaborator: wrapBindings puts
- Vortex.Shell.Reflect2Reading a type hint reflects from a scope: the type as a wisp writes
Description
Pairs a theory with a wisp-indexed model and composes the four arrows: elaborate, fold, meter, trace. An Evaluator (cold or warm) is the composite and evalStatement adds session bindings; handleSession drives it over any transport's Session; repl drives it over a tty. Deliberately ignorant of polysemy (the existential f is the firewall), of hint (hidden behind vortex-elab), and of every transport.
Depends on
7 packages- base-4.22.0.0with GHC
- haskeline-0.8.3.0with GHC
- vortex-call-0.1.1.0in this set
- vortex-elab-0.2.2in this set
- vortex-run-0.2.2in this set
- vortex-session-0.3.0in this set
- vortex-trace-0.4.1in this set