1 definition module StdIOMonad
3 // Deze module verpakt een aantal StdFile functies in een monadische jas
5 import StdMonad, StdMaybe
10 :: Filemode = Lees | Schrijf
11 :: Filenaam :== String
12 :: Filehandle :== String
14 // voer monadische I/O actie uit op de wereld:
15 doIO:: (IO a) *World -> *(a, *W)
21 // lees regel van de console:
24 // schrijf regel naar de console:
25 write :: String -> IO Void
27 // open de file met gegeven filenaam en mode:
28 open :: Filenaam Filemode -> IO (Maybe Filehandle)
30 // sluit de file met gegeven filenaam:
31 close :: Filehandle -> IO Bool
33 // bepaal of het lezen van de file klaar is:
34 eof :: Filehandle -> IO Bool
36 // lees een regel van een file:
37 readline :: Filehandle -> IO (Maybe String)
39 // schrijf een regel naar een file:
40 writeline :: String Filehandle -> IO Bool