git.iko.soy/Idris-dev
on 8c19e30 help sign in
Idris-dev/effects/Effect
7 files
../ Exception.idrMinor tinkering with effects File.idrUpdate Effect.File to use new failure handling Memory.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc Random.idrAdded 'srand' to Effect.Random Select.idrRename EFF to EFFECT (for more consistent naming rules) State.idrUse '!' in Effect.State StdIO.idrMinor tinkering with effects