fp2/week1/mart/SimpleFileIO.dcl

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