liquidhaskell-boot-0.9.2.5.0: Liquid Types for Haskell
Safe HaskellSafe-Inferred
LanguageHaskell98

Language.Haskell.Liquid.Bare.Axiom

Description

This module contains the code that DOES reflection; i.e. converts Haskell definitions into refinements.

Synopsis

Documentation

wiredReflects :: Config -> Env -> ModName -> GhcSpecSig -> Lookup [Var] Source #

Hardcode imported reflected functions ------------------------------------