git.iko.soy/Idris-dev
on 8935fed help sign in
Idris-dev/libs/base/Control
1 folder, 5 files
../ Monad/Add runState, evalState, execState and re-export Identity module Arrow.idrRename Either.swap to Either.mirror and extract Pairs.swap Catchable.idrChange 'module Prelude.Catchable to 'module Control.Catchable' Category.idrLibrary changes: Please read details below! IOExcept.idrChanged (<$>) to (<*>) Isomorphism.idrRename Either.swap to Either.mirror and extract Pairs.swap