Control/Monad/X/tests/State.hs

   1 import Control.Monad.X.State
   2
   3
   4 t1    = test "x" get ("x","x")
   5 t2    = test "x" (put "y") ((),"y")
   6 t3    = test "x"
   7        (do x <- get
   8            put "y"
   9            y <- get
  10            return (x,y)) (("x","y"),"y")
  11
  12 test s m e  = runStateS s m == e
  13
  14 main  = print $ and [t1,t2,t3]