HORIZON HASKELLDocslts/ghc-9.14.x6d5fdfd2026-10-12Search packagesCtrl K
Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 6d5fdfd · 2026-10-12

Package0.2.2

vortex-elab

Elaboration - untrusted source to typed term

  • Version0.2.2
  • LicenceBSD-3-Clause
  • AuthorHorizon Haskell
  • Maintainerlocallycompact@gmail.com
  • Pinned byhackage vortex-elab 0.2.2
  • Sourcevortex-elab-0.2.2 on Hackage

Modules

  • Vortex.ElabTwo flavours: elabAs/elabShow boot a fresh GHC session per call
  • Vortex.Elab.BlockReading a flat vortex file as a do block. A .vx file (or a

Description

The GHC oracle: a partial map from free-form source into the typed term algebra, at a type the caller fixes. hint appears here and only here; swap this package to change the oracle. Compile fuel lives here too, since the wisp controls the source text and type checking is not guaranteed to terminate.

Depends on

4 packages

Used by in this set · 2