License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe-Inferred |
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
- = IBC_Building
- | IBC_REPL Bool
- getIBCHash :: FilePath -> Idris Int
- getImportHashes :: FilePath -> Idris [(FilePath, Int)]
Documentation
loadPkgIndex :: PkgName -> Idris () #
Load an entire package from its index file
writePkgIndex :: FilePath -> Idris () #
Write a package index containing all the imports in the current IState Used for ':search' of an entire package, to ensure everything is loaded.
hasValidIBCVersion :: FilePath -> Idris Bool #
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 |
getIBCHash :: FilePath -> Idris Int #
getImportHashes :: FilePath -> Idris [(FilePath, Int)] #
Orphan instances
Binary CodeAttr # | |
Binary ListType # | |
Binary NumWrapper # | |
Binary Options # | |
Binary ArgOpt # | |
Binary CGInfo # | |
Binary DefaultTotality # | |
Binary Directive # | |
Binary FixDecl # | |
Binary Fixity # | |
Binary FnInfo # | |
Binary FnOpt # | |
Binary InterfaceInfo # | |
Binary OptInfo # | |
Binary PAltType # | |
Binary PTerm # | |
Binary Plicity # | |
Binary PunInfo # | |
Binary RecordInfo # | |
Binary SSymbol # | |
Binary SizeChange # | |
Binary Static # | |
Binary SynContext # | |
Binary Syntax # | |
Binary SyntaxInfo # | |
Binary Using # | |
Binary CaseAlt # | |
Binary CaseType # | |
Binary SC # | |
Binary Accessibility # | |
Binary CaseDefs # | |
Binary CaseInfo # | |
Binary Def # | |
Binary MetaInformation # | |
Binary PReason # | |
Binary Totality # | |
Binary DataOpt # | |
Binary TypeInfo # | |
Binary DocTerm # | |
Binary Codegen # | |
Binary IRFormat # | |
Binary LanguageExt # | |
Binary t => Binary (DSL' t) # | |
Binary t => Binary (PArg' t) # | |
Binary t => Binary (PClause' t) # | |
Binary t => Binary (PData' t) # | |
Binary t => Binary (PDecl' t) # | |
Binary t => Binary (PDo' t) # | |
Binary t => Binary (PTactic' t) # | |
Binary t => Binary (ProvideWhat' t) # | |
Binary a => Binary (Block a) # | |
Binary a => Binary (Docstring a) # | |
Binary a => Binary (Inline a) # | |