git.iko.soy/Idris-dev
on fbb201c help sign in
Idris-dev/libs/effects/effects.ipkg
20 lines 445 B history raw
1package effects
3opts = "--nobasepkgs -i ../prelude -i ../base"
5modules = Effects
6 , Effect.Default
7 , Effect.Monad
9 , Effect.Exception
10 , Effect.File
11 , Effect.State
12 , Effect.Random
13 , Effect.StdIO
14 , Effect.Select
15 , Effect.Memory
16 , Effect.System
17 , Effect.Trans
18 , Effect.Logging.Level
19 , Effect.Logging.Simple
20 , Effect.Logging.Default