idris-0.12.3: libs/oldeffects/effects.ipkg
package oldeffects
opts = "--nobasepkgs -i ../prelude -i ../base"
modules = Effects, Effect.Default,
Effect.Exception, Effect.File, Effect.State,
Effect.Random, Effect.StdIO, Effect.Select,
Effect.Memory, Effect.System