| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
GHC.Iface.Ext.Ast
Contents
Synopsis
- mkHieFile :: MonadIO m => ModSummary -> TcGblEnv -> RenamedSource -> m HieFile
- mkHieFileWithSource :: FilePath -> ByteString -> ModSummary -> TcGblEnv -> RenamedSource -> HieFile
- getCompressedAsts :: TypecheckedSource -> RenamedSource -> Bag EvBind -> [ClsInst] -> [TyCon] -> TypeEnv -> (HieASTs TypeIndex, Array TypeIndex HieTypeFlat, NameEntityInfo)
- enrichHie :: TypecheckedSource -> RenamedSource -> Bag EvBind -> [ClsInst] -> [TyCon] -> TypeEnv -> (HieASTs Type, NameEntityInfo)
Documentation
mkHieFile :: MonadIO m => ModSummary -> TcGblEnv -> RenamedSource -> m HieFile Source #
Construct an HieFile from the outputs of the typechecker.
mkHieFileWithSource :: FilePath -> ByteString -> ModSummary -> TcGblEnv -> RenamedSource -> HieFile Source #
Construct an HieFile from the outputs of the typechecker but don't
read the source file again from disk.
getCompressedAsts :: TypecheckedSource -> RenamedSource -> Bag EvBind -> [ClsInst] -> [TyCon] -> TypeEnv -> (HieASTs TypeIndex, Array TypeIndex HieTypeFlat, NameEntityInfo) Source #
enrichHie :: TypecheckedSource -> RenamedSource -> Bag EvBind -> [ClsInst] -> [TyCon] -> TypeEnv -> (HieASTs Type, NameEntityInfo) Source #