liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.WiredIn

Synopsis

Documentation

pdVarReft :: PVar t -> UReft Reft Source #

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

Constants for automatic proofs

dictionaryVar :: Var Source #

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

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 #