idris
Idris.Imports
data IFileType Source
Constructors
Instances
srcPath :: FilePath -> FilePathSource
lsrcPath :: FilePath -> FilePathSource
ibcPath :: FilePath -> Bool -> FilePath -> FilePathSource
ibcPathWithFallback :: FilePath -> FilePath -> IO FilePathSource
ibcPathNoFallback :: FilePath -> FilePath -> FilePathSource
findImport :: [FilePath] -> FilePath -> FilePath -> IO IFileTypeSource
findInPath :: [FilePath] -> FilePath -> IO FilePathSource