Idris.Imports

Documentation

data IFileType

Constructors

IDR FilePath

LIDR FilePath

IBC FilePath IFileType

Instances

Eq IFileType

Show IFileType

srcPath :: FilePath -> FilePath

lsrcPath :: FilePath -> FilePath

ibcPath :: FilePath -> Bool -> FilePath -> FilePath

ibcPathWithFallback :: FilePath -> FilePath -> IO FilePath

ibcPathNoFallback :: FilePath -> FilePath -> FilePath

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

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