summaryrefslogtreecommitdiff
path: root/fp2/week1/mart/SimpleFileIO.dcl
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