polysemy/polysemy-plugin/polysemy-plugin.cabal

cabal-version: 2.0

-- This file has been generated from package.yaml by hpack version 0.35.2.
--
-- see: https://github.com/sol/hpack

name:           polysemy-plugin
version:        0.4.5.2
synopsis:       Disambiguate obvious uses of effects.
description:    Please see the README on GitHub at <https://github.com/polysemy-research/polysemy/tree/master/polysemy-plugin#readme>
category:       Polysemy
homepage:       https://github.com/polysemy-research/polysemy#readme
bug-reports:    https://github.com/polysemy-research/polysemy/issues
author:         Sandy Maguire
maintainer:     sandy@sandymaguire.me
copyright:      2019 Sandy Maguire
license:        BSD3
license-file:   LICENSE
build-type:     Custom
extra-source-files:
    README.md
    ChangeLog.md

source-repository head
  type: git
  location: https://github.com/polysemy-research/polysemy

custom-setup
  setup-depends:
      Cabal <3.13
    , base >=4.9 && <5
    , cabal-doctest >=1.0.6 && <1.1

flag corelint
  description: Perform the corelint tests
  manual: True
  default: False

library
  exposed-modules:
      Polysemy.Plugin
      Polysemy.Plugin.Fundep
      Polysemy.Plugin.Fundep.Stuff
      Polysemy.Plugin.Fundep.Unification
      Polysemy.Plugin.Fundep.Utils
  other-modules:
      Paths_polysemy_plugin
  autogen-modules:
      Paths_polysemy_plugin
  hs-source-dirs:
      src
  default-extensions:
      DataKinds
      DeriveFunctor
      FlexibleContexts
      GADTs
      LambdaCase
      PolyKinds
      RankNTypes
      ScopedTypeVariables
      StandaloneDeriving
      TypeApplications
      TypeOperators
      TypeFamilies
      UnicodeSyntax
  build-depends:
      base >=4.9 && <5
    , containers >=0.5 && <0.8
    , ghc >=8.6.5 && <10
    , ghc-tcplugins-extra >=0.3 && <0.5
    , polysemy >=1.7
    , syb ==0.7.*
    , transformers >=0.5.2.0 && <0.7
  default-language: Haskell2010

test-suite polysemy-plugin-test
  type: exitcode-stdio-1.0
  main-is: Main.hs
  other-modules:
      AmbiguousSpec
      DoctestSpec
      ExampleSpec
      InsertSpec
      LegitimateTypeErrorSpec
      MultipleVarsSpec
      PluginSpec
      TypeErrors
      VDQSpec
      Paths_polysemy_plugin
      Build_doctests
  autogen-modules:
      Paths_polysemy_plugin
      Build_doctests
  hs-source-dirs:
      test
  default-extensions:
      DataKinds
      DeriveFunctor
      FlexibleContexts
      GADTs
      LambdaCase
      PolyKinds
      RankNTypes
      ScopedTypeVariables
      StandaloneDeriving
      TypeApplications
      TypeOperators
      TypeFamilies
      UnicodeSyntax
  ghc-options: -threaded -rtsopts -with-rtsopts=-N -fplugin=Polysemy.Plugin
  build-depends:
      base >=4.9 && <5
    , containers >=0.5 && <0.8
    , doctest >=0.16.0.1 && <0.23
    , ghc >=8.6.5 && <10
    , ghc-tcplugins-extra >=0.3 && <0.5
    , hspec >=2.6.0 && <3
    , hspec-discover
    , inspection-testing >=0.4.2 && <0.6
    , polysemy >=1.3.0.0
    , polysemy-plugin
    , should-not-typecheck >=2.1.0 && <3
    , syb ==0.7.*
    , transformers >=0.5.2.0 && <0.7
  default-language: Haskell2010
  if flag(corelint)
    ghc-options: -dcore-lint -dsuppress-all
Remove optimization phases, update package.yaml-s 2020-10-23 10:56:15 +03:00			`cabal-version: 2.0`
Release polysemy-plugin-0.2.0.0 2019-05-24 00:06:24 +03:00
release 1.9.1.0 and 0.4.5.0 2023-04-09 15:07:06 +03:00			`-- This file has been generated from package.yaml by hpack version 0.35.2.`
Release polysemy-plugin-0.2.0.0 2019-05-24 00:06:24 +03:00			`--`
			`-- see: https://github.com/sol/hpack`

			`name: polysemy-plugin`
Release polysemy-plugin 0.4.5.2 2023-12-29 16:27:12 +03:00			`version: 0.4.5.2`
Release polysemy-plugin-0.2.0.0 2019-05-24 00:06:24 +03:00			`synopsis: Disambiguate obvious uses of effects.`
update gh org in hackage description 2021-06-25 20:26:27 +03:00			`description: Please see the README on GitHub at <https://github.com/polysemy-research/polysemy/tree/master/polysemy-plugin#readme>`
Release polysemy-plugin-0.2.0.0 2019-05-24 00:06:24 +03:00			`category: Polysemy`
update polysemy-plugin.cabal 2021-03-27 18:04:06 +03:00			`homepage: https://github.com/polysemy-research/polysemy#readme`
			`bug-reports: https://github.com/polysemy-research/polysemy/issues`
Release polysemy-plugin-0.2.0.0 2019-05-24 00:06:24 +03:00			`author: Sandy Maguire`
			`maintainer: sandy@sandymaguire.me`
			`copyright: 2019 Sandy Maguire`
			`license: BSD3`
			`license-file: LICENSE`
Feature/cabal doctest and ghc 8.8.1 (#267) * Use cabal-doctest - Haskell build tools run in slightly different environments (meaning different package databases are available). - The nixpkgs build for polysemy-plugin is failing due to a missing package database, which causes the doctest to fail (more information here: https://github.com/NixOS/nixpkgs/issues/71164). - By using cabal-doctest we can expose the Haskell packages required to the doctests no matter the build tool we're using. * Use cabal-doctest in polysemy, build on GHC 8.8.1 - Use @googleson78 's changes to build polysemy on GHC 8.8.1, with slight modifications. The source distribution is now found in "dist-newstyle/sdist", so we've updated the command to point at that folder. Additionally, cabal v2-install doesn't support installing .tar.gz files in the same way v1-install did, so updated the command to use "cabal v1-install". - Modified polysemy to use "cabal-doctest" and so overcome issues with the doctest tests (see issue #258, PR #265). 2019-10-28 19:13:44 +03:00			`build-type: Custom`
Release polysemy-plugin-0.2.0.0 2019-05-24 00:06:24 +03:00			`extra-source-files:`
			`README.md`
			`ChangeLog.md`

			`source-repository head`
			`type: git`
update polysemy-plugin.cabal 2021-03-27 18:04:06 +03:00			`location: https://github.com/polysemy-research/polysemy`
Release polysemy-plugin-0.2.0.0 2019-05-24 00:06:24 +03:00
Feature/cabal doctest and ghc 8.8.1 (#267) * Use cabal-doctest - Haskell build tools run in slightly different environments (meaning different package databases are available). - The nixpkgs build for polysemy-plugin is failing due to a missing package database, which causes the doctest to fail (more information here: https://github.com/NixOS/nixpkgs/issues/71164). - By using cabal-doctest we can expose the Haskell packages required to the doctests no matter the build tool we're using. * Use cabal-doctest in polysemy, build on GHC 8.8.1 - Use @googleson78 's changes to build polysemy on GHC 8.8.1, with slight modifications. The source distribution is now found in "dist-newstyle/sdist", so we've updated the command to point at that folder. Additionally, cabal v2-install doesn't support installing .tar.gz files in the same way v1-install did, so updated the command to use "cabal v1-install". - Modified polysemy to use "cabal-doctest" and so overcome issues with the doctest tests (see issue #258, PR #265). 2019-10-28 19:13:44 +03:00			`custom-setup`
Patch package.yaml from #267 2019-10-28 19:25:30 +03:00			`setup-depends:`
Support Cabal 3.12. 2024-07-07 20:31:39 +03:00			`Cabal <3.13`
Patch package.yaml from #267 2019-10-28 19:25:30 +03:00			`, base >=4.9 && <5`
			`, cabal-doctest >=1.0.6 && <1.1`
Feature/cabal doctest and ghc 8.8.1 (#267) * Use cabal-doctest - Haskell build tools run in slightly different environments (meaning different package databases are available). - The nixpkgs build for polysemy-plugin is failing due to a missing package database, which causes the doctest to fail (more information here: https://github.com/NixOS/nixpkgs/issues/71164). - By using cabal-doctest we can expose the Haskell packages required to the doctests no matter the build tool we're using. * Use cabal-doctest in polysemy, build on GHC 8.8.1 - Use @googleson78 's changes to build polysemy on GHC 8.8.1, with slight modifications. The source distribution is now found in "dist-newstyle/sdist", so we've updated the command to point at that folder. Additionally, cabal v2-install doesn't support installing .tar.gz files in the same way v1-install did, so updated the command to use "cabal v1-install". - Modified polysemy to use "cabal-doctest" and so overcome issues with the doctest tests (see issue #258, PR #265). 2019-10-28 19:13:44 +03:00
Release polysemy-plugin-0.2.4.0 2019-10-29 15:24:39 +03:00			`flag corelint`
			`description: Perform the corelint tests`
			`manual: True`
			`default: False`

Release polysemy-plugin-0.2.0.0 2019-05-24 00:06:24 +03:00			`library`
			`exposed-modules:`
			`Polysemy.Plugin`
			`Polysemy.Plugin.Fundep`
Cleanup and document fundep plugin (#155) I made the code style agree with the rest of the codebase, and I wrote down everything I know about how this works. 2019-07-05 21:14:45 +03:00			`Polysemy.Plugin.Fundep.Stuff`
			`Polysemy.Plugin.Fundep.Unification`
			`Polysemy.Plugin.Fundep.Utils`
Release polysemy-plugin-0.2.0.0 2019-05-24 00:06:24 +03:00			`other-modules:`
			`Paths_polysemy_plugin`
Add Paths_* to generated-other-modules 2020-10-23 12:00:23 +03:00			`autogen-modules:`
			`Paths_polysemy_plugin`
Release polysemy-plugin-0.2.0.0 2019-05-24 00:06:24 +03:00			`hs-source-dirs:`
			`src`
add basic nix build 2021-01-25 01:37:04 +03:00			`default-extensions:`
			`DataKinds`
			`DeriveFunctor`
			`FlexibleContexts`
			`GADTs`
			`LambdaCase`
			`PolyKinds`
			`RankNTypes`
			`ScopedTypeVariables`
			`StandaloneDeriving`
			`TypeApplications`
			`TypeOperators`
			`TypeFamilies`
			`UnicodeSyntax`
Release polysemy-plugin-0.2.0.0 2019-05-24 00:06:24 +03:00			`build-depends:`
Improve CI coverage -- now on GHC 8.4! (#39) 2019-06-20 00:25:37 +03:00			`base >=4.9 && <5`
Support Cabal 3.12. 2024-07-07 20:31:39 +03:00			`, containers >=0.5 && <0.8`
start migration to ghc9 (#410) * start migration to ghc9 * add ghc9 support for polysemy-plugin * bump doctest version in package.yaml * fix doctest message containing incorrect spaces Co-authored-by: funketh <theodor.k.funke@gmail.com> 2021-05-03 17:45:18 +03:00			`, ghc >=8.6.5 && <10`
Support newer ghc-tcplugins-extra in latest stackage LTS 2020-06-18 15:30:42 +03:00			`, ghc-tcplugins-extra >=0.3 && <0.5`
Release polysemy-v1.7.0.0 and polysemy-plugin-v0.4.2.0 2021-11-17 02:10:50 +03:00			`, polysemy >=1.7`
add basic nix build 2021-01-25 01:37:04 +03:00			`, syb ==0.7.*`
support GHC 9.6 2023-04-06 21:22:42 +03:00			`, transformers >=0.5.2.0 && <0.7`
Release polysemy-plugin-0.2.0.0 2019-05-24 00:06:24 +03:00			`default-language: Haskell2010`

			`test-suite polysemy-plugin-test`
			`type: exitcode-stdio-1.0`
			`main-is: Main.hs`
			`other-modules:`
Plugin: Solve ambiguous types based on instances in scope (#424) * Properly track skolems for plugin unification * Cleanup imports * Add test * Stuff can now reference different packages * Tools for looking up instances * Add extra evidence * Solve AmbiguousSpec :) * Check givens for extra evidence * Use StateT to cache instance lookups * Remove numClass from Stuff * Documentation * Fix AmbiguousSpec * Don't need deriving strategies anymore * GHC9 imports * Polymorphic and MTPC tests 2021-10-23 01:29:29 +03:00			`AmbiguousSpec`
Don't emit ambiguous effect errors for genuine type errors (#149) This PR changes the plugin so it will notice an insoluble constraint of the form Sem r a ~ Foo, and mark that r takes part in a genuine type error. The plugin will then provide a bogus evidence term for IfStuck (IndexOf r _) _ _, which prevents the AmbiguousSend error message from firing. 2019-07-04 16:35:33 +03:00			`DoctestSpec`
Release polysemy-plugin-0.2.0.0 2019-05-24 00:06:24 +03:00			`ExampleSpec`
Add `insertAt` A combinator that allows adding effects at a specified index into the effect stack 2021-04-21 00:33:42 +03:00			`InsertSpec`
Fix #68 2019-05-28 22:48:03 +03:00			`LegitimateTypeErrorSpec`
polysemy-plugin: Reject ununifiable effect candidates early (#221) * polysemy-plugin: Reject ununifiable effect candidates early * Bump version, update changelog, expand tests 2019-09-04 18:11:01 +03:00			`MultipleVarsSpec`
Release polysemy-plugin-0.2.0.0 2019-05-24 00:06:24 +03:00			`PluginSpec`
Don't emit ambiguous effect errors for genuine type errors (#149) This PR changes the plugin so it will notice an insoluble constraint of the form Sem r a ~ Foo, and mark that r takes part in a genuine type error. The plugin will then provide a bogus evidence term for IfStuck (IndexOf r _) _ _, which prevents the AmbiguousSend error message from firing. 2019-07-04 16:35:33 +03:00			`TypeErrors`
Test for #47 2019-06-05 10:44:31 +03:00			`VDQSpec`
Release polysemy-plugin-0.2.0.0 2019-05-24 00:06:24 +03:00			`Paths_polysemy_plugin`
Remove optimization phases, update package.yaml-s 2020-10-23 10:56:15 +03:00			`Build_doctests`
			`autogen-modules:`
Extend Scoped (#459) * add variants of interpretScoped that allow additional local effects * add call site parameter to Scoped 2022-10-02 19:49:17 +03:00			`Paths_polysemy_plugin`
Remove optimization phases, update package.yaml-s 2020-10-23 10:56:15 +03:00			`Build_doctests`
Release polysemy-plugin-0.2.0.0 2019-05-24 00:06:24 +03:00			`hs-source-dirs:`
			`test`
add basic nix build 2021-01-25 01:37:04 +03:00			`default-extensions:`
			`DataKinds`
			`DeriveFunctor`
			`FlexibleContexts`
			`GADTs`
			`LambdaCase`
			`PolyKinds`
			`RankNTypes`
			`ScopedTypeVariables`
			`StandaloneDeriving`
			`TypeApplications`
			`TypeOperators`
			`TypeFamilies`
			`UnicodeSyntax`
Release polysemy-plugin-0.2.4.0 2019-10-29 15:24:39 +03:00			`ghc-options: -threaded -rtsopts -with-rtsopts=-N -fplugin=Polysemy.Plugin`
Release polysemy-plugin-0.2.0.0 2019-05-24 00:06:24 +03:00			`build-depends:`
Improve CI coverage -- now on GHC 8.4! (#39) 2019-06-20 00:25:37 +03:00			`base >=4.9 && <5`
Support Cabal 3.12. 2024-07-07 20:31:39 +03:00			`, containers >=0.5 && <0.8`
relax doctest bounds 2023-09-01 02:23:33 +03:00			`, doctest >=0.16.0.1 && <0.23`
start migration to ghc9 (#410) * start migration to ghc9 * add ghc9 support for polysemy-plugin * bump doctest version in package.yaml * fix doctest message containing incorrect spaces Co-authored-by: funketh <theodor.k.funke@gmail.com> 2021-05-03 17:45:18 +03:00			`, ghc >=8.6.5 && <10`
Support newer ghc-tcplugins-extra in latest stackage LTS 2020-06-18 15:30:42 +03:00			`, ghc-tcplugins-extra >=0.3 && <0.5`
Release polysemy-plugin-0.2.0.0 2019-05-24 00:06:24 +03:00			`, hspec >=2.6.0 && <3`
Scoped without resource param (#462) 2022-10-17 00:12:00 +03:00			`, hspec-discover`
Allow inspection-testing 0.5 Builds fine and all tests pass. 2022-12-30 00:12:45 +03:00			`, inspection-testing >=0.4.2 && <0.6`
1.3.0.0 (#318) * v1.3.0.0 * Update version and version bounds for polysemy and polysemy-plugin 2020-02-13 23:21:32 +03:00			`, polysemy >=1.3.0.0`
Release polysemy-plugin-0.2.0.0 2019-05-24 00:06:24 +03:00			`, polysemy-plugin`
			`, should-not-typecheck >=2.1.0 && <3`
add basic nix build 2021-01-25 01:37:04 +03:00			`, syb ==0.7.*`
support GHC 9.6 2023-04-06 21:22:42 +03:00			`, transformers >=0.5.2.0 && <0.7`
Fix scoped within scoped incoherency. Add `runScopedNew` (#466) 2022-12-28 17:32:14 +03:00			`default-language: Haskell2010`
Release polysemy-plugin-0.2.4.0 2019-10-29 15:24:39 +03:00			`if flag(corelint)`
			`ghc-options: -dcore-lint -dsuppress-all`