Safe Haskell | None |
---|---|
Language | Haskell98 |
- data TypedExpr = TypedExpr {
- _typedExpr :: String
- _typedType :: String
- typedExpr :: Lens' TypedExpr String
- typedType :: Lens' TypedExpr String
- moduleTypes :: GhcMonad m => FilePath -> m [(SrcSpan, Type)]
- fileTypes :: (MonadLog m, GhcMonad m, MonadThrow m) => [String] -> PackageDbStack -> Module -> Maybe String -> m [Note TypedExpr]
- setModuleTypes :: [Note TypedExpr] -> Module -> Module
- inferTypes :: (MonadLog m, GhcMonad m, MonadThrow m) => [String] -> PackageDbStack -> Module -> Maybe String -> m Module
Documentation
fileTypes :: (MonadLog m, GhcMonad m, MonadThrow m) => [String] -> PackageDbStack -> Module -> Maybe String -> m [Note TypedExpr] Source
Get all types in module
inferTypes :: (MonadLog m, GhcMonad m, MonadThrow m) => [String] -> PackageDbStack -> Module -> Maybe String -> m Module Source
Infer types in module