Idris.Imports

idris-1.3.4: Functional Programming Language with Dependent Types

License | BSD3
Maintainer | The Idris Community.
Safe Haskell | None
Language | Haskell2010

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

data IFileType #

Constructors

IDR FilePath |
LIDR FilePath |
IBC FilePath IFileType |

#### Instances

Instances details

Show IFileType # |
Instance details Defined in Idris.Imports Methods showsPrec :: Int -> IFileType -> ShowS # show :: IFileType -> String # showList :: [IFileType] -> ShowS #
Eq IFileType # |
Instance details Defined in Idris.Imports Methods (==) :: IFileType -> IFileType -> Bool # (/=) :: IFileType -> IFileType -> Bool #
Ord IFileType # |
Instance details Defined in Idris.Imports Methods compare :: IFileType -> IFileType -> Ordering # (<) :: IFileType -> IFileType -> Bool # (<=) :: IFileType -> IFileType -> Bool # (>) :: IFileType -> IFileType -> Bool # (>=) :: IFileType -> IFileType -> Bool # max :: IFileType -> IFileType -> IFileType # min :: IFileType -> IFileType -> 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 #

Get the index file name for a package name

data PkgName #

#### Instances

Instances details

Show PkgName # |
Instance details Defined in Idris.Imports Methods showsPrec :: Int -> PkgName -> ShowS # show :: PkgName -> String # showList :: [PkgName] -> ShowS #
Eq PkgName # |
Instance details Defined in Idris.Imports Methods (==) :: PkgName -> PkgName -> Bool # (/=) :: PkgName -> PkgName -> Bool #

pkgName :: String -> Either String PkgName #

unPkgName :: PkgName -> String #

unInitializedPkgName :: PkgName #