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 :: (MonadLog m, GhcMonad m, MonadThrow m) => [String] -> PackageDbStack -> Module -> Maybe String -> m [Note TypedExpr]

Get all types in module

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

Set types to module

inferTypes :: (MonadLog m, GhcMonad m, MonadThrow m) => [String] -> PackageDbStack -> Module -> Maybe String -> m Module

Infer types in module