Idris2-Effect/effect.ipkg at master · Russoul/Idris2-Effect · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
package effect
version = 0.1.0
authors = "Russoul"
license = "The 3-Clause BSD License"
sourceloc = "www.github.com/Russoul/Idris2-Effect"
bugtracker = "www.github.com/Russoul/Idris2-Effect/issues"

modules = Control.EffectAlgebra
        , Control.HigherOrder

        , Control.Monad.Free
        , Control.Monad.List

        , Control.Cont.Exception
        , Control.Cont.IO
        , Control.Cont.Out
        , Control.Cont.State
        , Control.Cont.Thread
        , Control.Cont.Void

        , Control.Effect.Exception
        , Control.Effect.Fail
        , Control.Effect.Labelled
        , Control.Effect.Lift
        , Control.Effect.Misc
        , Control.Effect.NonDet
        , Control.Effect.Reader
        , Control.Effect.State
        , Control.Effect.Writer

sourcedir = "src"