git.iko.soy/Idris-dev
on 8af2772 help sign in
Idris-dev/libs/base/Control
1 folder, 5 files
../ Monad/Add `Identity a` basic instances (#4336) 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.idrmtimes, stimes, and Monoid for Iso