git.iko.soy/Idris-dev
on 4e326e4 help sign in
Idris-dev/libs/base/Control
1 folder, 5 files
../ Monad/Added Catchable for ReaderT, WriterT, and RWST Fix for #3758. Additionally, created MonadTrans instance for RWST. These changes are mostly ported from GHC. Arrow.idrPurify Idris of "return" Catchable.idrAdded Catchable for ReaderT, WriterT, and RWST Fix for #3758. Additionally, created MonadTrans instance for RWST. These changes are mostly ported from GHC. Category.idrPurify Idris of "return" IOExcept.idrChange export qualifier keywords Isomorphism.idrAdded `Category Iso` in base