Commit Graph

117 Commits

Author SHA1 Message Date
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
fa5ab274c8
Release effectful-core and effectful 1.1.0.0 (#72) 2022-07-19 13:29:14 +02:00
Andrzej Rybczak
a6845ef87d Update changelog 2022-07-18 15:41:48 +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
d74ae52e10
Add withReader (#68)
Fixes https://github.com/haskell-effectful/effectful/issues/9.
2022-07-17 17:58:59 +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
66c71d78d2 Add {run,eval,exec}StateMVar to a shared state 2022-07-13 21:44:01 +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
1c42aa82b6 Small update to intro 2022-05-31 07:08:52 +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
20848432bd Rename dynamic writer runners to match the module hierarchy 2022-05-29 04:50:28 +02:00
Andrzej Rybczak
35c12bb7d8 Rename dynamic state runners to match the module hierarchy 2022-05-29 04:49:34 +02:00
Andrzej Rybczak
7a81c6504c Adjustments 2022-05-27 11:35:27 +02:00
Andrzej Rybczak
38afa10f68 Add introduction 2022-05-27 11:06:10 +02:00
Andrzej Rybczak
69f0212ef1 Use mkIndex everywhere where appropriate 2022-05-27 06:23:19 +02:00
Andrzej Rybczak
ba4798f1eb Adjust rts_getThreadId to rts changes in GHC > 9.2 2022-04-06 22:55:22 +02:00
Andrzej Rybczak
48fc2b4f57 Slightly simpler relinkEffects 2022-04-06 21:10:44 +02:00
Andrzej Rybczak
7c1f7b3084 Add inject 2022-04-06 21:10:42 +02:00
Andrzej Rybczak
f3946f8a3f Make unEff more friendly for inlining 2022-04-06 18:33:53 +02:00
Andrzej Rybczak
344433fa9c Better code generation for subsume 2022-04-06 18:32:34 +02:00
Andrzej Rybczak
5d7ed78936 Add a warning about usage of unlifting functions outside of their scope 2022-03-30 01:47:59 +02:00
Andrzej Rybczak
a23a78913d Slight improvement of replaceEnv 2022-03-18 10:59:58 +01:00
Andrzej Rybczak
85fae67bbb Haddock adjustments 2022-03-15 22:09:58 +01:00
Andrzej Rybczak
7195356fc0 Add impose 2022-03-14 13:18:51 +01:00
Andrzej Rybczak
b5d8fb2987 Adjust the signature of interpose 2022-03-14 10:49:55 +01:00
Andrzej Rybczak
12e6bf962f Don't use mask_ in Effectful.Internal.Env
All relevant functions need to be called using bracket anyway.
2022-03-14 10:34:49 +01:00
Andrzej Rybczak
8bd30daf55 Add interpose and subsume 2022-03-14 10:25:26 +01:00
Andrzej Rybczak
a555c81611 Simplify how effects are added and removed from the storage 2022-03-13 21:19:38 +01:00
Andrzej Rybczak
f498219a24 Minor adjustments 2022-03-12 06:40:50 +01:00
Andrzej Rybczak
daca435f0b Rewrite Env for simpler code and support for more operations 2022-03-12 03:19:30 +01:00
Andrzej Rybczak
ce7112a309 Slight improvement to getLocation 2022-03-09 16:51:23 +01:00
Andrzej Rybczak
3890b0a600 Fix forkEnv and tailEnv 2022-03-09 16:24:35 +01:00
Andrzej Rybczak
94e54ea884 Test with GHC 9.2.2 2022-03-07 21:17:21 +01:00
Andrzej Rybczak
9034e8f572 Copy forks properly with over-tailed environment 2022-03-07 04:51:00 +01:00
Andrzej Rybczak
166e7e6188 Rename remaining releaseS to unmaskS 2022-03-07 02:27:40 +01:00
Andrzej Rybczak
013ea33ff4 Haddock improvement 2022-03-07 02:12:55 +01:00
Andrzej Rybczak
cf5e88ddb1 Remove rep-unsafe variants of functions 2022-03-07 02:02:17 +01:00
Andrzej Rybczak
3b72484d53 A bit faster relinking 2022-03-07 01:27:37 +01:00
Andrzej Rybczak
7f4d55595b Store the size of the Env directly and implement raise 2022-03-06 23:32:02 +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
24ea29a134 Fix typo 2022-02-24 22:56:55 +01:00
Andrzej Rybczak
b8c3711cbe Track whether static operations perform side effects 2022-02-16 22:00:09 +01:00
Andrzej Rybczak
cc25dc9ef4 Split Effectful.Dispatch.Static into different modules 2022-02-12 02:44:41 +01:00
Andrzej Rybczak
eef830f5aa Simplify runEff 2022-02-09 18:28:44 +01:00
Andrzej Rybczak
485e3e08f4 Haddock improvements 2022-02-01 13:44:11 +01:00
Andrzej Rybczak
6f60a1e30c Consistently call the unmasking function unmask instead of restore 2022-01-25 23:25:52 +01:00
Andrzej Rybczak
3e6fb33f33 Add intro to Effectful.Dynamic.Dispatch 2022-01-25 23:20:22 +01:00