packages feed

idris-0.9.12: libs/oldeffects/oldeffects.ipkg

package oldeffects

opts    = "--nobasepkgs -i ../prelude -i ../base"
modules = Effects, 
          Effect.Exception, Effect.File, Effect.State,
          Effect.Random, Effect.StdIO, Effect.Select,
          Effect.Memory, Effect.Monad