effect.ipkg

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"