git.iko.soy/Idris-dev
on 2da8c19 help sign in
Idris-dev/libs/base/Control
1 folder, 5 files
../ Monad/Export 'lift' from Control.Monad.State Arrow.idrRename Either.swap to Either.mirror and extract Pairs.swap Catchable.idrSimplify some expressions in IOExcept. Category.idrImplement a form of pattern unification IOExcept.idrTurn IOException into a record to avoid the let-binding patmatch. Isomorphism.idrRename Either.swap to Either.mirror and extract Pairs.swap