Language.Haskell.Liquid.WiredIn

Documentation

wiredTyCons :: [TyConP]

wiredDataCons :: [Located DataConP]

wiredSortedSyms :: [(Symbol, Sort)]

Constants for automatic proofs

dictionaryVar :: Var

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

dictionaryTyVar :: TyVar

dictionaryBind :: Bind Var

proofTyConName :: Symbol

combineProofsName :: String

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

Built in symbols

isWiredIn :: LocSymbol -> Bool

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.

isWiredInName :: Symbol -> Bool

dcPrefix :: Symbol

Deriving classes

isDerivedInstance :: ClsInst -> Bool