| Safe Haskell | Ignore |
|---|---|
| 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] -> (HieASTs TypeIndex, Array TypeIndex HieTypeFlat)
- enrichHie :: TypecheckedSource -> RenamedSource -> Bag EvBind -> [ClsInst] -> [TyCon] -> HieASTs Type
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] -> (HieASTs TypeIndex, Array TypeIndex HieTypeFlat) Source #
enrichHie :: TypecheckedSource -> RenamedSource -> Bag EvBind -> [ClsInst] -> [TyCon] -> HieASTs Type Source #
Orphan instances
| HasLoc a => HasLoc (DataDefnCons a) Source # | |
Methods getHasLoc :: DataDefnCons a -> SrcSpan # | |
| HasLoc (HsDataDefn GhcRn) Source # | |
Methods getHasLoc :: HsDataDefn GhcRn -> SrcSpan # | |
| (HasLoc a, HiePass p) => HasLoc (FamEqn (GhcPass p) a) Source # | |
| (HasLoc tm, HasLoc ty) => HasLoc (HsArg (GhcPass p) tm ty) Source # | |