Cabal revisions of heftia-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-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 is the core package for [heftia-effects](https://hackage.haskell.org/package/heftia-effects).-- Heftia is an extensible effects library that generalizes "Algebraic Effects and Handlers" to higher-order effects, providing users with maximum flexibility and delivering standard and reasonable speed.- In its generalization, the focus is on ensuring predictable results based on simple, consistent semantics, while preserving soundness.-- Please refer to the [Haddock documentation](https://hackage.haskell.org/package/heftia-0.5.0.0/docs/Control-Monad-Hefty.html) for usage and semantics.- For information on performance, please refer to [performance.md](https://github.com/sayo-hs/heftia/blob/v0.5.0/benchmark/performance.md).-- This library is inspired by the paper:-- * Casper Bach Poulsen and Cas van der Rest. 2023. Hefty Algebras: Modular- Elaboration of Higher-Order Algebraic Effects. Proc. ACM Program. Lang. 7,- POPL, Article 62 (January 2023), 31 pages. <https://doi.org/10.1145/3571255>-- The /elaboration/ approach proposed in the above paper allows for a straightforward treatment of higher-order effects.-- Heftia's data structure is an extension of the Freer monad, designed to be theoretically straightforward by eliminating ad-hoc elements.----- 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- 2016 Allele Dev; 2017 Ixperta Solutions s.r.o.; 2017 Alexis King-category: Control, 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--library- exposed-modules:- Control.Monad.Hefty- Control.Monad.Hefty.Types- Control.Monad.Hefty.Interpret- Control.Monad.Hefty.Interpret.State- Data.FTCQueue-- reexported-modules:- Data.Effect,- Data.Effect.TH,- Data.Effect.Tag,- Data.Effect.HFunctor,- Data.Effect.HFunctor.HCont,- Data.Effect.HFunctor.TH,- Data.Effect.OpenUnion,- Control.Effect,-- -- Modules included in this executable, other than Main.- -- other-modules:-- -- LANGUAGE extensions used by modules in this package.- -- other-extensions:- build-depends:- base >= 4.17 && < 4.22,- data-effects ^>= 0.4,- mtl >= 2.2.2 && < 2.4,- unliftio ^>= 0.2,-- hs-source-dirs: src- ghc-options: -Wall- default-language: GHC2021-- default-extensions:- LambdaCase,- DerivingStrategies,- DataKinds,- TypeFamilies,- BlockArguments,- FunctionalDependencies,- RecordWildCards,- DefaultSignatures,- PatternSynonyms---test-suite test- main-is: Driver.hs- hs-source-dirs: test- build-depends:- heftia,- base,- tasty >= 1.4 && < 1.6,- tasty-hunit ^>= 0.10,-- type: exitcode-stdio-1.0-- build-tool-depends:- tasty-discover:tasty-discover-- default-language: GHC2021-- default-extensions:- LambdaCase,- DerivingStrategies,- DataKinds,- TypeFamilies,- BlockArguments,- FunctionalDependencies,- RecordWildCards,- DefaultSignatures,- PatternSynonyms+cabal-version: 3.0 +name: heftia +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 is the core package for [heftia-effects](https://hackage.haskell.org/package/heftia-effects). + + Heftia is an extensible effects library that generalizes "Algebraic Effects and Handlers" to higher-order effects, providing users with maximum flexibility and delivering standard and reasonable speed. + In its generalization, the focus is on ensuring predictable results based on simple, consistent semantics, while preserving soundness. + + Please refer to the [Haddock documentation](https://hackage.haskell.org/package/heftia-0.5.0.0/docs/Control-Monad-Hefty.html) for usage and semantics. + For information on performance, please refer to [performance.md](https://github.com/sayo-hs/heftia/blob/v0.5.0/benchmark/performance.md). + + This library is inspired by the paper: + + * Casper Bach Poulsen and Cas van der Rest. 2023. Hefty Algebras: Modular + Elaboration of Higher-Order Algebraic Effects. Proc. ACM Program. Lang. 7, + POPL, Article 62 (January 2023), 31 pages. <https://doi.org/10.1145/3571255> + + The /elaboration/ approach proposed in the above paper allows for a straightforward treatment of higher-order effects. + + Heftia's data structure is an extension of the Freer monad, designed to be theoretically straightforward by eliminating ad-hoc elements. + + +-- 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 + 2016 Allele Dev; 2017 Ixperta Solutions s.r.o.; 2017 Alexis King +category: Control, 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 + +library + exposed-modules: + Control.Monad.Hefty + Control.Monad.Hefty.Types + Control.Monad.Hefty.Interpret + Control.Monad.Hefty.Interpret.State + Data.FTCQueue + + reexported-modules: + Data.Effect, + Data.Effect.TH, + Data.Effect.Tag, + Data.Effect.HFunctor, + Data.Effect.HFunctor.HCont, + Data.Effect.HFunctor.TH, + Data.Effect.OpenUnion, + Control.Effect, + + -- Modules included in this executable, other than Main. + -- other-modules: + + -- LANGUAGE extensions used by modules in this package. + -- other-extensions: + build-depends: + base >= 4.17 && < 4.22, + data-effects ^>= 0.4.0.2, + mtl >= 2.2.2 && < 2.4, + unliftio ^>= 0.2, + + hs-source-dirs: src + ghc-options: -Wall + default-language: GHC2021 + + default-extensions: + LambdaCase, + DerivingStrategies, + DataKinds, + TypeFamilies, + BlockArguments, + FunctionalDependencies, + RecordWildCards, + DefaultSignatures, + PatternSynonyms + + +test-suite test + main-is: Driver.hs + hs-source-dirs: test + build-depends: + heftia, + base, + tasty >= 1.4 && < 1.6, + tasty-hunit ^>= 0.10, + + type: exitcode-stdio-1.0 + + build-tool-depends: + tasty-discover:tasty-discover + + default-language: GHC2021 + + default-extensions: + LambdaCase, + DerivingStrategies, + DataKinds, + TypeFamilies, + BlockArguments, + FunctionalDependencies, + RecordWildCards, + DefaultSignatures, + PatternSynonyms