______________

[fp1415.git] / fp2 / week2 / mart / StdIOMonad.dcl

diff --git a/fp2/week2/mart/StdIOMonad.dcl b/fp2/week2/mart/StdIOMonad.dcl
index 0d451d2..0801928 100644 (file)
--- a/fp2/week2/mart/StdIOMonad.dcl
+++ b/fp2/week2/mart/StdIOMonad.dcl
@@ -5,28 +5,29 @@ definition module StdIOMonad
 import StdMonad, StdMaybeMonad\r
 \r
 :: IO a\r
+:: *W\r
 :: Void       = Void\r
 :: Filemode   = Lees | Schrijf\r
 :: Filenaam :== String\r
 :: Filehandle\r
 \r
 //     voer monadische I/O actie uit op de wereld:\r
-//doIO         :: (IO a) *World -> (a,*World)\r
+doIO:: (IO a) *World -> *(a, *W)\r
 \r
 //  IO is een monad:\r
-//instance return IO\r
-//instance >>=    IO\r
-//\r
-////   lees regel van de console:\r
-//read         :: IO String\r
-//\r
-////   schrijf regel naar de console:\r
-//write                :: String -> IO Void\r
-//\r
-////   open de file met gegeven filenaam en mode:\r
+instance return IO\r
+instance >>=    IO\r
+\r
+//     lees regel van de console:\r
+read           :: IO String\r
+\r
+//     schrijf regel naar de console:\r
+write          :: String -> IO Void\r
+\r
+//     open de file met gegeven filenaam en mode:\r
 //open         :: Filenaam Filemode -> IO (Maybe Filehandle)\r
-//\r
-////   sluit de file met gegeven filenaam:\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