git.iko.soy/Idris-dev
on de2011f 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.idrMake 'neweffects' the official effects package 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