git.iko.soy/Idris-dev
on dccd072 help sign in
history oflibs/effects/Effect/File.idr
all commits
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