Safe Haskell | None |
---|
Documentation
ibcPathWithFallback :: FilePath -> FilePath -> IO FilePathSource
ibcPathNoFallback :: FilePath -> FilePath -> FilePathSource
findImport :: [FilePath] -> FilePath -> FilePath -> Idris IFileTypeSource
findInPath :: [FilePath] -> FilePath -> IO FilePathSource