Idris.Imports

Documentation

data IFileType

Constructors

IDR FilePath

LIDR FilePath

IBC FilePath IFileType

Instances

Eq IFileType

Defined in Idris.Imports

Methods

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

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

Ord IFileType

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

Show IFileType

Defined in Idris.Imports

Methods

showsPrec :: Int -> IFileType -> ShowS

show :: IFileType -> String

showList :: [IFileType] -> ShowS

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

Eq PkgName

Defined in Idris.Imports

Methods

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

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

Show PkgName

Defined in Idris.Imports

Methods

showsPrec :: Int -> PkgName -> ShowS

show :: PkgName -> String

showList :: [PkgName] -> ShowS

pkgName :: String -> Either String PkgName

unPkgName :: PkgName -> String

unInitializedPkgName :: PkgName