HsDev.Tools.Ghc.Types

Documentation

data TypedExpr

Constructors

TypedExpr

Fields

• _typedExpr :: String
• _typedType :: String

Instances

Eq TypedExpr

Methods

(==) :: TypedExpr -> TypedExpr -> Bool

(/=) :: TypedExpr -> TypedExpr -> Bool

Ord TypedExpr

Methods

compare :: TypedExpr -> TypedExpr -> Ordering

(<) :: TypedExpr -> TypedExpr -> Bool

(<=) :: TypedExpr -> TypedExpr -> Bool

(>) :: TypedExpr -> TypedExpr -> Bool

(>=) :: TypedExpr -> TypedExpr -> Bool

max :: TypedExpr -> TypedExpr -> TypedExpr

min :: TypedExpr -> TypedExpr -> TypedExpr

Read TypedExpr

Methods

readsPrec :: Int -> ReadS TypedExpr

readList :: ReadS [TypedExpr]

readPrec :: ReadPrec TypedExpr

readListPrec :: ReadPrec [TypedExpr]

Show TypedExpr

Methods

showsPrec :: Int -> TypedExpr -> ShowS

show :: TypedExpr -> String

showList :: [TypedExpr] -> ShowS

FromJSON TypedExpr

Methods

parseJSON :: Value -> Parser TypedExpr

parseJSONList :: Value -> Parser [TypedExpr]

ToJSON TypedExpr

Methods

toJSON :: TypedExpr -> Value

toEncoding :: TypedExpr -> Encoding

toJSONList :: [TypedExpr] -> Value

toEncodingList :: [TypedExpr] -> Encoding

NFData TypedExpr

Methods

rnf :: TypedExpr -> ()

typedExpr :: Lens' TypedExpr String

typedType :: Lens' TypedExpr String

moduleTypes :: GhcMonad m => FilePath -> m [(SrcSpan, Type)]

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

Infer types in module