fp2/week2/mart/EchoMonad.icl

   1 module EchoMonad
   2
   3 import StdString                // expliciete import uit StdEnv om nameclash met StdFunc / StdIOMonad te voorkomen
   4 import StdIOMonad
   5 import StdMaybeMonad
   6
   7 Start :: *World -> (Void,*World)
   8 Start world = doIO echo world
   9
  10 echo :: IO Void
  11 echo = read >>= \regel ->
  12        if (regel == "\n")
  13           (return Void)
  14           (write regel >>= \_ -> echo)