idris-0.11: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.IBC

Synopsis

Documentation

loadIBC Source

Arguments

:: Bool

True = reexport, False = make everything private

-> IBCPhase 
-> FilePath 
-> Idris () 

loadPkgIndex :: String -> Idris () Source

Load an entire package from its index file

writeIBC :: FilePath -> FilePath -> Idris () Source

writePkgIndex :: FilePath -> Idris () Source

hasValidIBCVersion :: FilePath -> Idris Bool Source

data IBCPhase Source

Constructors

IBC_Building

when building the module tree

IBC_REPL Bool

when loading modules for the REPL Bool = True for top level module

Instances