git.iko.soy/Idris-dev
on cd87fcd help sign in
Idris-dev/libs/base/Control
1 folder, 5 files
../ Monad/Add Alternative implementation for StateT 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.idrMake Category poly-kinded. IOExcept.idrChange export qualifier keywords Isomorphism.idrAdded `Category Iso` in base