Safe Haskell	None
Language	Haskell2010

BinIface

Description

Binary interface file support.

Synopsis

writeBinIface :: DynFlags -> FilePath -> ModIface -> IO ()
readBinIface :: CheckHiWay -> TraceBinIFaceReading -> FilePath -> TcRnIf a b ModIface
getSymtabName :: NameCacheUpdater -> Dictionary -> SymbolTable -> BinHandle -> IO Name
getDictFastString :: Dictionary -> BinHandle -> IO FastString
data CheckHiWay
- = CheckHiWay
- | IgnoreHiWay
data TraceBinIFaceReading
- = TraceBinIFaceReading
- | QuietBinIFaceReading
getWithUserData :: Binary a => NameCacheUpdater -> BinHandle -> IO a
putWithUserData :: Binary a => (SDoc -> IO ()) -> BinHandle -> a -> IO ()

Documentation

writeBinIface :: DynFlags -> FilePath -> ModIface -> IO () Source #

Write an interface file

readBinIface :: CheckHiWay -> TraceBinIFaceReading -> FilePath -> TcRnIf a b ModIface Source #

Read an interface file

getSymtabName :: NameCacheUpdater -> Dictionary -> SymbolTable -> BinHandle -> IO Name Source #

getDictFastString :: Dictionary -> BinHandle -> IO FastString Source #

data CheckHiWay Source #

Constructors

CheckHiWay
IgnoreHiWay

Instances

Instances details

Eq CheckHiWay Source #
Instance details Defined in BinIface Methods (==) :: CheckHiWay -> CheckHiWay -> Bool # (/=) :: CheckHiWay -> CheckHiWay -> Bool #

data TraceBinIFaceReading Source #

Constructors

TraceBinIFaceReading
QuietBinIFaceReading

Instances

Instances details

Eq TraceBinIFaceReading Source #
Instance details Defined in BinIface Methods (==) :: TraceBinIFaceReading -> TraceBinIFaceReading -> Bool # (/=) :: TraceBinIFaceReading -> TraceBinIFaceReading -> Bool #

getWithUserData :: Binary a => NameCacheUpdater -> BinHandle -> IO a Source #

This performs a get action after reading the dictionary and symbol table. It is necessary to run this before trying to deserialise any Names or FastStrings.

putWithUserData :: Binary a => (SDoc -> IO ()) -> BinHandle -> a -> IO () Source #

Put a piece of data with an initialised UserData field. This is necessary if you want to serialise Names or FastStrings. It also writes a symbol table and the dictionary. This segment should be read using getWithUserData.