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