git.iko.soy/Idris-dev
on c9ace4e help sign in
Idris-dev/libs/base/Control/Monad
6 files
../ Identity.idrAdd `Identity a` basic instances (#4336) 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.idrAdd Alternative implementation for StateT Trans.idrChange export qualifier keywords Writer.idrPurify Idris of "return"