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

Language.Haskell.Liquid.WiredIn

Synopsis

Documentation

Constants for automatic proofs

dictionaryVar :: Var Source #

LH Primitive TyCons -------------------------------------------------------

combineProofsName :: String Source #

LH Primitive TyCons ----------------------------------------------

Built in symbols

isWiredIn :: LocSymbol -> Bool Source #

Horrible hack to support hardwired symbols like head, tail, fst, snd and other LH generated symbols that *do not* correspond to GHC Vars and *should not* be resolved to GHC Vars.

Deriving classes