Andrzej Rybczak
333d448012
Rename Reified to Provider as it's more accurate
2023-05-22 16:26:17 +02:00
Andrzej Rybczak
c461886102
Add support for turning an effect handler into an effectul operation ( #135 )
2023-05-21 05:48:15 +02:00
Andrzej Rybczak
2020781aa4
Make withEffToIO explicitly take an unlifting strategy ( #160 )
2023-05-18 21:13:34 +02:00
Andrzej Rybczak
11d1fdb061
Test with GHC 9.2.7 and 9.6.1 ( #147 )
2023-03-13 09:08:16 +01:00
Andrzej Rybczak
24ff96f97c
Test with GHC 9.6 ( #145 )
2023-03-05 20:40:30 +01:00
Andrzej Rybczak
efa513f51a
Test with GHC 9.2.6
2023-02-14 23:32:13 +01:00
Andrzej Rybczak
19e7532f0a
Use C sources only with GHC < 9 ( #139 )
2023-02-14 22:48:37 +01:00
Andrzej Rybczak
4a1b690a67
Allow inject to turn a monomorphic effect stack into a polymorphic one ( #136 )
2023-02-01 15:25:29 +01:00
Andrzej Rybczak
b43f23c32c
Stop using the internal library because of bugs in stack ( #126 )
2023-01-12 12:15:38 +01:00
Andrzej Rybczak
7becb972ea
Update CI ( #122 )
2023-01-01 20:29:15 +01:00
Andrzej Rybczak
69a03e8cac
Update CHANGELOG
2022-12-09 17:27:57 +01:00
Andrzej Rybczak
53db8ef75a
Add localSeqLift and localLift ( #109 )
2022-11-07 00:41:31 +01:00
Andrzej Rybczak
003375eb29
Add the NonDet effect ( #102 )
...
Co-authored-by: Mann mit Hut <github+mmhat@with-h.at>
2022-10-23 02:18:18 +02:00
Andrzej Rybczak
910338f7f2
Change PrimState for Eff from RealWorld to PrimStateEff ( #95 )
2022-08-30 23:49:49 +02:00
Andrzej Rybczak
72faf66c5a
Test with GHC 9.4.2
2022-08-29 17:34:27 +02:00
Andrzej Rybczak
6334e1399b
Include 'e :> localEs' constraint in the EffectHandler ( #88 )
2022-08-17 17:56:47 +02:00
Andrzej Rybczak
74da2829fb
Update CI
2022-08-03 15:27:44 +02:00
Andrzej Rybczak
f8b882c947
Make storage references in the environment immutable ( #77 )
...
It shuffles time complexities for `Env` operations around, but overall:
- It speeds things up because of less indirections.
- It makes the API simpler since there is no longer need to fork.
2022-08-03 14:09:07 +02:00
Andrzej Rybczak
19af2ec7f3
Change SuffixOf to SharedSuffix and make it behave as advertised ( #74 )
...
This both relaxes former advertised behavior of SuffixOf as well as makes it
behave properly as the type family version didn't.
2022-07-28 03:14:14 +02:00
Andrzej Rybczak
a9494026b7
Don't reset the strategy inside the continuation in withEffToIO ( #70 )
...
Fixes https://github.com/haskell-effectful/effectful/issues/69 .
2022-07-18 15:41:15 +02:00
Andrzej Rybczak
fb2ec9a873
Slightly update description of packages
2022-07-15 01:48:05 +02:00
Andrzej Rybczak
1ebe7e1658
Release 1.0.0.0 ( #67 )
...
Fixes https://github.com/haskell-effectful/effectful/issues/20 .
2022-07-13 22:05:35 +02:00
Andrzej Rybczak
b623560e7f
Documentation
2022-07-13 16:57:37 +02:00
Andrzej Rybczak
f95b08cd3f
Test with GHC 9.2.3
2022-05-31 07:12:44 +02:00
Andrzej Rybczak
704d7ced39
Add GHC 9.4 to CI
2022-05-29 05:13:32 +02:00
Andrzej Rybczak
e15aa5d89a
Update links to the repo
2022-05-29 05:05:13 +02:00
Andrzej Rybczak
daca435f0b
Rewrite Env for simpler code and support for more operations
2022-03-12 03:19:30 +01:00
Andrzej Rybczak
94e54ea884
Test with GHC 9.2.2
2022-03-07 21:17:21 +01:00
Andrzej Rybczak
907a4c10f1
Disable -Wunticked-promoted-constructors
...
See https://gitlab.haskell.org/ghc/ghc/-/issues/20531 .
2022-02-26 03:52:00 +01:00
Andrzej Rybczak
cc25dc9ef4
Split Effectful.Dispatch.Static into different modules
2022-02-12 02:44:41 +01:00
Andrzej Rybczak
bf6ce5abe3
Move Effectful.Monad to Effectful
2022-01-23 02:04:20 +01:00
Andrzej Rybczak
513e632178
Distinguish between dispatch in module names of base effects
...
Fixes #50 .
2022-01-10 20:19:35 +01:00
Andrzej Rybczak
6632678e2f
Add 9.0.2 to CI
2022-01-06 12:19:29 +01:00
Andrzej Rybczak
bc05397c85
Remove broken 9.0.1 from CI
...
9.0.2 will be added once it's available.
2021-12-29 08:45:31 +01:00
Andrzej Rybczak
4df14b294a
Include DeriveGeneric in the language stanza
2021-12-16 18:44:03 +01:00
Andrzej Rybczak
c7ae66e3bc
Fix CI
2021-12-16 18:16:33 +01:00
Andrzej Rybczak
0363e15c0e
Add lower bounds for deps and improve haddock a bit
2021-12-16 17:14:43 +01:00
Andrzej Rybczak
1560ddcde6
Add public API for statically dispatched effects
2021-12-04 15:50:09 +01:00
Mann mit Hut
1a4a824f4b
Use own error type for unlifting errors ( #34 )
...
* Use own error type for unlifting errors
* Effectful.Internal.Error.EffectfulError -> Effectful.Internal.Unlift.UnliftError
* Moved more unlifting related code to Effectful.Internal.Unlift
* Apply suggestions from code review
Co-authored-by: Andrzej Rybczak <arybczak@users.noreply.github.com>
* Added Generic instances for unlifting types
* Strict fields in UnliftError
* Naming of tests
* Use Optics in test suite
* Added `unsafeUnliftToEff`
* Fixed link in description of effectful-core
* Added note for descriptive error messages to UnliftError
* UnliftTests: Follow naming scheme in other test modules
Co-authored-by: Andrzej Rybczak <arybczak@users.noreply.github.com>
2021-11-11 10:40:04 +01:00
Andrzej Rybczak
40abe51d02
Update CI
2021-11-04 21:08:17 +01:00
Andrzej Rybczak
2ec4a629a4
Update CI
2021-09-25 12:06:41 +02:00
Andrzej Rybczak
32aad5570b
Adjust package descriptions
2021-09-25 09:04:24 +02:00
Andrzej Rybczak
f68ee23532
Turn off StrictData and make fields lazy where appropriate
2021-07-29 00:09:56 +02:00
Andrzej Rybczak
bd280b40ad
Bump versions to 0.1
2021-07-28 23:19:11 +02:00
Andrzej Rybczak
50cdcbf9e0
Add Effectful.Prim
2021-07-26 17:04:05 +02:00
Mann mit Hut
f0bf1e49db
Split effectful package ( #27 )
...
* Moved effectful library to a subdirectory
* Initial commit of the effectful-core library
* Removed tests/benchmarks/examples from effectful-core package
* Removed READMEs from packages
* Updated CI
* Refactored doctest script
This is a bit closer to the CI setup.
* Adjusted dependencies
* Updated README
* Updated the package descriptions
* Added examples to test suite
2021-07-25 15:18:35 +02:00