idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Idris.Imports

Description

 
Synopsis

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 #