| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.WiredIn
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] #
wiredDataCons :: [Located DataConP] #
wiredSortedSyms :: [(Symbol, Sort)] #
Constants for automatic proofs
dictionaryVar :: Var #
LH Primitive TyCons -------------------------------------------------------
dictionaryBind :: Bind Var #
proofTyConName :: Symbol #
LH Primitive TyCons ----------------------------------------------
Built in symbols
isWiredInName :: Symbol -> Bool #
Deriving classes
isDerivedInstance :: ClsInst -> Bool #