cvs commit: fptools/libraries/monads/Unstable/Control/Monad ErrorT.hs NondetT.hs ReaderT.hs Resume.hs ResumeT.hs StateT.hs Trans.hs WriterT.hs fptools/libraries/monads/Unstable/Control/Monad/laws Reader.hs Resume.hs

[diatchki@glass.cse.ogi.edu]

diatchki    2003/08/05 11:09:58 PDT

  Modified files:
    libraries/monads/Unstable/Control/Monad ErrorT.hs NondetT.hs 
                                            ReaderT.hs Resume.hs 
                                            ResumeT.hs StateT.hs 
                                            Trans.hs WriterT.hs 
    libraries/monads/Unstable/Control/Monad/laws Reader.hs 
                                                 Resume.hs 
  Log:
  Chnaged the morphisms for the resumptions transformer.
  force :: m a -> m a   was removed,
  step :: (a -> m b) -> (m a -> m b) -> m a -> m b  was added.
  
  There are preliminary implementations for the other transformers, but
  I am still thinking on what exactly they should do.
  
  Revision  Changes    Path
  1.7       +7 -2      fptools/libraries/monads/Unstable/Control/Monad/ErrorT.hs
  1.7       +12 -0     fptools/libraries/monads/Unstable/Control/Monad/NondetT.hs
  1.7       +3 -1      fptools/libraries/monads/Unstable/Control/Monad/ReaderT.hs
  1.3       +1 -1      fptools/libraries/monads/Unstable/Control/Monad/Resume.hs
  1.6       +29 -11    fptools/libraries/monads/Unstable/Control/Monad/ResumeT.hs
  1.7       +21 -2     fptools/libraries/monads/Unstable/Control/Monad/StateT.hs
  1.6       +5 -5      fptools/libraries/monads/Unstable/Control/Monad/Trans.hs
  1.7       +14 -2     fptools/libraries/monads/Unstable/Control/Monad/WriterT.hs
  1.3       +16 -3     fptools/libraries/monads/Unstable/Control/Monad/laws/Reader.hs
  1.2       +2 -1      fptools/libraries/monads/Unstable/Control/Monad/laws/Resume.hs