git.iko.soy/Idris-dev
on 85cf83f 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.idrMove Fin, Vect and So from prelude to base 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