git.iko.soy/Idris-dev
on 4e69658 help sign in
history oflibs/base/Control/IOExcept.idr
all commits
68c019aChange export qualifier keywordsEdwin Brady a14e4edSimplify export rules.Edwin Brady 9b2ca04Merge branch 'ioexcept-ffi' of https://github.com/aaronc/Idris-dev into aaronc-ioexcept-ffiEdwin Brady 4d0a065Change "class/instance" keywordsEdwin Brady 4eff833Changed IOExcept to IOExcept' (with an FFI param) to work with the new FFI.Aaron Craelius 80d88b1Turn IOException into a record to avoid the let-binding patmatch.Leif Warner 076c2d6Simplify some expressions in IOExcept.Leif Warner 53f4651Tidy up name warnings in PreludeEdwin Brady 44bdf1dChanged (<$>) to (<*>)Tenor Biel a338273Remove needless Prelude importsEdwin Brady 40924dcMoved libraries around, removed 'effects' flagEdwin Brady