git.iko.soy/Idris-dev
on 6fe15ea help sign in
Idris-dev/libs/oldeffects/Effect
10 files
../ Default.idrReplace 'effects' with neweffects Exception.idrReplace 'effects' with neweffects 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