Idris.Imports

Documentation

data IFileType

Constructors

IDR FilePath

LIDR FilePath

IBC FilePath IFileType

Instances

Eq IFileType

Show IFileType

pkgIndex :: String -> FilePath

Get the index file name for a package name

srcPath :: FilePath -> FilePath

lsrcPath :: FilePath -> FilePath

ibcPath :: FilePath -> Bool -> FilePath -> FilePath

ibcPathWithFallback :: FilePath -> FilePath -> IO FilePath

ibcPathNoFallback :: FilePath -> FilePath -> FilePath

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

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

findPkgIndex :: String -> Idris FilePath

installedPackages :: IO [String]

doesFileExist' :: FilePath -> IO Bool

doesDirectoryExist' :: FilePath -> IO Bool

caseSensitive :: (FilePath -> IO Bool) -> FilePath -> IO Bool