idris-1.1.1: Functional Programming Language with Dependent Types
Idris.Imports
Description
Synopsis
data IFileType Source #
Constructors
Instances
Methods
(==) :: IFileType -> IFileType -> Bool #
(/=) :: IFileType -> IFileType -> Bool #
showsPrec :: Int -> IFileType -> ShowS #
show :: IFileType -> String #
showList :: [IFileType] -> ShowS #
findImport :: [FilePath] -> FilePath -> FilePath -> Idris IFileType Source #
findInPath :: [FilePath] -> FilePath -> IO FilePath Source #
findPkgIndex :: String -> Idris FilePath Source #
ibcPathNoFallback :: FilePath -> FilePath -> FilePath Source #
installedPackages :: IO [String] Source #
pkgIndex :: String -> FilePath Source #
Get the index file name for a package name