cvs commit: fptools/libraries/monads/Unstable/Control/Monad ContT.hs ErrorT.hs NondetT.hs README Reader.hs ReaderT.hs ResumeT.hs StateT.hs Trans.hs WriterT.hs fptools/libraries/monads/Unstable/Control/Mo nad/laws Error.hs General.hs Nondet.hs Resume.hs State.hs Prop.hs Reader.hs ...

[diatchki@glass.cse.ogi.edu]

diatchki    2003/06/16 23:28:07 PDT

  Modified files:
    libraries/monads/Unstable/Control/Monad ContT.hs ErrorT.hs 
                                            NondetT.hs README 
                                            Reader.hs ReaderT.hs 
                                            ResumeT.hs StateT.hs 
                                            Trans.hs WriterT.hs 
    libraries/monads/Unstable/Control/Monad/laws Prop.hs Reader.hs 
                                                 Writer.hs 
  Added files:
    libraries/monads/Unstable/Control/Monad/laws Error.hs 
                                                 General.hs 
                                                 Nondet.hs 
                                                 Resume.hs 
                                                 State.hs 
  Log:
  1. renamed class methods for ErrorMonad to raise and handle.
     (old methods are provided as functions)
  2. added more laws, which hopeflly we'll be able to test automatically soon.
  
  Revision  Changes    Path
  1.2       +2 -2      fptools/libraries/monads/Unstable/Control/Monad/ContT.hs
  1.2       +5 -5      fptools/libraries/monads/Unstable/Control/Monad/ErrorT.hs
  1.2       +2 -2      fptools/libraries/monads/Unstable/Control/Monad/NondetT.hs
  1.2       +4 -1      fptools/libraries/monads/Unstable/Control/Monad/README
  1.2       +15 -1     fptools/libraries/monads/Unstable/Control/Monad/Reader.hs
  1.2       +3 -3      fptools/libraries/monads/Unstable/Control/Monad/ReaderT.hs
  1.2       +3 -4      fptools/libraries/monads/Unstable/Control/Monad/ResumeT.hs
  1.2       +2 -2      fptools/libraries/monads/Unstable/Control/Monad/StateT.hs
  1.2       +17 -4     fptools/libraries/monads/Unstable/Control/Monad/Trans.hs
  1.2       +2 -2      fptools/libraries/monads/Unstable/Control/Monad/WriterT.hs
  1.2       +4 -0      fptools/libraries/monads/Unstable/Control/Monad/laws/Prop.hs
  1.2       +4 -4      fptools/libraries/monads/Unstable/Control/Monad/laws/Reader.hs
  1.2       +9 -1      fptools/libraries/monads/Unstable/Control/Monad/laws/Writer.hs