git.iko.soy/Idris-dev
on a427f21 help sign in
Idris-dev/libs/effects/Effect
10 files
../ Default.idrMake 'neweffects' the official effects package Exception.idrReplace 'effects' with neweffects File.idradded IOExcept handler to FileIO effect Memory.idrFinished making standard library naming consistent Monad.idrMake 'neweffects' the official effects package Random.idrFix error in rndInt making lower bound ineffective Select.idrReplace 'effects' with neweffects State.idrReplace 'effects' with neweffects StdIO.idrReplace 'effects' with neweffects System.idrReplace 'effects' with neweffects