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 :: [String] -> Cabal -> Module -> Maybe String -> ExceptT String Ghc [Note TypedExpr]
- setModuleTypes :: [Note TypedExpr] -> Module -> Module
- inferTypes :: [String] -> Cabal -> Module -> Maybe String -> ExceptT String Ghc Module