idris-0.10.2: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.Imports

Synopsis

Documentation

data IFileType Source

Constructors

IDR FilePath 
LIDR FilePath 
IBC FilePath IFileType 

Instances

findImport :: [FilePath] -> FilePath -> FilePath -> Idris IFileType Source

findInPath :: [FilePath] -> FilePath -> IO FilePath Source

findPkgIndex :: String -> Idris FilePath Source

ibcPathNoFallback :: FilePath -> FilePath -> FilePath Source

installedPackages :: IO [String] Source

pkgIndex :: String -> FilePath Source

Get the index file name for a package name