Idris.Imports

Description

Synopsis

• data IFileType
  • = IDR FilePath
  • | LIDR FilePath
  • | IBC FilePath IFileType
• findIBC :: [FilePath] -> FilePath -> FilePath -> Idris (Maybe FilePath)
• findImport :: [FilePath] -> FilePath -> FilePath -> Idris IFileType
• findInPath :: [FilePath] -> FilePath -> IO FilePath
• findPkgIndex :: PkgName -> Idris FilePath
• ibcPathNoFallback :: FilePath -> FilePath -> FilePath
• installedPackages :: IO [String]
• pkgIndex :: PkgName -> FilePath
• data PkgName
• pkgName :: String -> Either String PkgName
• unPkgName :: PkgName -> String
• unInitializedPkgName :: PkgName

Documentation