Safe Haskell | None |
---|---|
Language | Haskell98 |
- data TypedExpr = TypedExpr {
- _typedExpr :: Maybe Text
- _typedType :: Text
- typedExpr :: Lens' TypedExpr (Maybe Text)
- typedType :: Lens' TypedExpr Text
- moduleTypes :: GhcMonad m => Path -> m [(SrcSpan, Type)]
- fileTypes :: (MonadLog m, GhcMonad m) => Module -> Maybe Text -> m [Note TypedExpr]
- setModuleTypes :: [Note TypedExpr] -> Module -> Module
- inferTypes :: (MonadLog m, GhcMonad m) => Module -> Maybe Text -> m Module