BinIface

Binary interface file support.

Public API for interface file serialisation

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

Write an interface file

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

Read an interface file

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

getDictFastString :: Dictionary -> BinHandle -> IO FastString

data CheckHiWay

Constructors

CheckHiWay

IgnoreHiWay

Instances

Eq CheckHiWay

Defined in BinIface

Methods

(==) :: CheckHiWay -> CheckHiWay -> Bool

(/=) :: CheckHiWay -> CheckHiWay -> Bool

data TraceBinIFaceReading

Constructors

TraceBinIFaceReading

QuietBinIFaceReading

Instances

Eq TraceBinIFaceReading

Defined in BinIface

Methods

(==) :: TraceBinIFaceReading -> TraceBinIFaceReading -> Bool

(/=) :: TraceBinIFaceReading -> TraceBinIFaceReading -> Bool

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

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 ()

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.

Internal serialisation functions

getSymbolTable :: BinHandle -> NameCacheUpdater -> IO SymbolTable

putName :: BinDictionary -> BinSymbolTable -> BinHandle -> Name -> IO ()

putDictionary :: BinHandle -> Int -> UniqFM (Int, FastString) -> IO ()

putFastString :: BinDictionary -> BinHandle -> FastString -> IO ()

putSymbolTable :: BinHandle -> Int -> UniqFM (Int, Name) -> IO ()

data BinSymbolTable

Constructors

BinSymbolTable

Fields

• bin_symtab_next :: !FastMutInt
• bin_symtab_map :: !(IORef (UniqFM (Int, Name)))

data BinDictionary

Constructors

BinDictionary

Fields

• bin_dict_next :: !FastMutInt
• bin_dict_map :: !(IORef (UniqFM (Int, FastString)))