fp2/week2/mart/StdIOMonad.icl

   1 implementation module StdIOMonad
   2
   3 //      Deze module verpakt StdFile in een monadische jas
   4
   5 import StdFile
   6 import StdMonad
   7 //import StdOverloaded
   8
   9 :: IO a = IO [a]        // kies een geschikte representatie voor IO
  10 :: Filemode = Lees | Schrijf
  11 :: Filenaam :== String
  12 :: Filehandle :== []    // kies een geschikte representatie voor Filehandle
  13
  14 //instance toInt Filemode where
  15 //      toInt Lees                                              = FReadText
  16 //      toInt Schrijf                                   = FWriteText