Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.WiredIn

Synopsis

Documentation

wiredTyCons :: [(TyCon, TyConP)] Source #

wiredDataCons :: [(DataCon, Located DataConP)] Source #

wiredSortedSyms :: [(Symbol, Sort)] Source #

Constants for automatic proofs

dictionaryVar :: Var Source #

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

dictionaryTyVar :: TyVar Source #

dictionaryBind :: Bind Var Source #

proofTyConName :: Symbol Source #

combineProofsName :: String Source #

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

Built in Symbols

isWiredIn :: Located Symbol -> 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.

dcPrefix :: Symbol Source #