Safe Haskell | None |
---|---|
Language | Haskell98 |
- checkTypeOfMain :: QName -> Type -> TCM [Decl] -> TCM [Decl]
- importsForPrim :: TCM [ModuleName]
- declsForPrim :: TCM [Decl]
- mazNatToInteger :: String
- mazIntegerToNat :: String
- mazNatToInt :: String
- mazIntToNat :: String
- mazCharToInteger :: String
- mazListToHList :: String
- mazHListToList :: String
- mazListToString :: String
- mazStringToList :: String
- mazBoolToHBool :: String
- mazHBoolToBool :: String
- xForPrim :: [(String, TCM [a])] -> TCM [a]
- primBody :: String -> TCM Exp
- repl :: [String] -> String -> String
- pconName :: String -> TCM String
- hasCompiledData :: [String] -> TCM Bool
- bltQual' :: String -> String -> TCM String
Documentation
checkTypeOfMain :: QName -> Type -> TCM [Decl] -> TCM [Decl] Source
Check that the main function has type IO a, for some a.
importsForPrim :: TCM [ModuleName] Source
declsForPrim :: TCM [Decl] Source
hasCompiledData :: [String] -> TCM Bool Source