Cabal revisions of heftia-effects-0.6.0.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-cabal-version: 3.0-name: heftia-effects-version: 0.6.0.0---- A short (one-line) description of the package.-synopsis: higher-order algebraic effects done right---- A longer description of the package.-description:- This library is the battery-included version of the [heftia](https://hackage.haskell.org/package/heftia) package,- providing interpreters for standard effects.---- A URL where users can report bugs.-bug-reports: https://github.com/sayo-hs/heftia---- The license under which the package is released.-license: MPL-2.0-license-file: LICENSE-author: Sayo contributors <ymdfield@outlook.jp>-maintainer: ymdfield <ymdfield@outlook.jp>---- A copyright notice.-copyright: 2023-2025 Sayo contributors-category: Control, Effect, Monads--extra-doc-files:- ChangeLog.md- NOTICE- README.md--tested-with: GHC == {9.6.2, 9.8.4, 9.10.1, 9.12.2}--source-repository head- type: git- location: https://github.com/sayo-hs/heftia- tag: v0.6.0- subdir: heftia-effects--common common-base- ghc-options: -Wall -Wredundant-constraints- default-language: GHC2021-- default-extensions:- LambdaCase,- DerivingStrategies,- DataKinds,- TypeFamilies,- BlockArguments,- FunctionalDependencies,- RecordWildCards,- DefaultSignatures,- PatternSynonyms-- build-depends:- base >= 4.17 && < 4.22,- data-effects ^>= 0.4,- heftia ^>= 0.6,- time >= 1.11.1 && < 1.15,- unliftio ^>= 0.2,- unbounded-delays ^>= 0.1.1,- containers > 0.6.5 && < 0.8,- co-log-core ^>= 0.3.2,- process ^>= 1.6.15,- bytestring >= 0.11.1 && < 0.13,- text >= 1.2.5 && < 2.2,--library- import: common-base-- exposed-modules:- Control.Monad.Hefty.Reader- Control.Monad.Hefty.Writer- Control.Monad.Hefty.State- Control.Monad.Hefty.Except- Control.Monad.Hefty.CC- Control.Monad.Hefty.Shift- Control.Monad.Hefty.NonDet- Control.Monad.Hefty.Coroutine- Control.Monad.Hefty.Input- Control.Monad.Hefty.Output- Control.Monad.Hefty.Unlift- Control.Monad.Hefty.Provider- Control.Monad.Hefty.KVStore- Control.Monad.Hefty.Fresh- Control.Monad.Hefty.Fail- Control.Monad.Hefty.Concurrent.Parallel- Control.Monad.Hefty.Concurrent.Stream- Control.Monad.Hefty.Concurrent.Timer- Control.Monad.Hefty.Concurrent.Subprocess- Control.Monad.Hefty.Log-- reexported-modules:- -- Control.Monad.Hefty,- Data.Effect,- Data.Effect.TH,- Data.Effect.Tag,- Data.Effect.HFunctor,- Data.Effect.HFunctor.HCont,- Data.Effect.HFunctor.TH,- Control.Effect,- Data.Effect.Reader,- Data.Effect.Writer,- Data.Effect.State,- Data.Effect.Except,- Data.Effect.CC,- Data.Effect.Shift,- Data.Effect.NonDet,- Data.Effect.Coroutine,- Data.Effect.Input,- Data.Effect.Output,- Data.Effect.Unlift,- Data.Effect.Provider,- Data.Effect.KVStore,- Data.Effect.Fresh,- Data.Effect.Fail,- Data.Effect.Concurrent.Parallel,- Data.Effect.Concurrent.Timer,- Data.Effect.Log,-- -- Modules included in this executable, other than Main.- -- other-modules:-- -- LANGUAGE extensions used by modules in this package.- -- other-extensions:- build-depends:-- hs-source-dirs: src--test-suite test- import: common-base-- main-is: Driver.hs- other-modules:- Test.Semantics- Test.Writer- Test.Pyth- Test.Coroutine- Test.Concurrent- Test.UnliftIO-- hs-source-dirs: test-- build-depends:- heftia-effects,- tasty >= 1.4 && < 1.6,- tasty-hspec ^>= 1.2,- hspec >= 2.5 && < 2.12,- unliftio ^>= 0.2,-- build-tool-depends:- tasty-discover:tasty-discover-- type: exitcode-stdio-1.0--executable Teletype- import: common-base-- main-is: Main.hs- hs-source-dirs: Example/Teletype- build-depends:- heftia-effects,--executable KeyTeletype- import: common-base-- main-is: Main.hs- hs-source-dirs: Example/KeyTeletype- build-depends:- heftia-effects,--executable Logging- import: common-base-- main-is: Main.hs- hs-source-dirs: Example/Logging- build-depends:- heftia-effects,- text >= 2.0 && < 2.2,- time,--executable Continuation- import: common-base-- main-is: Main.hs- hs-source-dirs: Example/Continuation- build-depends:- heftia-effects,--executable Writer- import: common-base-- main-is: Main.hs- hs-source-dirs: Example/Writer- build-depends:- heftia-effects,--executable SemanticsZoo- import: common-base-- main-is: Main.hs- hs-source-dirs: Example/SemanticsZoo- build-depends:- heftia-effects,--executable DatabaseProvider- import: common-base-- main-is: Main.hs- hs-source-dirs: Example/DatabaseProvider- build-depends:- heftia-effects,--executable Subprocess- import: common-base-- main-is: Main.hs- hs-source-dirs: Example/Subprocess- build-depends:- heftia-effects,--executable UnliftIO- import: common-base-- main-is: Main.hs- hs-source-dirs: Example/UnliftIO- build-depends:- heftia-effects,--executable Stream- import: common-base-- main-is: Main.hs- hs-source-dirs: Example/Stream- build-depends:- heftia-effects,--executable NonDet- import: common-base-- main-is: Main.hs- hs-source-dirs: Example/NonDet- build-depends:- heftia-effects,- text,- filepath >= 1.4.2.2 && < 1.6,--benchmark heftia-bench- import: common-base-- type: exitcode-stdio-1.0- hs-source-dirs: bench- main-is: Main.hs-- ghc-options: -fconstraint-solver-iterations=16-- build-depends:- heftia-effects,- polysemy ^>= 1.9,- fused-effects ^>= 1.1,- effectful >= 2.3 && < 2.6,- eveff ^>= 1.0,- mtl >= 2.2 && < 2.4,- logict >= 0.7.0.3 && < 0.9,- tasty-bench >= 0.3 && < 0.5,- mpeff,-- if impl(ghc >= 9.6) && impl(ghc < 9.10)- build-depends: eff-- if impl(ghc < 9.10)- build-depends: freer-simple ^>= 1.2-- default-extensions:- PackageImports-- other-modules:- BenchCountdown- BenchCatch- BenchLocal- BenchCoroutine- BenchPyth+cabal-version: 3.0 +name: heftia-effects +version: 0.6.0.0 +x-revision: 1 + +-- A short (one-line) description of the package. +synopsis: higher-order algebraic effects done right + +-- A longer description of the package. +description: + This library is the battery-included version of the [heftia](https://hackage.haskell.org/package/heftia) package, + providing interpreters for standard effects. + +-- A URL where users can report bugs. +bug-reports: https://github.com/sayo-hs/heftia + +-- The license under which the package is released. +license: MPL-2.0 +license-file: LICENSE +author: Sayo contributors <ymdfield@outlook.jp> +maintainer: ymdfield <ymdfield@outlook.jp> + +-- A copyright notice. +copyright: 2023-2025 Sayo contributors +category: Control, Effect, Monads + +extra-doc-files: + ChangeLog.md + NOTICE + README.md + +tested-with: GHC == {9.6.2, 9.8.4, 9.10.1, 9.12.2} + +source-repository head + type: git + location: https://github.com/sayo-hs/heftia + tag: v0.6.0 + subdir: heftia-effects + +common common-base + ghc-options: -Wall -Wredundant-constraints + default-language: GHC2021 + + default-extensions: + LambdaCase, + DerivingStrategies, + DataKinds, + TypeFamilies, + BlockArguments, + FunctionalDependencies, + RecordWildCards, + DefaultSignatures, + PatternSynonyms + + build-depends: + base >= 4.17 && < 4.22, + data-effects ^>= 0.4.0.2, + heftia ^>= 0.6, + time >= 1.11.1 && < 1.15, + unliftio ^>= 0.2, + unbounded-delays ^>= 0.1.1, + containers > 0.6.5 && < 0.8, + co-log-core ^>= 0.3.2, + process ^>= 1.6.15, + bytestring >= 0.11.1 && < 0.13, + text >= 1.2.5 && < 2.2, + +library + import: common-base + + exposed-modules: + Control.Monad.Hefty.Reader + Control.Monad.Hefty.Writer + Control.Monad.Hefty.State + Control.Monad.Hefty.Except + Control.Monad.Hefty.CC + Control.Monad.Hefty.Shift + Control.Monad.Hefty.NonDet + Control.Monad.Hefty.Coroutine + Control.Monad.Hefty.Input + Control.Monad.Hefty.Output + Control.Monad.Hefty.Unlift + Control.Monad.Hefty.Provider + Control.Monad.Hefty.KVStore + Control.Monad.Hefty.Fresh + Control.Monad.Hefty.Fail + Control.Monad.Hefty.Concurrent.Parallel + Control.Monad.Hefty.Concurrent.Stream + Control.Monad.Hefty.Concurrent.Timer + Control.Monad.Hefty.Concurrent.Subprocess + Control.Monad.Hefty.Log + + reexported-modules: + -- Control.Monad.Hefty, + Data.Effect, + Data.Effect.TH, + Data.Effect.Tag, + Data.Effect.HFunctor, + Data.Effect.HFunctor.HCont, + Data.Effect.HFunctor.TH, + Control.Effect, + Data.Effect.Reader, + Data.Effect.Writer, + Data.Effect.State, + Data.Effect.Except, + Data.Effect.CC, + Data.Effect.Shift, + Data.Effect.NonDet, + Data.Effect.Coroutine, + Data.Effect.Input, + Data.Effect.Output, + Data.Effect.Unlift, + Data.Effect.Provider, + Data.Effect.KVStore, + Data.Effect.Fresh, + Data.Effect.Fail, + Data.Effect.Concurrent.Parallel, + Data.Effect.Concurrent.Timer, + Data.Effect.Log, + + -- Modules included in this executable, other than Main. + -- other-modules: + + -- LANGUAGE extensions used by modules in this package. + -- other-extensions: + build-depends: + + hs-source-dirs: src + +test-suite test + import: common-base + + main-is: Driver.hs + other-modules: + Test.Semantics + Test.Writer + Test.Pyth + Test.Coroutine + Test.Concurrent + Test.UnliftIO + + hs-source-dirs: test + + build-depends: + heftia-effects, + tasty >= 1.4 && < 1.6, + tasty-hspec ^>= 1.2, + hspec >= 2.5 && < 2.12, + unliftio ^>= 0.2, + + build-tool-depends: + tasty-discover:tasty-discover + + type: exitcode-stdio-1.0 + +executable Teletype + import: common-base + + main-is: Main.hs + hs-source-dirs: Example/Teletype + build-depends: + heftia-effects, + +executable KeyTeletype + import: common-base + + main-is: Main.hs + hs-source-dirs: Example/KeyTeletype + build-depends: + heftia-effects, + +executable Logging + import: common-base + + main-is: Main.hs + hs-source-dirs: Example/Logging + build-depends: + heftia-effects, + text >= 2.0 && < 2.2, + time, + +executable Continuation + import: common-base + + main-is: Main.hs + hs-source-dirs: Example/Continuation + build-depends: + heftia-effects, + +executable Writer + import: common-base + + main-is: Main.hs + hs-source-dirs: Example/Writer + build-depends: + heftia-effects, + +executable SemanticsZoo + import: common-base + + main-is: Main.hs + hs-source-dirs: Example/SemanticsZoo + build-depends: + heftia-effects, + +executable DatabaseProvider + import: common-base + + main-is: Main.hs + hs-source-dirs: Example/DatabaseProvider + build-depends: + heftia-effects, + +executable Subprocess + import: common-base + + main-is: Main.hs + hs-source-dirs: Example/Subprocess + build-depends: + heftia-effects, + +executable UnliftIO + import: common-base + + main-is: Main.hs + hs-source-dirs: Example/UnliftIO + build-depends: + heftia-effects, + +executable Stream + import: common-base + + main-is: Main.hs + hs-source-dirs: Example/Stream + build-depends: + heftia-effects, + +executable NonDet + import: common-base + + main-is: Main.hs + hs-source-dirs: Example/NonDet + build-depends: + heftia-effects, + text, + filepath >= 1.4.2.2 && < 1.6, + +benchmark heftia-bench + import: common-base + + type: exitcode-stdio-1.0 + hs-source-dirs: bench + main-is: Main.hs + + ghc-options: -fconstraint-solver-iterations=16 + + build-depends: + heftia-effects, + polysemy ^>= 1.9, + fused-effects ^>= 1.1, + effectful >= 2.3 && < 2.6, + eveff ^>= 1.0, + mtl >= 2.2 && < 2.4, + logict >= 0.7.0.3 && < 0.9, + tasty-bench >= 0.3 && < 0.5, + mpeff, + + if impl(ghc >= 9.6) && impl(ghc < 9.10) + build-depends: eff + + if impl(ghc < 9.10) + build-depends: freer-simple ^>= 1.2 + + default-extensions: + PackageImports + + other-modules: + BenchCountdown + BenchCatch + BenchLocal + BenchCoroutine + BenchPyth