Idris.Imports

Synopsis

• data IFileType
  • = IDR FilePath
  • | LIDR FilePath
  • | IBC FilePath IFileType
• findImport :: [FilePath] -> FilePath -> FilePath -> Idris IFileType
• findInPath :: [FilePath] -> FilePath -> IO FilePath
• findPkgIndex :: String -> Idris FilePath
• ibcPathNoFallback :: FilePath -> FilePath -> FilePath
• installedPackages :: IO [String]
• pkgIndex :: String -> FilePath

Documentation