Safe Haskell | None |
---|---|
Language | Haskell98 |
- propType :: Reftable r => RRType r
- propTyCon :: TyCon
- hpropTyCon :: TyCon
- 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
Documentation
propType :: Reftable r => RRType r Source
LH Primitive Types ----------------------------------------------
wiredTyCons :: [(TyCon, TyConP)] Source
wiredDataCons :: [(DataCon, Located DataConP)] Source
wiredSortedSyms :: [(Symbol, Sort)] Source
Constants for automatic proofs
LH Primitive TyCons ----------------------------------------------
combineProofsName :: String Source
LH Primitive TyCons ----------------------------------------------