polysemy-research/polysemy
1
1
Fork 0
mirror of https://github.com/polysemy-research/polysemy.git synced 2024-08-16 05:50:31 +03:00
Code Issues Projects Releases Wiki Activity
master
polysemy/polysemy.cabal

189 lines
4.6 KiB
Plaintext
Raw Permalink Normal View History

Remove optimization phases, update package.yaml-s
2020-10-23 10:56:15 +03:00
cabal-version: 2.0
upload cabal file
2019-04-11 00:23:24 +03:00
Release 1.9.2.0
2024-06-03 21:58:20 +03:00
-- This file has been generated from package.yaml by hpack version 0.36.0.
upload cabal file
2019-04-11 00:23:24 +03:00
--
-- see: https://github.com/sol/hpack
name: polysemy
Release 1.9.2.0
2024-06-03 21:58:20 +03:00
version: 1.9.2.0
Release 1.4.0.0 (#387)
2020-11-01 00:47:25 +03:00
synopsis: Higher-order, low-boilerplate free monads.
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#readme>
upload cabal file
2019-04-11 00:23:24 +03:00
category: Language
update github org
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
upload cabal file
2019-04-11 00:23:24 +03:00
author: Sandy Maguire
Release v1.8.0.0
2022-12-22 20:25:20 +03:00
maintainer: https://funprog.zulipchat.com/#narrow/stream/216942-Polysemy
copyright: 2019-2023 The Polysemy Lounge
upload cabal file
2019-04-11 00:23:24 +03:00
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
upload cabal file
2019-04-11 00:23:24 +03:00
extra-source-files:
README.md
ChangeLog.md
source-repository head
type: git
update github org
2020-09-08 15:18:38 +03:00
location: https://github.com/polysemy-research/polysemy
upload cabal file
2019-04-11 00:23:24 +03:00
Patch package.yaml from #267
2019-10-28 19:25:30 +03:00
custom-setup
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
upload cabal file
2019-04-11 00:23:24 +03:00
library
exposed-modules:
Polysemy
Async effect (#129) Here's an Async effect that does exactly what you'd expect. Fixes #80
2019-06-26 07:01:12 +03:00
Polysemy.Async
Add AtomicState and atomic interpreters for Output/Writer (#206) * Add AtomicState and atomic interpreters for Output/Writer * Fixed a word in docs, moved test functions around * Remove runWriterIORef and runWriterTVar
2019-08-16 00:23:06 +03:00
Polysemy.AtomicState
Membership proof rewrite, membership testing, Bundle effect (#282) * Union rewrite * Exports, tests, and renamed KnownEffectRow * Got rid of artifacts accidently introduced * More documentation. tryMembership seperate from KnownRow * 'expose' combinator * Applied review suggestions, add Membership module * Fixed a replace-all goof * Scrap expose/Using in favor of interceptUsing/H * Fixed Haddock failure
2019-12-08 15:52:37 +03:00
Polysemy.Bundle
Rename Lift to Embed (#161) * Move Polysemy.Internal.Lift to Polysemy.Lift.Type * Add Polysemy.Lift module and runLift interpreter * Add a Sandy reminder * Add explicit foralls and split type signature * Fix import spacing, for there is no "qualified" * Implement runIO in terms of runLift * Rename Lift -> Embed * Replace sendM with embed * Add a Sandy todo for embed version * Rename runEmbed and related runEmbedded (from IO) * runEmbedded -> runEmbeddedInIO * runEmbed -> runEmbedded * Update cabal
2019-07-11 18:02:26 +03:00
Polysemy.Embed
Polysemy.Embed.Type
upload cabal file
2019-04-11 00:23:24 +03:00
Polysemy.Error
Add Fail effect (#199) * Add Fail effect * Add inlining to Fail interpreters, make Fail newtype * Hide visibility of Polysemy.Fixpoint.bomb, fix changelog * Revert "Hide visibility of Polysemy.Fixpoint.bomb, fix changelog" This reverts commit 5b043ed2151f0abdc6e8974c91f5546830dbeb2e. * Move Polysemy.Internal.Fail to Polysemy.Fail.Type. Fixed inconsistency in docs
2019-08-06 16:07:54 +03:00
Polysemy.Fail
Polysemy.Fail.Type
Add Final Effect (#217) * Add Final Effect * Changes per review, Final at top-level, doc changes * Update Changelog * Final touches to Final * Revert change to stack.yaml
2019-08-30 23:38:53 +03:00
Polysemy.Final
upload cabal file
2019-04-11 00:23:24 +03:00
Polysemy.Fixpoint
Polysemy.Input
Polysemy.Internal
Membership proof rewrite, membership testing, Bundle effect (#282) * Union rewrite * Exports, tests, and renamed KnownEffectRow * Got rid of artifacts accidently introduced * More documentation. tryMembership seperate from KnownRow * 'expose' combinator * Applied review suggestions, add Membership module * Fixed a replace-all goof * Scrap expose/Using in favor of interceptUsing/H * Fixed Haddock failure
2019-12-08 15:52:37 +03:00
Polysemy.Internal.Bundle
upload cabal file
2019-04-11 00:23:24 +03:00
Polysemy.Internal.Combinators
Polysemy.Internal.CustomErrors
Redefine Type.Errors directly in polysemy (#153) Fixes #152
2019-07-04 23:09:36 +03:00
Polysemy.Internal.CustomErrors.Redefined
upload cabal file
2019-04-11 00:23:24 +03:00
Polysemy.Internal.Fixpoint
Add `insertAt` A combinator that allows adding effects at a specified index into the effect stack
2021-04-21 00:33:42 +03:00
Polysemy.Internal.Index
Add kind synonyms for effects and effect rows Fixes #116
2019-06-17 19:47:58 +03:00
Polysemy.Internal.Kind
upload cabal file
2019-04-11 00:23:24 +03:00
Polysemy.Internal.NonDet
add Scoped
2021-12-02 20:32:27 +03:00
Polysemy.Internal.Scoped
Add `insertAt` A combinator that allows adding effects at a specified index into the effect stack
2021-04-21 00:33:42 +03:00
Polysemy.Internal.Sing
Add Final Effect (#217) * Add Final Effect * Changes per review, Final at top-level, doc changes * Update Changelog * Final touches to Final * Revert change to stack.yaml
2019-08-30 23:38:53 +03:00
Polysemy.Internal.Strategy
upload cabal file
2019-04-11 00:23:24 +03:00
Polysemy.Internal.Tactics
Split out effect lib (#83) This PR teases apart the reusable pieces of the current TH machinery. Doing so allows us to build other TH abstractions in polysemy --- such as an RPC effect.
2019-06-18 19:23:27 +03:00
Polysemy.Internal.TH.Common
upload cabal file
2019-04-11 00:23:24 +03:00
Polysemy.Internal.TH.Effect
Polysemy.Internal.Union
Add Final Effect (#217) * Add Final Effect * Changes per review, Final at top-level, doc changes * Update Changelog * Final touches to Final * Revert change to stack.yaml
2019-08-30 23:38:53 +03:00
Polysemy.Internal.Writer
runIO instance
2019-04-14 22:00:29 +03:00
Polysemy.IO
Membership proof rewrite, membership testing, Bundle effect (#282) * Union rewrite * Exports, tests, and renamed KnownEffectRow * Got rid of artifacts accidently introduced * More documentation. tryMembership seperate from KnownRow * 'expose' combinator * Applied review suggestions, add Membership module * Fixed a replace-all goof * Scrap expose/Using in favor of interceptUsing/H * Fixed Haddock failure
2019-12-08 15:52:37 +03:00
Polysemy.Membership
upload cabal file
2019-04-11 00:23:24 +03:00
Polysemy.NonDet
Fix scoped within scoped incoherency. Add `runScopedNew` (#466)
2022-12-28 17:32:14 +03:00
Polysemy.Opaque
upload cabal file
2019-04-11 00:23:24 +03:00
Polysemy.Output
Polysemy.Reader
Polysemy.Resource
add Scoped
2021-12-02 20:32:27 +03:00
Polysemy.Scoped
upload cabal file
2019-04-11 00:23:24 +03:00
Polysemy.State
Add Tagged Effect (#223)
2019-11-01 21:23:01 +03:00
Polysemy.Tagged
upload cabal file
2019-04-11 00:23:24 +03:00
Polysemy.Trace
Polysemy.Writer
other-modules:
Let plugin know when to improve performance
2019-05-16 22:26:18 +03:00
Polysemy.Internal.PluginLookup
Add Paths_* to generated-other-modules
2020-10-23 12:00:23 +03:00
Paths_polysemy
autogen-modules:
Paths_polysemy
upload cabal file
2019-04-11 00:23:24 +03:00
hs-source-dirs:
src
add basic nix build
2021-01-25 01:37:04 +03:00
default-extensions:
add Scoped
2021-12-02 20:32:27 +03:00
BlockArguments
add basic nix build
2021-01-25 01:37:04 +03:00
DataKinds
DeriveFunctor
FlexibleContexts
GADTs
LambdaCase
PolyKinds
RankNTypes
ScopedTypeVariables
StandaloneDeriving
TypeApplications
TypeOperators
TypeFamilies
UnicodeSyntax
Fix broken higher order effects (#58) * Fix a serious bug in interpretH and friends * Spec to prove reader works now
2019-05-23 10:49:26 +03:00
ghc-options: -Wall
upload cabal file
2019-04-11 00:23:24 +03:00
build-depends:
Remove Polysemy.Law (#437) * Remove Polysemy.Law * Beter changelog
2021-11-29 00:07:48 +03:00
async >=2.2 && <3
Forklift interpretations (#128) This PR provides a single function withLowerToIO, which runs a desired Sem r effect all the way down to IO, without needing to know the natural transformation beforehand. It does it by running the desired code in a new thread, and shipping all of the unhandled effects back to the main thread. The main thread turns into an event loop for the duration of the withLowerToIO block.
2019-06-26 06:46:54 +03:00
, base >=4.9 && <5
Support Cabal 3.12.
2024-07-07 20:31:39 +03:00
, containers >=0.5 && <0.8
Relax fcf bounds
2020-03-10 10:35:34 +03:00
, first-class-families >=0.5.0.0 && <0.9
Release 0.1.2.1 (#51)
2019-05-18 18:42:14 +03:00
, mtl >=2.2.2 && <3
add basic nix build
2021-01-25 01:37:04 +03:00
, stm ==2.*
, syb ==0.7.*
Improve CI coverage -- now on GHC 8.4! (#39)
2019-06-20 00:25:37 +03:00
, template-haskell >=2.12.0.0 && <3
bump th-abstraction
2024-03-20 23:07:05 +03:00
, th-abstraction >=0.3.1.0 && <0.8
support GHC 9.6
2023-04-06 21:22:42 +03:00
, transformers >=0.5.2.0 && <0.7
Use type-errors for our type errors! (#144) This PR has farmed out the type error machinery out to my new package https://github.com/isovector/type-errors. It's much nicer to work with, and a big red diff!
2019-07-03 23:05:51 +03:00
, type-errors >=0.2.0.0
Forklift interpretations (#128) This PR provides a single function withLowerToIO, which runs a desired Sem r effect all the way down to IO, without needing to know the natural transformation beforehand. It does it by running the desired code in a new thread, and shipping all of the unhandled effects back to the main thread. The main thread turns into an event loop for the duration of the withLowerToIO block.
2019-06-26 06:46:54 +03:00
, unagi-chan >=0.4.0.0 && <0.5
support GHC 9.6
2023-04-06 21:22:42 +03:00
default-language: Haskell2010
Improve CI coverage -- now on GHC 8.4! (#39)
2019-06-20 00:25:37 +03:00
if impl(ghc < 8.6)
add basic nix build
2021-01-25 01:37:04 +03:00
default-extensions:
MonadFailDesugaring
TypeInType
Improve CI coverage -- now on GHC 8.4! (#39)
2019-06-20 00:25:37 +03:00
if impl(ghc < 8.2.2)
build-depends:
unsupported-ghc-version >1 && <1
upload cabal file
2019-04-11 00:23:24 +03:00
test-suite polysemy-test
type: exitcode-stdio-1.0
main-is: Main.hs
other-modules:
Release polysemy 0.2.1.0
2019-05-27 08:16:14 +03:00
AlternativeSpec
Better Resource bracketing (#87)
2019-06-12 16:36:08 +03:00
BracketSpec
Custom type error testing (#113) This PR adds doctests allowing us to write tests for the custom type errors. Having this stuff reified in the test suite means we can iterate on the implementations and give much better QA.
2019-06-16 03:04:11 +03:00
DoctestSpec
Add fromException and fromExceptionVia (#270)
2019-11-01 19:54:54 +03:00
ErrorSpec
Add Fail effect (#199) * Add Fail effect * Add inlining to Fail interpreters, make Fail newtype * Hide visibility of Polysemy.Fixpoint.bomb, fix changelog * Revert "Hide visibility of Polysemy.Fixpoint.bomb, fix changelog" This reverts commit 5b043ed2151f0abdc6e8974c91f5546830dbeb2e. * Move Polysemy.Internal.Fail to Polysemy.Fail.Type. Fixed inconsistency in docs
2019-08-06 16:07:54 +03:00
FailSpec
Add Final Effect (#217) * Add Final Effect * Changes per review, Final at top-level, doc changes * Update Changelog * Final touches to Final * Revert change to stack.yaml
2019-08-30 23:38:53 +03:00
FinalSpec
Improve semantics of Fixpoint (#187) * Improve semantics of Fixpoint * Add tests for Fixpoint, update docs * Made the error test more rigorous * Added references in the docs for 'runFixpoint'
2019-07-27 23:11:11 +03:00
FixpointSpec
upload cabal file
2019-04-11 00:23:24 +03:00
FusionSpec
Fix broken higher order effects (#58) * Fix a serious bug in interpretH and friends * Spec to prove reader works now
2019-05-23 10:49:26 +03:00
HigherOrderSpec
Fix intercept not hoisting itself into embedded computations (#134) Fixes #133
2019-06-27 07:35:52 +03:00
InterceptSpec
Membership proof rewrite, membership testing, Bundle effect (#282) * Union rewrite * Exports, tests, and renamed KnownEffectRow * Got rid of artifacts accidently introduced * More documentation. tryMembership seperate from KnownRow * 'expose' combinator * Applied review suggestions, add Membership module * Fixed a replace-all goof * Scrap expose/Using in favor of interceptUsing/H * Fixed Haddock failure
2019-12-08 15:52:37 +03:00
KnownRowSpec
add runBatchOutput
2019-04-20 13:57:56 +03:00
OutputSpec
Scoped without resource param (#462)
2022-10-17 00:12:00 +03:00
ScopedSpec
Simple variants of runT and bindT (#393) * Simple variants of runT and bindT * Fix accidental removal of INLINE on reinterpretH * Rename bindTH and runTH to -Simple instead. Improve docs on these. * Update changelog and add @since TODOs
2020-11-18 22:46:14 +03:00
TacticsSpec
Move Random to polysemy-zoo (#78) * Move Random to zoo * Changelog
2019-06-02 01:42:12 +03:00
ThEffectSpec
Stop using stack in Travis (#121) The travis cache appears to be broken (probably due to the nightly stack?), but it just means CI takes like half an hour now. Since I already build on stack, I'm pretty sure it's fine --- also this will give a sanity check against accidentally breaking cabal build plans. This improves CI times from ~30 minutes down to ~2.
2019-06-18 19:36:38 +03:00
TypeErrors
Add Pass to Writer, replacing Censor. Fix semantics of listen (#169) * Added Pass to Writer, replacing Censor. Fixed semantics of listen * Swap order of elements in the Pass tuple * Sometimes I'm bad! Fixed compile error.
2019-07-08 16:59:33 +03:00
WriterSpec
upload cabal file
2019-04-11 00:23:24 +03:00
Paths_polysemy
Remove optimization phases, update package.yaml-s
2020-10-23 10:56:15 +03:00
Build_doctests
autogen-modules:
support GHC 9.4 in polysemy-plugin Thanks @teto
2022-12-27 15:35:31 +03:00
Paths_polysemy
Remove optimization phases, update package.yaml-s
2020-10-23 10:56:15 +03:00
Build_doctests
upload cabal file
2019-04-11 00:23:24 +03:00
hs-source-dirs:
test
add basic nix build
2021-01-25 01:37:04 +03:00
default-extensions:
add Scoped
2021-12-02 20:32:27 +03:00
BlockArguments
add basic nix build
2021-01-25 01:37:04 +03:00
DataKinds
DeriveFunctor
FlexibleContexts
GADTs
LambdaCase
PolyKinds
RankNTypes
ScopedTypeVariables
StandaloneDeriving
TypeApplications
TypeOperators
TypeFamilies
UnicodeSyntax
upload cabal file
2019-04-11 00:23:24 +03:00
ghc-options: -threaded -rtsopts -with-rtsopts=-N
build-depends:
Remove Polysemy.Law (#437) * Remove Polysemy.Law * Beter changelog
2021-11-29 00:07:48 +03:00
async >=2.2 && <3
Forklift interpretations (#128) This PR provides a single function withLowerToIO, which runs a desired Sem r effect all the way down to IO, without needing to know the natural transformation beforehand. It does it by running the desired code in a new thread, and shipping all of the unhandled effects back to the main thread. The main thread turns into an event loop for the duration of the withLowerToIO block.
2019-06-26 06:46:54 +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
Relax fcf bounds
2020-03-10 10:35:34 +03:00
, first-class-families >=0.5.0.0 && <0.9
Release 0.1.2.1 (#51)
2019-05-18 18:42:14 +03:00
, hspec >=2.6.0 && <3
Scoped without resource param (#462)
2022-10-17 00:12:00 +03:00
, hspec-discover >=2.0
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
Release 0.1.2.1 (#51)
2019-05-18 18:42:14 +03:00
, mtl >=2.2.2 && <3
upload cabal file
2019-04-11 00:23:24 +03:00
, polysemy
add basic nix build
2021-01-25 01:37:04 +03:00
, stm ==2.*
, syb ==0.7.*
Improve CI coverage -- now on GHC 8.4! (#39)
2019-06-20 00:25:37 +03:00
, template-haskell >=2.12.0.0 && <3
bump th-abstraction
2024-03-20 23:07:05 +03:00
, th-abstraction >=0.3.1.0 && <0.8
support GHC 9.6
2023-04-06 21:22:42 +03:00
, transformers >=0.5.2.0 && <0.7
Use type-errors for our type errors! (#144) This PR has farmed out the type error machinery out to my new package https://github.com/isovector/type-errors. It's much nicer to work with, and a big red diff!
2019-07-03 23:05:51 +03:00
, type-errors >=0.2.0.0
Forklift interpretations (#128) This PR provides a single function withLowerToIO, which runs a desired Sem r effect all the way down to IO, without needing to know the natural transformation beforehand. It does it by running the desired code in a new thread, and shipping all of the unhandled effects back to the main thread. The main thread turns into an event loop for the duration of the withLowerToIO block.
2019-06-26 06:46:54 +03:00
, unagi-chan >=0.4.0.0 && <0.5
support GHC 9.6
2023-04-06 21:22:42 +03:00
default-language: Haskell2010
Improve CI coverage -- now on GHC 8.4! (#39)
2019-06-20 00:25:37 +03:00
if impl(ghc < 8.6)
add basic nix build
2021-01-25 01:37:04 +03:00
default-extensions:
MonadFailDesugaring
TypeInType
Reference in New Issue Copy Permalink