idris-0.10: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.IBC

Synopsis

Documentation

loadIBC Source

Arguments

:: Bool

True = reexport, False = make everything private

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