GHC.Iface.Ext.Ast

ghc-9.10.0.20240328: The GHC API

Safe Haskell | None
Language | GHC2021

GHC.Iface.Ext.Ast

Contents

- Orphan instances

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 # |
Instance details Methods getHasLoc :: DataDefnCons a -> SrcSpan Source #
HasLoc (HsDataDefn GhcRn) Source # |
Instance details Methods getHasLoc :: HsDataDefn GhcRn -> SrcSpan Source #
(HasLoc a, HiePass p) => HasLoc (FamEqn (GhcPass p) a) Source # |
Instance details Methods getHasLoc :: FamEqn (GhcPass p) a -> SrcSpan Source #
(HasLoc tm, HasLoc ty) => HasLoc (HsArg (GhcPass p) tm ty) Source # |
Instance details Methods getHasLoc :: HsArg (GhcPass p) tm ty -> SrcSpan Source #