idris-0.12: libs/effects/effects.ipkg
package effects
opts = "--nobasepkgs --typeintype -i ../prelude -i ../base"
modules = Effects
, Effect.Default
, Effect.Monad
, Effect.Exception
, Effect.File
, Effect.State
, Effect.Random
, Effect.StdIO
, Effect.Select
, Effect.Memory
, Effect.System
, Effect.Trans
, Effect.Logging.Level
, Effect.Logging.Default
, Effect.Logging.Category
, Effect.Perf