Safe Haskell | None |
---|---|
Language | Haskell98 |
- untyped :: DeclarationInfo -> Bool
- inferType :: [String] -> PackageDbStack -> FilePath -> Declaration -> GhcModT IO Declaration
- inferTypes :: [String] -> PackageDbStack -> Module -> GhcModT IO Module
- type GhcModT m = GmT (GmOutT m)
- infer :: [String] -> PackageDbStack -> Module -> ExceptT String IO Module
Documentation
untyped :: DeclarationInfo -> Bool Source
Is declaration untyped
inferType :: [String] -> PackageDbStack -> FilePath -> Declaration -> GhcModT IO Declaration Source
Infer type of declaration
inferTypes :: [String] -> PackageDbStack -> Module -> GhcModT IO Module Source
Infer types for module