../ Identity.idrMake Identity an instance of Semigroup/Monoid (for Semigroup/Monoid types).8 years ago RWS.idrAdded Catchable for ReaderT, WriterT, and RWST Fix for #3758. Additionally, created MonadTrans instance for RWST. These changes are mostly ported from GHC.9 years ago Reader.idrPurify Idris of "return"10 years ago State.idrAdd Alternative implementation for StateT9 years ago Trans.idrChange export qualifier keywords11 years ago Writer.idradd runWriter helper8 years ago