polysemy-research/polysemy
1
1
Fork 0
mirror of https://github.com/polysemy-research/polysemy.git synced 2024-09-11 10:36:40 +03:00
Code Issues Projects Releases Wiki Activity
d2c8131cb8
polysemy/polysemy.cabal

166 lines
4.8 KiB
Plaintext
Raw Normal View History

upload cabal file
2019-04-11 00:23:24 +03:00
cabal-version: 1.12
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
-- This file has been generated from package.yaml by hpack version 0.31.2.
upload cabal file
2019-04-11 00:23:24 +03:00
--
-- see: https://github.com/sol/hpack
--
hpack or cabal (or both) is a janky POS
2019-06-26 07:43:10 +03:00
-- hash: 5871506acb960e1595dcd500e8680727e555c25cfbd825e98b767b01c91cffc9
upload cabal file
2019-04-11 00:23:24 +03:00
name: polysemy
Release polysemy 0.5.0.0
2019-06-26 07:29:26 +03:00
version: 0.5.0.0
upload cabal file
2019-04-11 00:23:24 +03:00
synopsis: Higher-order, low-boilerplate, zero-cost free monads.
description: Please see the README on GitHub at <https://github.com/isovector/polysemy#readme>
category: Language
homepage: https://github.com/isovector/polysemy#readme
bug-reports: https://github.com/isovector/polysemy/issues
author: Sandy Maguire
maintainer: sandy@sandymaguire.me
copyright: 2019 Sandy Maguire
license: BSD3
license-file: LICENSE
build-type: Simple
extra-source-files:
README.md
ChangeLog.md
source-repository head
type: git
location: https://github.com/isovector/polysemy
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
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
upload cabal file
2019-04-11 00:23:24 +03:00
Polysemy.Error
Polysemy.Fixpoint
Polysemy.Input
Polysemy.Internal
Polysemy.Internal.Combinators
Polysemy.Internal.CustomErrors
Polysemy.Internal.Fixpoint
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
Polysemy.Internal.Forklift
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.Lift
Polysemy.Internal.NonDet
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
runIO instance
2019-04-14 22:00:29 +03:00
Polysemy.IO
upload cabal file
2019-04-11 00:23:24 +03:00
Polysemy.NonDet
Polysemy.Output
Polysemy.Reader
Polysemy.Resource
Polysemy.State
Polysemy.Trace
Polysemy.Writer
other-modules:
Let plugin know when to improve performance
2019-05-16 22:26:18 +03:00
Polysemy.Internal.PluginLookup
upload cabal file
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
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:
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
async >=2.2 && <3
, base >=4.9 && <5
Improve CI coverage -- now on GHC 8.4! (#39)
2019-06-20 00:25:37 +03:00
, containers >=0.5 && <0.7
Don't emit the FirstOrder error for unknown effects (#115) This PR introduces the FCF machinery that will give us more control over writing type-level functions. It defines an IfStuck a b c tyfam that will leave b around if a is stuck, otherwise it will fcf-evaluate c. Everything is polykinded so we can stack these things together to make big logic chains to emit specific variables depending on what exactly is stuck.
2019-06-17 00:14:36 +03:00
, first-class-families >=0.5.0.0 && <0.6
Release 0.1.2.1 (#51)
2019-05-18 18:42:14 +03:00
, mtl >=2.2.2 && <3
Improve CI coverage -- now on GHC 8.4! (#39)
2019-06-20 00:25:37 +03:00
, syb >=0.7 && <0.8
, template-haskell >=2.12.0.0 && <3
, th-abstraction >=0.3.1.0 && <0.4
, transformers >=0.5.2.0 && <0.6
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
Improve CI coverage -- now on GHC 8.4! (#39)
2019-06-20 00:25:37 +03:00
if impl(ghc < 8.6)
default-extensions: MonadFailDesugaring TypeInType
upload cabal file
2019-04-11 00:23:24 +03:00
if flag(dump-core)
ghc-options: -fplugin=DumpCore -fplugin-opt DumpCore:core-html
build-depends:
dump-core
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
if flag(error-messages)
hpack or cabal (or both) is a janky POS
2019-06-26 07:43:10 +03:00
cpp-options: -DCABAL_SERIOUSLY_CMON_MATE
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
else
cpp-options: -DNO_ERROR_MESSAGES
upload cabal file
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:
Release polysemy 0.2.1.0
2019-05-27 08:16:14 +03:00
AlternativeSpec
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
AsyncSpec
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
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
GetInspectorT (#71) * Evacuation wip * Two other uses of weave * Evacuator -> Inspector * Inspector test
2019-05-31 07:06:46 +03:00
InspectorSpec
add runBatchOutput
2019-04-20 13:57:56 +03:00
OutputSpec
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
upload cabal file
2019-04-11 00:23:24 +03:00
Paths_polysemy
hs-source-dirs:
test
add runBatchOutput
2019-04-20 13:57:56 +03:00
default-extensions: 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
Add hspec-discover to package build-tools Fixes #111
2019-06-16 03:12:18 +03:00
build-tool-depends:
hspec-discover:hspec-discover >=2.0
upload cabal file
2019-04-11 00:23:24 +03:00
build-depends:
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
async >=2.2 && <3
, base >=4.9 && <5
Improve CI coverage -- now on GHC 8.4! (#39)
2019-06-20 00:25:37 +03:00
, containers >=0.5 && <0.7
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
, doctest >=0.16.0.1 && <0.17
Don't emit the FirstOrder error for unknown effects (#115) This PR introduces the FCF machinery that will give us more control over writing type-level functions. It defines an IfStuck a b c tyfam that will leave b around if a is stuck, otherwise it will fcf-evaluate c. Everything is polykinded so we can stack these things together to make big logic chains to emit specific variables depending on what exactly is stuck.
2019-06-17 00:14:36 +03:00
, first-class-families >=0.5.0.0 && <0.6
Release 0.1.2.1 (#51)
2019-05-18 18:42:14 +03:00
, hspec >=2.6.0 && <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
, inspection-testing >=0.4.2 && <0.5
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
Improve CI coverage -- now on GHC 8.4! (#39)
2019-06-20 00:25:37 +03:00
, syb >=0.7 && <0.8
, template-haskell >=2.12.0.0 && <3
, th-abstraction >=0.3.1.0 && <0.4
, transformers >=0.5.2.0 && <0.6
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
Improve CI coverage -- now on GHC 8.4! (#39)
2019-06-20 00:25:37 +03:00
if impl(ghc < 8.6)
default-extensions: MonadFailDesugaring TypeInType
upload cabal file
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
add runBatchOutput
2019-04-20 13:57:56 +03:00
default-extensions: DataKinds DeriveFunctor FlexibleContexts GADTs LambdaCase PolyKinds RankNTypes ScopedTypeVariables StandaloneDeriving TypeApplications TypeOperators TypeFamilies UnicodeSyntax
upload cabal file
2019-04-11 00:23:24 +03:00
build-depends:
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
async >=2.2 && <3
, base >=4.9 && <5
Improve CI coverage -- now on GHC 8.4! (#39)
2019-06-20 00:25:37 +03:00
, containers >=0.5 && <0.7
upload cabal file
2019-04-11 00:23:24 +03:00
, criterion
Don't emit the FirstOrder error for unknown effects (#115) This PR introduces the FCF machinery that will give us more control over writing type-level functions. It defines an IfStuck a b c tyfam that will leave b around if a is stuck, otherwise it will fcf-evaluate c. Everything is polykinded so we can stack these things together to make big logic chains to emit specific variables depending on what exactly is stuck.
2019-06-17 00:14:36 +03:00
, first-class-families >=0.5.0.0 && <0.6
upload cabal file
2019-04-11 00:23:24 +03:00
, free
, freer-simple
, mtl
, polysemy
Improve CI coverage -- now on GHC 8.4! (#39)
2019-06-20 00:25:37 +03:00
, syb >=0.7 && <0.8
, template-haskell >=2.12.0.0 && <3
, th-abstraction >=0.3.1.0 && <0.4
, transformers >=0.5.2.0 && <0.6
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
Improve CI coverage -- now on GHC 8.4! (#39)
2019-06-20 00:25:37 +03:00
if impl(ghc < 8.6)
default-extensions: MonadFailDesugaring TypeInType
upload cabal file
2019-04-11 00:23:24 +03:00
default-language: Haskell2010
Reference in New Issue Copy Permalink