HsDev.Tools.Ghc.Types

Documentation

data TypedExpr

Constructors

TypedExpr

Fields

_typedExpr :: String

_typedType :: String

Instances

Eq TypedExpr

Ord TypedExpr

Read TypedExpr

Show TypedExpr

ToJSON TypedExpr

FromJSON TypedExpr

NFData TypedExpr

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]

Get all types in module

setModuleTypes :: [Note TypedExpr] -> Module -> Module

Set types to module

inferTypes :: [String] -> Cabal -> Module -> Maybe String -> ExceptT String Ghc Module

Infer types in module