2020-10-23 10:56:15 +03:00
|
|
|
cabal-version: 2.0
|
2019-04-11 00:23:24 +03:00
|
|
|
|
2020-10-23 10:56:15 +03:00
|
|
|
-- This file has been generated from package.yaml by hpack version 0.33.0.
|
2019-04-11 00:23:24 +03:00
|
|
|
--
|
|
|
|
-- see: https://github.com/sol/hpack
|
|
|
|
--
|
2020-11-18 22:46:14 +03:00
|
|
|
-- hash: 9d61a6c298262f3e765c48ccc01f30cd9c328104777970c3529931c4d5c4ca22
|
2019-04-11 00:23:24 +03:00
|
|
|
|
|
|
|
name: polysemy
|
2020-11-01 00:47:25 +03:00
|
|
|
version: 1.4.0.0
|
|
|
|
synopsis: Higher-order, low-boilerplate free monads.
|
2019-04-11 00:23:24 +03:00
|
|
|
description: Please see the README on GitHub at <https://github.com/isovector/polysemy#readme>
|
|
|
|
category: Language
|
2020-09-08 15:18:38 +03:00
|
|
|
homepage: https://github.com/polysemy-research/polysemy#readme
|
|
|
|
bug-reports: https://github.com/polysemy-research/polysemy/issues
|
2019-04-11 00:23:24 +03:00
|
|
|
author: Sandy Maguire
|
|
|
|
maintainer: sandy@sandymaguire.me
|
|
|
|
copyright: 2019 Sandy Maguire
|
|
|
|
license: BSD3
|
|
|
|
license-file: LICENSE
|
2019-10-28 19:13:44 +03:00
|
|
|
build-type: Custom
|
2019-04-11 00:23:24 +03:00
|
|
|
extra-source-files:
|
|
|
|
README.md
|
|
|
|
ChangeLog.md
|
|
|
|
|
|
|
|
source-repository head
|
|
|
|
type: git
|
2020-09-08 15:18:38 +03:00
|
|
|
location: https://github.com/polysemy-research/polysemy
|
2019-04-11 00:23:24 +03:00
|
|
|
|
2019-10-28 19:25:30 +03:00
|
|
|
custom-setup
|
|
|
|
setup-depends:
|
|
|
|
Cabal
|
|
|
|
, base >=4.9 && <5
|
|
|
|
, cabal-doctest >=1.0.6 && <1.1
|
|
|
|
|
2019-04-11 00:23:24 +03:00
|
|
|
flag dump-core
|
|
|
|
description: Dump HTML for the core generated by GHC during compilation
|
|
|
|
manual: True
|
|
|
|
default: False
|
|
|
|
|
|
|
|
flag error-messages
|
|
|
|
description: Provide custom error messages
|
|
|
|
manual: True
|
|
|
|
default: True
|
|
|
|
|
|
|
|
library
|
|
|
|
exposed-modules:
|
|
|
|
Polysemy
|
2019-06-26 07:01:12 +03:00
|
|
|
Polysemy.Async
|
2019-08-16 00:23:06 +03:00
|
|
|
Polysemy.AtomicState
|
2019-12-08 15:52:37 +03:00
|
|
|
Polysemy.Bundle
|
2019-07-11 18:02:26 +03:00
|
|
|
Polysemy.Embed
|
|
|
|
Polysemy.Embed.Type
|
2019-04-11 00:23:24 +03:00
|
|
|
Polysemy.Error
|
2019-08-06 16:07:54 +03:00
|
|
|
Polysemy.Fail
|
|
|
|
Polysemy.Fail.Type
|
2019-08-30 23:38:53 +03:00
|
|
|
Polysemy.Final
|
2019-04-11 00:23:24 +03:00
|
|
|
Polysemy.Fixpoint
|
|
|
|
Polysemy.Input
|
|
|
|
Polysemy.Internal
|
2019-12-08 15:52:37 +03:00
|
|
|
Polysemy.Internal.Bundle
|
2019-04-11 00:23:24 +03:00
|
|
|
Polysemy.Internal.Combinators
|
|
|
|
Polysemy.Internal.CustomErrors
|
2019-07-04 23:09:36 +03:00
|
|
|
Polysemy.Internal.CustomErrors.Redefined
|
2019-04-11 00:23:24 +03:00
|
|
|
Polysemy.Internal.Fixpoint
|
2019-06-26 06:46:54 +03:00
|
|
|
Polysemy.Internal.Forklift
|
2019-06-17 19:47:58 +03:00
|
|
|
Polysemy.Internal.Kind
|
2019-04-11 00:23:24 +03:00
|
|
|
Polysemy.Internal.NonDet
|
2019-08-30 23:38:53 +03:00
|
|
|
Polysemy.Internal.Strategy
|
2019-04-11 00:23:24 +03:00
|
|
|
Polysemy.Internal.Tactics
|
2019-06-18 19:23:27 +03:00
|
|
|
Polysemy.Internal.TH.Common
|
2019-04-11 00:23:24 +03:00
|
|
|
Polysemy.Internal.TH.Effect
|
|
|
|
Polysemy.Internal.Union
|
2019-08-30 23:38:53 +03:00
|
|
|
Polysemy.Internal.Writer
|
2019-04-14 22:00:29 +03:00
|
|
|
Polysemy.IO
|
2019-11-01 21:57:53 +03:00
|
|
|
Polysemy.Law
|
2019-12-08 15:52:37 +03:00
|
|
|
Polysemy.Membership
|
2019-04-11 00:23:24 +03:00
|
|
|
Polysemy.NonDet
|
|
|
|
Polysemy.Output
|
|
|
|
Polysemy.Reader
|
|
|
|
Polysemy.Resource
|
|
|
|
Polysemy.State
|
2019-11-01 21:57:53 +03:00
|
|
|
Polysemy.State.Law
|
2019-11-01 21:23:01 +03:00
|
|
|
Polysemy.Tagged
|
2019-04-11 00:23:24 +03:00
|
|
|
Polysemy.Trace
|
2019-11-01 21:30:30 +03:00
|
|
|
Polysemy.View
|
2019-04-11 00:23:24 +03:00
|
|
|
Polysemy.Writer
|
|
|
|
other-modules:
|
2019-05-16 22:26:18 +03:00
|
|
|
Polysemy.Internal.PluginLookup
|
2020-10-23 12:00:23 +03:00
|
|
|
Paths_polysemy
|
|
|
|
autogen-modules:
|
|
|
|
Paths_polysemy
|
2019-04-11 00:23:24 +03:00
|
|
|
hs-source-dirs:
|
|
|
|
src
|
|
|
|
default-extensions: DataKinds DeriveFunctor FlexibleContexts GADTs LambdaCase PolyKinds RankNTypes ScopedTypeVariables StandaloneDeriving TypeApplications TypeOperators TypeFamilies UnicodeSyntax
|
2019-05-23 10:49:26 +03:00
|
|
|
ghc-options: -Wall
|
2019-04-11 00:23:24 +03:00
|
|
|
build-depends:
|
2019-11-01 21:57:53 +03:00
|
|
|
QuickCheck >=2.11.3 && <3
|
|
|
|
, async >=2.2 && <3
|
2019-06-26 06:46:54 +03:00
|
|
|
, base >=4.9 && <5
|
2019-06-20 00:25:37 +03:00
|
|
|
, containers >=0.5 && <0.7
|
2020-03-10 10:35:34 +03:00
|
|
|
, first-class-families >=0.5.0.0 && <0.9
|
2019-05-18 18:42:14 +03:00
|
|
|
, mtl >=2.2.2 && <3
|
2019-08-16 00:23:06 +03:00
|
|
|
, stm >=2 && <3
|
2019-06-20 00:25:37 +03:00
|
|
|
, syb >=0.7 && <0.8
|
|
|
|
, template-haskell >=2.12.0.0 && <3
|
2020-10-17 01:53:17 +03:00
|
|
|
, th-abstraction >=0.3.1.0 && <0.5
|
2019-06-20 00:25:37 +03:00
|
|
|
, transformers >=0.5.2.0 && <0.6
|
2019-07-03 23:05:51 +03:00
|
|
|
, type-errors >=0.2.0.0
|
2019-07-20 15:48:42 +03:00
|
|
|
, type-errors-pretty >=0.0.0.0 && <0.1
|
2019-06-26 06:46:54 +03:00
|
|
|
, unagi-chan >=0.4.0.0 && <0.5
|
2019-06-20 00:25:37 +03:00
|
|
|
if impl(ghc < 8.6)
|
|
|
|
default-extensions: MonadFailDesugaring TypeInType
|
2019-04-11 00:23:24 +03:00
|
|
|
if flag(dump-core)
|
2019-07-01 09:13:37 +03:00
|
|
|
ghc-options: -fplugin=DumpCore -fplugin-opt=DumpCore:core-html
|
2019-04-11 00:23:24 +03:00
|
|
|
build-depends:
|
|
|
|
dump-core
|
2019-06-20 00:25:37 +03:00
|
|
|
if impl(ghc < 8.2.2)
|
|
|
|
build-depends:
|
|
|
|
unsupported-ghc-version >1 && <1
|
2019-04-11 00:23:24 +03:00
|
|
|
if flag(error-messages)
|
2019-06-26 07:43:10 +03:00
|
|
|
cpp-options: -DCABAL_SERIOUSLY_CMON_MATE
|
2019-06-16 03:04:11 +03:00
|
|
|
else
|
|
|
|
cpp-options: -DNO_ERROR_MESSAGES
|
2019-04-11 00:23:24 +03:00
|
|
|
default-language: Haskell2010
|
|
|
|
|
|
|
|
test-suite polysemy-test
|
|
|
|
type: exitcode-stdio-1.0
|
|
|
|
main-is: Main.hs
|
|
|
|
other-modules:
|
2019-05-27 08:16:14 +03:00
|
|
|
AlternativeSpec
|
2019-06-26 07:01:12 +03:00
|
|
|
AsyncSpec
|
2019-06-12 16:36:08 +03:00
|
|
|
BracketSpec
|
2019-06-16 03:04:11 +03:00
|
|
|
DoctestSpec
|
2019-11-01 19:54:54 +03:00
|
|
|
ErrorSpec
|
2019-08-06 16:07:54 +03:00
|
|
|
FailSpec
|
2019-08-30 23:38:53 +03:00
|
|
|
FinalSpec
|
2019-07-27 23:11:11 +03:00
|
|
|
FixpointSpec
|
2019-04-11 00:23:24 +03:00
|
|
|
FusionSpec
|
2019-05-23 10:49:26 +03:00
|
|
|
HigherOrderSpec
|
2019-05-31 07:06:46 +03:00
|
|
|
InspectorSpec
|
2019-06-27 07:35:52 +03:00
|
|
|
InterceptSpec
|
2019-12-08 15:52:37 +03:00
|
|
|
KnownRowSpec
|
2019-11-01 21:57:53 +03:00
|
|
|
LawsSpec
|
2019-04-20 13:57:56 +03:00
|
|
|
OutputSpec
|
2020-11-18 22:46:14 +03:00
|
|
|
TacticsSpec
|
2019-06-02 01:42:12 +03:00
|
|
|
ThEffectSpec
|
2019-06-18 19:36:38 +03:00
|
|
|
TypeErrors
|
2019-11-01 21:30:30 +03:00
|
|
|
ViewSpec
|
2019-07-08 16:59:33 +03:00
|
|
|
WriterSpec
|
2019-04-11 00:23:24 +03:00
|
|
|
Paths_polysemy
|
2020-10-23 10:56:15 +03:00
|
|
|
Build_doctests
|
|
|
|
autogen-modules:
|
|
|
|
Build_doctests
|
2019-04-11 00:23:24 +03:00
|
|
|
hs-source-dirs:
|
|
|
|
test
|
2019-04-20 13:57:56 +03:00
|
|
|
default-extensions: DataKinds DeriveFunctor FlexibleContexts GADTs LambdaCase PolyKinds RankNTypes ScopedTypeVariables StandaloneDeriving TypeApplications TypeOperators TypeFamilies UnicodeSyntax
|
2019-04-11 00:23:24 +03:00
|
|
|
ghc-options: -threaded -rtsopts -with-rtsopts=-N
|
2019-06-16 03:12:18 +03:00
|
|
|
build-tool-depends:
|
|
|
|
hspec-discover:hspec-discover >=2.0
|
2019-04-11 00:23:24 +03:00
|
|
|
build-depends:
|
2019-11-01 21:57:53 +03:00
|
|
|
QuickCheck >=2.11.3 && <3
|
|
|
|
, async >=2.2 && <3
|
2019-06-26 06:46:54 +03:00
|
|
|
, base >=4.9 && <5
|
2019-06-20 00:25:37 +03:00
|
|
|
, containers >=0.5 && <0.7
|
2019-06-16 03:04:11 +03:00
|
|
|
, doctest >=0.16.0.1 && <0.17
|
2020-03-10 10:35:34 +03:00
|
|
|
, first-class-families >=0.5.0.0 && <0.9
|
2019-05-18 18:42:14 +03:00
|
|
|
, hspec >=2.6.0 && <3
|
2019-06-26 06:46:54 +03:00
|
|
|
, inspection-testing >=0.4.2 && <0.5
|
2019-05-18 18:42:14 +03:00
|
|
|
, mtl >=2.2.2 && <3
|
2019-04-11 00:23:24 +03:00
|
|
|
, polysemy
|
2019-08-16 00:23:06 +03:00
|
|
|
, stm >=2 && <3
|
2019-06-20 00:25:37 +03:00
|
|
|
, syb >=0.7 && <0.8
|
|
|
|
, template-haskell >=2.12.0.0 && <3
|
2020-10-17 01:53:17 +03:00
|
|
|
, th-abstraction >=0.3.1.0 && <0.5
|
2019-06-20 00:25:37 +03:00
|
|
|
, transformers >=0.5.2.0 && <0.6
|
2019-07-03 23:05:51 +03:00
|
|
|
, type-errors >=0.2.0.0
|
2019-07-20 15:48:42 +03:00
|
|
|
, type-errors-pretty >=0.0.0.0 && <0.1
|
2019-06-26 06:46:54 +03:00
|
|
|
, unagi-chan >=0.4.0.0 && <0.5
|
2019-06-20 00:25:37 +03:00
|
|
|
if impl(ghc < 8.6)
|
|
|
|
default-extensions: MonadFailDesugaring TypeInType
|
2019-04-11 00:23:24 +03:00
|
|
|
default-language: Haskell2010
|
|
|
|
|
|
|
|
benchmark polysemy-bench
|
|
|
|
type: exitcode-stdio-1.0
|
|
|
|
main-is: countDown.hs
|
|
|
|
other-modules:
|
|
|
|
Poly
|
|
|
|
Paths_polysemy
|
|
|
|
hs-source-dirs:
|
|
|
|
bench
|
2019-04-20 13:57:56 +03:00
|
|
|
default-extensions: DataKinds DeriveFunctor FlexibleContexts GADTs LambdaCase PolyKinds RankNTypes ScopedTypeVariables StandaloneDeriving TypeApplications TypeOperators TypeFamilies UnicodeSyntax
|
2019-04-11 00:23:24 +03:00
|
|
|
build-depends:
|
2019-11-01 21:57:53 +03:00
|
|
|
QuickCheck >=2.11.3 && <3
|
|
|
|
, async >=2.2 && <3
|
2019-06-26 06:46:54 +03:00
|
|
|
, base >=4.9 && <5
|
2019-06-20 00:25:37 +03:00
|
|
|
, containers >=0.5 && <0.7
|
2019-04-11 00:23:24 +03:00
|
|
|
, criterion
|
2020-03-10 10:35:34 +03:00
|
|
|
, first-class-families >=0.5.0.0 && <0.9
|
2019-04-11 00:23:24 +03:00
|
|
|
, free
|
|
|
|
, freer-simple
|
|
|
|
, mtl
|
|
|
|
, polysemy
|
2019-08-16 00:23:06 +03:00
|
|
|
, stm >=2 && <3
|
2019-06-20 00:25:37 +03:00
|
|
|
, syb >=0.7 && <0.8
|
|
|
|
, template-haskell >=2.12.0.0 && <3
|
2020-10-17 01:53:17 +03:00
|
|
|
, th-abstraction >=0.3.1.0 && <0.5
|
2019-06-20 00:25:37 +03:00
|
|
|
, transformers >=0.5.2.0 && <0.6
|
2019-07-03 23:05:51 +03:00
|
|
|
, type-errors >=0.2.0.0
|
2019-07-20 15:48:42 +03:00
|
|
|
, type-errors-pretty >=0.0.0.0 && <0.1
|
2019-06-26 06:46:54 +03:00
|
|
|
, unagi-chan >=0.4.0.0 && <0.5
|
2019-06-20 00:25:37 +03:00
|
|
|
if impl(ghc < 8.6)
|
|
|
|
default-extensions: MonadFailDesugaring TypeInType
|
2019-04-11 00:23:24 +03:00
|
|
|
default-language: Haskell2010
|