git.iko.soy/Idris-dev
on 4e326e4 help sign in
Idris-dev/libs/base/Control/Monad
6 files
../ Identity.idrChange export qualifier keywords RWS.idrAdded Catchable for ReaderT, WriterT, and RWST Fix for #3758. Additionally, created MonadTrans instance for RWST. These changes are mostly ported from GHC. Reader.idrPurify Idris of "return" State.idrPurify Idris of "return" Trans.idrChange export qualifier keywords Writer.idrPurify Idris of "return"