KiCS-0.9.3: A compiler from Curry to Haskell
Curry.Module.Directory
prim_doesFileExist :: C_String -> Result (C_IO C_Bool)Source
prim_doesDirectoryExist :: C_String -> Result (C_IO C_Bool)Source
prim_fileSize :: C_String -> Result (C_IO C_Int)Source
prim_getModificationTime :: C_String -> Result (C_IO C_ClockTime)Source
prim_getDirectoryContents :: C_String -> Result (C_IO (List C_String))Source
getCurrentDirectory :: Result (C_IO C_String)Source
prim_createDirectory :: C_String -> Result (C_IO T0)Source
prim_removeFile :: C_String -> Result (C_IO T0)Source
prim_setCurrentDirectory :: C_String -> Result (C_IO T0)Source
prim_removeDirectory :: C_String -> Result (C_IO T0)Source
prim_renameFile :: C_String -> C_String -> Result (C_IO T0)Source
prim_renameDirectory :: C_String -> C_String -> Result (C_IO T0)Source
c_doesFileExist :: List C_Char -> State -> C_IO C_BoolSource
c_doesDirectoryExist :: List C_Char -> State -> C_IO C_BoolSource
c_fileSize :: List C_Char -> State -> C_IO C_IntSource
c_getModificationTime :: List C_Char -> State -> C_IO C_ClockTimeSource
c_setCurrentDirectory :: List C_Char -> State -> C_IO T0Source
c_getDirectoryContents :: List C_Char -> State -> C_IO (List (List C_Char))Source
c_createDirectory :: List C_Char -> State -> C_IO T0Source
c_removeFile :: List C_Char -> State -> C_IO T0Source
c_removeDirectory :: List C_Char -> State -> C_IO T0Source
c_renameFile :: List C_Char -> List C_Char -> State -> C_IO T0Source
c_renameDirectory :: List C_Char -> List C_Char -> State -> C_IO T0Source
c_prim_doesFileExist :: List C_Char -> State -> C_IO C_BoolSource
c_prim_doesDirectoryExist :: List C_Char -> State -> C_IO C_BoolSource
c_prim_fileSize :: List C_Char -> State -> C_IO C_IntSource
c_prim_getModificationTime :: List C_Char -> State -> C_IO C_ClockTimeSource
c_getCurrentDirectory :: State -> C_IO (List C_Char)Source
c_prim_setCurrentDirectory :: List C_Char -> State -> C_IO T0Source
c_prim_getDirectoryContents :: List C_Char -> State -> C_IO (List (List C_Char))Source
c_prim_createDirectory :: List C_Char -> State -> C_IO T0Source
c_prim_removeFile :: List C_Char -> State -> C_IO T0Source
c_prim_removeDirectory :: List C_Char -> State -> C_IO T0Source
c_prim_renameFile :: List C_Char -> List C_Char -> State -> C_IO T0Source
c_prim_renameDirectory :: List C_Char -> List C_Char -> State -> C_IO T0Source