| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Bare.Axiom
Description
This module contains the code that DOES reflection; i.e. converts Haskell definitions into refinements.
Synopsis
- makeHaskellAxioms :: Config -> GhcSrc -> Env -> TycEnv -> ModName -> LogicMap -> GhcSpecSig -> BareSpec -> [(Var, LocSpecType, Equation)]
- wiredReflects :: Config -> Env -> ModName -> GhcSpecSig -> [Var]
Documentation
makeHaskellAxioms :: Config -> GhcSrc -> Env -> TycEnv -> ModName -> LogicMap -> GhcSpecSig -> BareSpec -> [(Var, LocSpecType, Equation)] Source #
wiredReflects :: Config -> Env -> ModName -> GhcSpecSig -> [Var] Source #
Hardcode imported reflected functions ------------------------------------