finished dcl

diff --git a/fp2/week2/camil/StdIOMonad.dcl b/fp2/week2/camil/StdIOMonad.dcl
index a23a328..580efaa 100644 (file)
--- a/fp2/week2/camil/StdIOMonad.dcl
+++ b/fp2/week2/camil/StdIOMonad.dcl
@@ -2,14 +2,14 @@ definition module StdIOMonad
 \r
 //     Deze module verpakt een aantal StdFile functies in een monadische jas\r
 \r
-import StdMonad\r
+import StdMonad, StdMaybe\r
 \r
 :: IO a\r
 :: *W\r
 :: Void       = Void\r
 :: Filemode   = Lees | Schrijf\r
 :: Filenaam :== String\r
-:: Filehandle\r
+:: Filehandle :== String\r
 \r
 //     voer monadische I/O actie uit op de wereld:\r
 doIO:: (IO a) *World -> *(a, *W)\r
@@ -25,16 +25,16 @@ read                :: IO String
 write          :: String -> IO Void\r
 \r
 //     open de file met gegeven filenaam en mode:\r
-//open         :: Filenaam Filemode -> IO (Maybe Filehandle)\r
+open           :: Filenaam Filemode -> IO (Maybe Filehandle)\r
 \r
 //     sluit de file met gegeven filenaam:\r
-//close                :: Filehandle -> IO Bool\r
-//\r
-////   bepaal of het lezen van de file klaar is:\r
-//eof                  :: Filehandle -> IO Bool\r
-//\r
-////   lees een regel van een file:\r
-//readline     :: Filehandle -> IO (Maybe String)\r
-//\r
-////   schrijf een regel naar een file:\r
-//writeline    :: String Filehandle -> IO Bool\r
+close          :: Filehandle -> IO Bool\r
+\r
+//     bepaal of het lezen van de file klaar is:\r
+eof                    :: Filehandle -> IO Bool\r
+\r
+//     lees een regel van een file:\r
+readline       :: Filehandle -> IO (Maybe String)\r
+\r
+//     schrijf een regel naar een file:\r
+writeline      :: String Filehandle -> IO Bool\r