summaryrefslogtreecommitdiff
path: root/files/practicum/SimpleFileIO.dcl
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