blob: 1bd97da205ae3c56bda63b7754390f2c510fd839 (
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
|