Safe Haskell	None
Language	Haskell2010

GHC.Iface.Ext.Binary

Synopsis

readHieFile :: NameCacheUpdater -> FilePath -> IO HieFileResult
readHieFileWithVersion :: (HieHeader -> Bool) -> NameCacheUpdater -> FilePath -> IO (Either HieHeader HieFileResult)
type HieHeader = (Integer, ByteString)
writeHieFile :: FilePath -> HieFile -> IO ()
data HieName
- = ExternalName !Module !OccName !SrcSpan
- | LocalName !OccName !SrcSpan
- | KnownKeyName !Unique
toHieName :: Name -> HieName
data HieFileResult = HieFileResult {
}
hieMagic :: [Word8]
hieNameOcc :: HieName -> OccName
newtype NameCacheUpdater = NCU {
- updateNameCache :: forall c. (NameCache -> (NameCache, c)) -> IO c
}

Documentation

readHieFile :: NameCacheUpdater -> FilePath -> IO HieFileResult Source #

Read a HieFile from a FilePath. Can use an existing NameCache.

readHieFileWithVersion :: (HieHeader -> Bool) -> NameCacheUpdater -> FilePath -> IO (Either HieHeader HieFileResult) Source #

Read a HieFile from a FilePath. Can use an existing NameCache. Allows you to specify which versions of hieFile to attempt to read. Left case returns the failing header versions.

type HieHeader = (Integer, ByteString) Source #

writeHieFile :: FilePath -> HieFile -> IO () Source #

Write a HieFile to the given FilePath, with a proper header and symbol tables for Names and FastStrings

data HieName Source #

Name's get converted into HieName's before being written into .hie files. See toHieName and fromHieName for logic on how to convert between these two types.

Constructors

ExternalName !Module !OccName !SrcSpan
LocalName !OccName !SrcSpan
KnownKeyName !Unique

Instances

Instances details

Eq HieName #
Instance details Defined in GHC.Iface.Ext.Types Methods (==) :: HieName -> HieName -> Bool # (/=) :: HieName -> HieName -> Bool #
Ord HieName #
Instance details Defined in GHC.Iface.Ext.Types Methods compare :: HieName -> HieName -> Ordering # (<) :: HieName -> HieName -> Bool # (<=) :: HieName -> HieName -> Bool # (>) :: HieName -> HieName -> Bool # (>=) :: HieName -> HieName -> Bool # max :: HieName -> HieName -> HieName # min :: HieName -> HieName -> HieName #
Outputable HieName #
Instance details Defined in GHC.Iface.Ext.Types Methods ppr :: HieName -> SDoc Source # pprPrec :: Rational -> HieName -> SDoc Source #

toHieName :: Name -> HieName Source #

data HieFileResult Source #

Constructors

HieFileResult
Fields hie_file_result_version :: Integer hie_file_result_ghc_version :: ByteString hie_file_result :: HieFile

hieMagic :: [Word8] Source #

The header for HIE files - Capital ASCII letters "HIE".

hieNameOcc :: HieName -> OccName Source #

newtype NameCacheUpdater Source #

A function that atomically updates the name cache given a modifier function. The second result of the modifier function will be the result of the IO action.

Constructors

NCU
Fields updateNameCache :: forall c. (NameCache -> (NameCache, c)) -> IO c