Cabal revisions of heftia-effects-0.4.0.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-cabal-version: 2.4-name: heftia-effects-version: 0.4.0.0---- A short (one-line) description of the package.-synopsis: higher-order 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 Koyoneda <ymdfield@outlook.jp>-maintainer: Sayo Koyoneda <ymdfield@outlook.jp>---- A copyright notice.-copyright: 2023-2024 Sayo Koyoneda-category: Control, Effect, Monads--extra-doc-files:- ChangeLog.md- NOTICE- README.md--tested-with:- GHC == 9.8.2- GHC == 9.4.1--source-repository head- type: git- location: https://github.com/sayo-hs/heftia- tag: v0.4.0- subdir: heftia-effects--common common-base- ghc-options: -Wall- default-language: GHC2021-- default-extensions:- LambdaCase,- DerivingStrategies,- DataKinds,- TypeFamilies,- BlockArguments,- FunctionalDependencies,- RecordWildCards,- DefaultSignatures,- PatternSynonyms-- build-depends:- base >= 4.17 && < 4.21,- data-effects ^>= 0.2,- heftia ^>= 0.4,- time >= 1.11.1 && < 1.15,- unliftio ^>= 0.2,- unbounded-delays ^>= 0.1.1,- ghc-typelits-knownnat ^>= 0.7,- containers > 0.6.5 && < 0.8,-- ghc-options: -Wall -fplugin GHC.TypeLits.KnownNat.Solver--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.ShiftReset- Control.Monad.Hefty.NonDet- Control.Monad.Hefty.Coroutine- Control.Monad.Hefty.Input- Control.Monad.Hefty.Output- Control.Monad.Hefty.Resource- Control.Monad.Hefty.Unlift- Control.Monad.Hefty.Provider- Control.Monad.Hefty.KVStore- Control.Monad.Hefty.Fresh- Control.Monad.Hefty.Fail- Control.Monad.Hefty.Concurrent.Timer-- reexported-modules:- Control.Monad.Hefty,- Data.Effect.OpenUnion,- Data.Effect,- Data.Effect.TH,- Data.Effect.Tag,- Data.Effect.Key,- Data.Effect.Key.TH,- Data.Effect.HFunctor,- Data.Effect.HFunctor.HCont,- Data.Effect.HFunctor.TH,- Control.Effect,- Control.Effect.Tag,- Control.Effect.Key,- Data.Effect.Reader,- Data.Effect.Writer,- Data.Effect.State,- Data.Effect.Except,- Data.Effect.ShiftReset,- Data.Effect.NonDet,- Data.Effect.Coroutine,- Data.Effect.Input,- Data.Effect.Output,- Data.Effect.Resource,- Data.Effect.Unlift,- Data.Effect.Provider,- Data.Effect.KVStore,- Data.Effect.Fresh,- Data.Effect.Fail,- Data.Effect.Concurrent.Timer,-- -- 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-- 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 KeyedEffects- import: common-base-- main-is: Main.hs- hs-source-dirs: Example/KeyedEffects- 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 Continuation2- import: common-base-- main-is: Main.hs- hs-source-dirs: Example/Continuation2- build-depends:- heftia-effects,- extra ^>= 1.7.14,--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 FileSystemProvider- import: common-base-- main-is: Main.hs- hs-source-dirs: Example/FileSystemProvider- build-depends:- heftia-effects,--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,- freer-simple ^>= 1.2,- polysemy ^>= 1.9,- fused-effects ^>= 1.1,- effectful ^>= 2.3,- eveff ^>= 1.0,- mtl >= 2.2 && < 2.4,- logict >= 0.7.0.3 && < 0.9,- tasty-bench >= 0.3 && < 0.5,- eff,- mpeff,-- default-extensions:- PackageImports-- other-modules:- BenchCountdown- BenchCatch- -- BenchLocal- BenchCoroutine- BenchPyth+cabal-version: 2.4 +name: heftia-effects +version: 0.4.0.0 +x-revision: 1 + +-- A short (one-line) description of the package. +synopsis: higher-order 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 Koyoneda <ymdfield@outlook.jp> +maintainer: Sayo Koyoneda <ymdfield@outlook.jp> + +-- A copyright notice. +copyright: 2023-2024 Sayo Koyoneda +category: Control, Effect, Monads + +extra-doc-files: + ChangeLog.md + NOTICE + README.md + +tested-with: + GHC == 9.8.2 + GHC == 9.4.1 + +source-repository head + type: git + location: https://github.com/sayo-hs/heftia + tag: v0.4.0 + subdir: heftia-effects + +common common-base + ghc-options: -Wall + default-language: GHC2021 + + default-extensions: + LambdaCase, + DerivingStrategies, + DataKinds, + TypeFamilies, + BlockArguments, + FunctionalDependencies, + RecordWildCards, + DefaultSignatures, + PatternSynonyms + + build-depends: + base >= 4.17 && < 4.21, + data-effects ^>= 0.2, + heftia ^>= 0.4, + time >= 1.11.1 && < 1.15, + unliftio ^>= 0.2, + unbounded-delays ^>= 0.1.1, + ghc-typelits-knownnat ^>= 0.7, + containers > 0.6.5 && < 0.8, + + ghc-options: -Wall -fplugin GHC.TypeLits.KnownNat.Solver + +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.ShiftReset + Control.Monad.Hefty.NonDet + Control.Monad.Hefty.Coroutine + Control.Monad.Hefty.Input + Control.Monad.Hefty.Output + Control.Monad.Hefty.Resource + Control.Monad.Hefty.Unlift + Control.Monad.Hefty.Provider + Control.Monad.Hefty.KVStore + Control.Monad.Hefty.Fresh + Control.Monad.Hefty.Fail + Control.Monad.Hefty.Concurrent.Timer + + reexported-modules: + Control.Monad.Hefty, + Data.Effect.OpenUnion, + Data.Effect, + Data.Effect.TH, + Data.Effect.Tag, + Data.Effect.Key, + Data.Effect.Key.TH, + Data.Effect.HFunctor, + Data.Effect.HFunctor.HCont, + Data.Effect.HFunctor.TH, + Control.Effect, + Control.Effect.Tag, + Control.Effect.Key, + Data.Effect.Reader, + Data.Effect.Writer, + Data.Effect.State, + Data.Effect.Except, + Data.Effect.ShiftReset, + Data.Effect.NonDet, + Data.Effect.Coroutine, + Data.Effect.Input, + Data.Effect.Output, + Data.Effect.Resource, + Data.Effect.Unlift, + Data.Effect.Provider, + Data.Effect.KVStore, + Data.Effect.Fresh, + Data.Effect.Fail, + Data.Effect.Concurrent.Timer, + + -- 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 + + 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 KeyedEffects + import: common-base + + main-is: Main.hs + hs-source-dirs: Example/KeyedEffects + 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 Continuation2 + import: common-base + + main-is: Main.hs + hs-source-dirs: Example/Continuation2 + build-depends: + heftia-effects, + extra ^>= 1.7.14, + +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 FileSystemProvider + import: common-base + + main-is: Main.hs + hs-source-dirs: Example/FileSystemProvider + build-depends: + heftia-effects, + +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, + freer-simple ^>= 1.2, + polysemy ^>= 1.9, + fused-effects ^>= 1.1, + effectful >= 2.3 && < 2.5, + eveff ^>= 1.0, + mtl >= 2.2 && < 2.4, + logict >= 0.7.0.3 && < 0.9, + tasty-bench >= 0.3 && < 0.5, + eff, + mpeff, + + default-extensions: + PackageImports + + other-modules: + BenchCountdown + BenchCatch + -- BenchLocal + BenchCoroutine + BenchPyth