1 definition module SimpleFileIO
3 import StdFile, StdOverloaded, StdMaybe
6 readFile :: String *env -> (Maybe String, *env) | FileSystem env
7 writeFile :: String String *env -> (Bool, *env) | FileSystem env
10 readLines :: String *env -> (Maybe [String],*env) | FileSystem env
11 writeLines :: String [String] *env -> (Bool, *env) | FileSystem env
14 mapFile :: String String (a -> b) *env -> (Bool, *env) | FileSystem env & ... a & ... b