1 definition module StdIOMonad
3 // Deze module verpakt een aantal StdFile functies in een monadische jas
5 import StdMonad, StdMaybeMonad
9 :: Filemode = Lees | Schrijf
10 :: Filenaam :== String
13 // voer monadische I/O actie uit op de wereld:
14 //doIO :: (IO a) *World -> (a,*World)
20 //// lees regel van de console:
23 //// schrijf regel naar de console:
24 //write :: String -> IO Void
26 //// open de file met gegeven filenaam en mode:
27 //open :: Filenaam Filemode -> IO (Maybe Filehandle)
29 //// sluit de file met gegeven filenaam:
30 //close :: Filehandle -> IO Bool
32 //// bepaal of het lezen van de file klaar is:
33 //eof :: Filehandle -> IO Bool
35 //// lees een regel van een file:
36 //readline :: Filehandle -> IO (Maybe String)
38 //// schrijf een regel naar een file:
39 //writeline :: String Filehandle -> IO Bool