License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe-Inferred |
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
findImport :: [FilePath] -> FilePath -> FilePath -> Idris IFileType Source #
findInPath :: [FilePath] -> FilePath -> IO FilePath Source #
findPkgIndex :: PkgName -> Idris FilePath Source #
ibcPathNoFallback :: FilePath -> FilePath -> FilePath Source #
installedPackages :: IO [String] Source #