git.iko.soy/Idris-dev
on 385dcbf help sign in
history oflibs/base/Control/Catchable.idr
all commits
265fb1dAdded Catchable for ReaderT, WriterT, and RWST Fix for #3758. Additionally, created MonadTrans instance for RWST. These changes are mostly ported from GHC.Synthetica9 3072e8cCatchable determining argumentsEdwin Brady f754d9cPurify Idris of "return"David Christiansen 68c019aChange export qualifier keywordsEdwin Brady a14e4edSimplify export rules.Edwin Brady 4d0a065Change "class/instance" keywordsEdwin Brady 076c2d6Simplify some expressions in IOExcept.Leif Warner 53f4651Tidy up name warnings in PreludeEdwin Brady f2cf4d8Change 'module Prelude.Catchable to 'module Control.Catchable'Paul Koerbitz a338273Remove needless Prelude importsEdwin Brady 40924dcMoved libraries around, removed 'effects' flagEdwin Brady