blob: 1339769ef2b65071e08a1fcd4060891f3edcad00 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
implementation module SimpleFileIO
import StdBool, StdFile, StdList, StdMaybe
// 1.
readFile :: String *env -> (Maybe String,*env) | FileSystem env
readFile ...
writeFile :: String String *env -> (Bool,*env) | FileSystem env
writeFile ...
// 2.
readLines :: String *env -> (Maybe [String],*env) | FileSystem env
readLines ...
writeLines :: String [String] *env -> (Bool,*env) | FileSystem env
writeLines ...
// 3.
mapFile :: String String (a -> b) *env -> (Bool,*env) | FileSystem env & ... a & ... b
mapFile ...
|
