| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.WiredIn
- pdVarReft :: PVar t -> UReft Reft
- wiredTyCons :: [(TyCon, TyConP)]
- wiredDataCons :: [(DataCon, Located DataConP)]
- wiredSortedSyms :: [(Symbol, Sort)]
- dictionaryVar :: Var
- dictionaryTyVar :: TyVar
- dictionaryBind :: Bind Var
- proofTyConName :: Symbol
- combineProofsName :: String
- isWiredIn :: Located Symbol -> Bool
- dcPrefix :: Symbol
Documentation
wiredTyCons :: [(TyCon, TyConP)] Source #
wiredSortedSyms :: [(Symbol, Sort)] Source #
Constants for automatic proofs
dictionaryVar :: Var Source #
LH Primitive TyCons -------------------------------------------------------
dictionaryBind :: Bind Var Source #
proofTyConName :: Symbol Source #
combineProofsName :: String Source #
LH Primitive TyCons ----------------------------------------------
Built in Symbols