From a7d7542dc646a5fd124ef71e71ce260889f1701b Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Tue, 2 Feb 2016 19:24:50 +0100 Subject: Moved to 1415 directory --- 1415/files/practicum/SimpleFileIO.icl | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 1415/files/practicum/SimpleFileIO.icl (limited to '1415/files/practicum/SimpleFileIO.icl') diff --git a/1415/files/practicum/SimpleFileIO.icl b/1415/files/practicum/SimpleFileIO.icl new file mode 100644 index 0000000..1339769 --- /dev/null +++ b/1415/files/practicum/SimpleFileIO.icl @@ -0,0 +1,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 ... -- cgit v1.2.3