| License | BSD3 |
|---|---|
| Maintainer | The Idris Community. |
| Safe Haskell | None |
| Language | Haskell2010 |
Idris.IBC
Contents
Description
Synopsis
- loadIBC :: Bool -> IBCPhase -> FilePath -> Idris ()
- loadPkgIndex :: PkgName -> Idris ()
- writeIBC :: FilePath -> FilePath -> Idris ()
- writePkgIndex :: FilePath -> Idris ()
- hasValidIBCVersion :: FilePath -> Idris Bool
- data IBCPhase
- getIBCHash :: FilePath -> Idris Int
- getImportHashes :: FilePath -> Idris [(FilePath, Int)]
Documentation
loadPkgIndex :: PkgName -> Idris () Source #
Load an entire package from its index file
writePkgIndex :: FilePath -> Idris () Source #
Write a package index containing all the imports in the current IState Used for ':search' of an entire package, to ensure everything is loaded.
When IBC is being loaded - we'll load different things (and omit different structures/definitions) depending on which phase we're in.
Constructors
| IBC_Building | when building the module tree |
| IBC_REPL Bool | when loading modules for the REPL Bool = True for top level module |