| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Development.IDE.GHC.CoreFile
Description
CoreFiles let us serialize Core to a file in order to later recover it without reparsing or retypechecking
Synopsis
- data CoreFile = CoreFile {
- cf_bindings :: [TopIfaceBinding IfaceId]
- cf_iface_hash :: !Fingerprint
- codeGutsToCoreFile :: Fingerprint -> CgGuts -> CoreFile
- typecheckCoreFile :: Module -> IORef TypeEnv -> CoreFile -> IfG CoreProgram
- readBinCoreFile :: NameCacheUpdater -> FilePath -> IO (CoreFile, Fingerprint)
- writeBinCoreFile :: FilePath -> CoreFile -> IO Fingerprint
- getImplicitBinds :: TyCon -> [CoreBind]
- occNamePrefixes :: [Text]
Documentation
Constructors
| CoreFile | |
Fields
| |
Arguments
| :: Fingerprint | Hash of the interface this was generated from |
| -> CgGuts | |
| -> CoreFile |
typecheckCoreFile :: Module -> IORef TypeEnv -> CoreFile -> IfG CoreProgram Source #
readBinCoreFile :: NameCacheUpdater -> FilePath -> IO (CoreFile, Fingerprint) Source #
writeBinCoreFile :: FilePath -> CoreFile -> IO Fingerprint Source #
Write a core file
getImplicitBinds :: TyCon -> [CoreBind] Source #
occNamePrefixes :: [Text] Source #
Prefixes that can occur in a GHC OccName