Safe Haskell | None |
---|---|
Language | Haskell98 |
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
TypedExpr | |
|
Instances
Eq TypedExpr Source # | |
Ord TypedExpr Source # | |
Defined in HsDev.Tools.Ghc.Types | |
Read TypedExpr Source # | |
Show TypedExpr Source # | |
NFData TypedExpr Source # | |
Defined in HsDev.Tools.Ghc.Types | |
ToJSON TypedExpr Source # | |
Defined in HsDev.Tools.Ghc.Types | |
FromJSON TypedExpr Source # | |
FromRow TypedExpr Source # | |
Defined in HsDev.Database.SQLite.Instances | |
ToRow TypedExpr Source # | |
Defined in HsDev.Database.SQLite.Instances |