git.iko.soy/Idris-dev
on 50878fa help sign in
Idris-dev/libs/oldeffects/Effect
10 files
../ Default.idrReplace 'effects' with neweffects Exception.idrAddress semantic differences in putting things to STDOUT. File.idrReplace 'effects' with neweffects Memory.idrReplace 'effects' with neweffects Monad.idrChanged (<$>) to (<*>) Random.idrReplace 'effects' with neweffects Select.idrReplace 'effects' with neweffects State.idrReplace 'effects' with neweffects StdIO.idrReplace 'effects' with neweffects System.idrReplace 'effects' with neweffects