on bf4e535 help sign in
Idris-dev/libs/effects/effects.ipkg
9 lines 252 B history raw
1package effects
3opts = "--nobasepkgs -i ../prelude -i ../base"
4modules = Effects, Effect.Default,
6 Effect.Exception, Effect.File, Effect.State,
7 Effect.Random, Effect.StdIO, Effect.Select,
8 Effect.Memory, Effect.System