Safe Haskell	None
Language	Haskell2010

HsDev.Tools.Ghc.Types

Synopsis

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

Documentation

data TypedExpr Source #

Constructors

TypedExpr
Fields _typedExpr :: Maybe Text _typedType :: Text

Instances

Instances details

Eq TypedExpr Source #
Instance details Defined in HsDev.Tools.Ghc.Types Methods (==) :: TypedExpr -> TypedExpr -> Bool # (/=) :: TypedExpr -> TypedExpr -> Bool #
Ord TypedExpr Source #
Instance details Defined in HsDev.Tools.Ghc.Types 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 Source #
Instance details Defined in HsDev.Tools.Ghc.Types Methods readsPrec :: Int -> ReadS TypedExpr # readList :: ReadS [TypedExpr] # readPrec :: ReadPrec TypedExpr # readListPrec :: ReadPrec [TypedExpr] #
Show TypedExpr Source #
Instance details Defined in HsDev.Tools.Ghc.Types Methods showsPrec :: Int -> TypedExpr -> ShowS # show :: TypedExpr -> String # showList :: [TypedExpr] -> ShowS #
NFData TypedExpr Source #
Instance details Defined in HsDev.Tools.Ghc.Types Methods rnf :: TypedExpr -> () #
ToJSON TypedExpr Source #
Instance details Defined in HsDev.Tools.Ghc.Types Methods toJSON :: TypedExpr -> Value # toEncoding :: TypedExpr -> Encoding # toJSONList :: [TypedExpr] -> Value # toEncodingList :: [TypedExpr] -> Encoding #
FromJSON TypedExpr Source #
Instance details Defined in HsDev.Tools.Ghc.Types Methods parseJSON :: Value -> Parser TypedExpr # parseJSONList :: Value -> Parser [TypedExpr] #
FromRow TypedExpr Source #
Instance details Defined in HsDev.Database.SQLite.Instances Methods fromRow :: RowParser TypedExpr #
ToRow TypedExpr Source #
Instance details Defined in HsDev.Database.SQLite.Instances Methods toRow :: TypedExpr -> [SQLData] #

typedExpr :: Lens' TypedExpr (Maybe Text) Source #

typedType :: Lens' TypedExpr Text Source #

moduleTypes :: (MonadFail m, GhcMonad m) => Path -> m [(SrcSpan, Type)] Source #

fileTypes :: (MonadLog m, MonadFail m, GhcMonad m) => Module -> Maybe Text -> m [Note TypedExpr] Source #

Get all types in module

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

Set types to module

inferTypes :: (MonadLog m, MonadFail m, GhcMonad m) => Module -> Maybe Text -> m Module Source #

Infer types in module