git.iko.soy/Idris-dev
on 4d16a95 help sign in
Idris-dev/libs/effects/Effect
10 files
../ Default.idrMove Fin, Vect and So from prelude to base Exception.idrReplace 'effects' with neweffects File.idradded IOExcept handler to FileIO effect Memory.idrNew language-dependent FFI Monad.idrChanged (<$>) to (<*>) Random.idrMove Fin, Vect and So from prelude to base Select.idrReplace 'effects' with neweffects State.idrReplace 'effects' with neweffects StdIO.idrReplace 'effects' with neweffects System.idrReplace 'effects' with neweffects