git.iko.soy/Idris-dev
on c201192 help sign in
Idris-dev/libs/effects/Effect
10 files
../ Default.idrMake 'neweffects' the official effects package Exception.idrRename 'effect' to 'call' File.idrNo need for Handler constraints on effectful ops Memory.idrRename 'effect' to 'call' Monad.idrMake 'neweffects' the official effects package Random.idrRename 'effect' to 'call' Select.idrRename 'effect' to 'call' State.idrRename 'effect' to 'call' StdIO.idrNo need for Handler constraints on effectful ops System.idradd system to Effects.System as is