| License | BSD3 |
|---|---|
| Maintainer | The Idris Community. |
| Safe Haskell | None |
| Language | Haskell2010 |
Idris.Imports
Description
Synopsis
- data 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
Instances
| Eq IFileType # | |
| Ord IFileType # | |
| Show IFileType # | |
findPkgIndex :: PkgName -> Idris FilePath #
ibcPathNoFallback :: FilePath -> FilePath -> FilePath #
installedPackages :: IO [String] #