Safe Haskell | None |
---|---|
Language | Haskell98 |
- propTyCon :: TyCon
- hpropTyCon :: TyCon
- propType :: Reftable r => RRType r
- maxArity :: Arity
- wiredTyCons :: [(TyCon, TyConP)]
- wiredDataCons :: [(DataCon, Located DataConP)]
- wiredTyDataCons :: ([(TyCon, TyConP)], [(DataCon, Located DataConP)])
- listTyDataCons :: ([(TyCon, TyConP)], [(DataCon, DataConP)])
- tupleTyDataCons :: Int -> ([(TyCon, TyConP)], [(DataCon, DataConP)])
- pdVarReft :: PVar t -> UReft Reft
- mkps :: [Symbol] -> [t] -> [(Symbol, Expr)] -> [PVar t]
- mkps_ :: [Symbol] -> [t] -> [(Symbol, Expr)] -> [(t, Symbol, Expr)] -> [PVar t] -> [PVar t]