git.iko.soy/Idris-dev
on 9040aba 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'