liquidhaskell-0.8.10.2: Liquid Types for Haskell

Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.WiredIn

Contents

Constants for automatic proofs
Built in symbols
Deriving classes

Synopsis

wiredTyCons :: [TyConP]
wiredDataCons :: [Located DataConP]
wiredSortedSyms :: [(Symbol, Sort)]
dictionaryVar :: Var
dictionaryTyVar :: TyVar
dictionaryBind :: Bind Var
proofTyConName :: Symbol
combineProofsName :: String
isWiredIn :: LocSymbol -> Bool
isWiredInName :: Symbol -> Bool
dcPrefix :: Symbol
isDerivedInstance :: ClsInst -> Bool

Documentation

wiredTyCons :: [TyConP] Source #

wiredDataCons :: [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 :: 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.

isWiredInName :: Symbol -> Bool Source #

dcPrefix :: Symbol Source #

Deriving classes

isDerivedInstance :: ClsInst -> Bool Source #