idris-0.9.14.3: Functional Programming Language with Dependent Types
Idris.Imports
data IFileType Source
Constructors
Instances
srcPath :: FilePath -> FilePath Source
lsrcPath :: FilePath -> FilePath Source
ibcPath :: FilePath -> Bool -> FilePath -> FilePath Source
ibcPathWithFallback :: FilePath -> FilePath -> IO FilePath Source
ibcPathNoFallback :: FilePath -> FilePath -> FilePath Source
findImport :: [FilePath] -> FilePath -> FilePath -> Idris IFileType Source
findInPath :: [FilePath] -> FilePath -> IO FilePath Source