git.iko.soy/Idris-dev
on 1b71663 help sign in
history oflibs/effects/Effect/File.idr
all commits
a5a98b6Updated documentation for new file effect, and added to the CHANGELOG.Jan de Muijnck-Hughes 0196f9dA new File Effect.Jan de Muijnck-Hughes 87f1da9Fix deprecation warnings for File Writing.Jan de Muijnck-Hughes 68c019aChange export qualifier keywordsEdwin Brady a14e4edSimplify export rules.Edwin Brady 4d0a065Change "class/instance" keywordsEdwin Brady ff1dc88Fix File effectEdwin Brady bf4bdccChange file operation namesEdwin Brady b1872fbFile IO type indicates possibility of failureEdwin Brady 7f61ef6Added whole R/W effectful file ops.Jan de Muijnck-Hughes c3cdb9cTrying a new Effects apiEdwin Brady 44cc995Stop relying on implicit capture in effectsDavid Raymond Christiansen 9ec6a5aadded IOExcept handler to FileIO effectraichoo 481d233rename writeLine to writeString, add writeLineHeather ced7733Replace 'effects' with neweffectsEdwin Brady 34d6f39No need for Handler constraints on effectful opsEdwin Brady 6b69961Rename 'effect' to 'call'Edwin Brady e7a35e9Remove implicit qualifier for 'effect'Edwin Brady ad399b0Added documentation for the effectful file operations.Jan de Muijnck-Hughes 4ba5460Make 'neweffects' the official effects packageEdwin Brady 40924dcMoved libraries around, removed 'effects' flagEdwin Brady