git.iko.soy/Idris-dev
on f8ec244 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.idrRename 'effect' to 'call'