Safe Haskell | None |
---|---|
Language | Haskell2010 |
- prelude :: String -> HsId a
- tipDSL :: String -> HsId a
- quickCheck :: String -> HsId a
- quickCheckUnsafe :: String -> HsId a
- quickCheckAll :: String -> HsId a
- quickSpec :: String -> HsId a
- feat :: String -> HsId a
- typeable :: String -> HsId a
- data HsId a
- addHeader :: Decls a -> Decls a
- addImports :: Ord a => Decls (HsId a) -> Decls (HsId a)
- trTheory :: (Ord a, PrettyVar a) => Theory a -> Decls (HsId a)
- data Kind
- theorySigs :: Theory (HsId a) -> [HsId a]
- ufInfo :: Theory (HsId a) -> (Bool, [Type (HsId a)])
- trTheory' :: forall a b. (a ~ HsId b, Ord b, PrettyVar b) => Theory a -> Decls a
- arbitrary :: [Type (HsId a)] -> [Type (HsId a)]
- trType :: (a ~ HsId b) => Type a -> Type a
- trBuiltinType :: BuiltinType -> Type (HsId a)
- withBool :: (a ~ HsId b) => (a -> [c] -> d) -> Bool -> d
- hsBuiltinTys :: [(BuiltinType, String)]
- hsBuiltins :: [(Builtin, String)]
- typeOfBuiltin :: Builtin -> Type a
- makeSig :: forall a. (PrettyVar a, Ord a) => Theory (HsId a) -> Decl (HsId a)
- theoryBuiltins :: Ord a => Theory a -> [Builtin]
Documentation
quickCheck :: String -> HsId a Source
quickCheckUnsafe :: String -> HsId a Source
quickCheckAll :: String -> HsId a Source
theorySigs :: Theory (HsId a) -> [HsId a] Source
trBuiltinType :: BuiltinType -> Type (HsId a) Source
Builtins
hsBuiltinTys :: [(BuiltinType, String)] Source
hsBuiltins :: [(Builtin, String)] Source
typeOfBuiltin :: Builtin -> Type a Source
QuickSpec signatures
theoryBuiltins :: Ord a => Theory a -> [Builtin] Source