Idris.Imports

Synopsis

• data IFileType
  • = IDR FilePath
  • | LIDR FilePath
  • | IBC FilePath IFileType
• pkgIndex :: String -> FilePath
• 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

Documentation