blob: 30ef941c7c72f0d56cdd4f4e197d08c11104e4ef (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
definition module SimpleFileIO
import StdFile, StdOverloaded, StdMaybe
// 1.
readFile :: String *env -> (Maybe String, *env) | FileSystem env
writeFile :: String String *env -> (Bool, *env) | FileSystem env
// 2.
readLines :: String *env -> (Maybe [String],*env) | FileSystem env
writeLines :: String [String] *env -> (Bool, *env) | FileSystem env
// 3.
mapFile :: String String (a -> b) *env -> (Bool, *env) | FileSystem env & ... a & ... b
|
