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 Source #

Constructors

IDR FilePath 
LIDR FilePath 
IBC FilePath IFileType 

Instances

Instances details
Show IFileType Source # 
Instance details

Defined in Idris.Imports

Methods

showsPrec :: Int -> IFileType -> ShowS

show :: IFileType -> String

showList :: [IFileType] -> ShowS

Eq IFileType Source # 
Instance details

Defined in Idris.Imports

Methods

(==) :: IFileType -> IFileType -> Bool

(/=) :: IFileType -> IFileType -> Bool

Ord IFileType Source # 
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) Source #

findImport :: [FilePath] -> FilePath -> FilePath -> Idris IFileType Source #

findInPath :: [FilePath] -> FilePath -> IO FilePath Source #

ibcPathNoFallback :: FilePath -> FilePath -> FilePath Source #

installedPackages :: IO [String] Source #

pkgIndex :: PkgName -> FilePath Source #

Get the index file name for a package name

data PkgName Source #

Instances

Instances details
Show PkgName Source # 
Instance details

Defined in Idris.Imports

Methods

showsPrec :: Int -> PkgName -> ShowS

show :: PkgName -> String

showList :: [PkgName] -> ShowS

Eq PkgName Source # 
Instance details

Defined in Idris.Imports

Methods

(==) :: PkgName -> PkgName -> Bool

(/=) :: PkgName -> PkgName -> Bool

pkgName :: String -> Either String PkgName Source #

unPkgName :: PkgName -> String Source #