files/practicum/StdStateMonad.dcl

   1 definition module StdStateMonad
   2
   3 import StdMonad
   4
   5 :: ST s a
   6
   7 instance return (ST s)
   8 instance >>=    (ST s)
   9
  10 mkST :: (s -> *(a,s)) -> ST s a
  11 unST :: (ST s a) -> s -> *(a, s)