Commit Graph

  • 2969740fdc Remove reference to packdeps.haskellers.com master Andrzej Rybczak 2024-11-22 17:38:36 +0100
  • e885aa0a77
    Update CI (#277) Andrzej Rybczak 2024-11-22 17:03:29 +0100
  • a0b06bdc74 Update CI Andrzej Rybczak 2024-11-22 16:46:43 +0100
  • 5e62bcfd00
    Merge 9efca3c25f into b2a416e0de Andrzej Rybczak 2024-11-21 21:27:04 +0100
  • b2a416e0de
    Add passthrough (#274) Andrzej Rybczak 2024-11-21 20:51:32 +0100
  • 889b4de4e6 Add passthrough Andrzej Rybczak 2024-11-18 18:39:33 +0100
  • 9efca3c25f Better naming for clearer type errors the-effects Andrzej Rybczak 2024-11-04 23:48:09 +0100
  • 19dc8c8124 Support good type inference with unique parametrized effects Andrzej Rybczak 2024-11-04 21:48:54 +0100
  • a70cf0cbf1
    Release effectful-core-2.5.0.0 and effectful-2.5.0.0 (#264) effectful-core-2.5.0.0 effectful-2.5.0.0 Andrzej Rybczak 2024-10-23 16:58:55 +0200
  • 4fd537aa33 Release effectful-core-2.5.0.0 and effectful-2.5.0.0 Andrzej Rybczak 2024-10-22 21:06:30 +0200
  • b0a2f15fad
    Add new functions from GHC 9.12 to Effectful.Exception (#260) Andrzej Rybczak 2024-10-22 18:29:12 +0200
  • eda264f99e Bring back withFrozenCallStack to emptyEff Andrzej Rybczak 2024-10-22 16:05:53 +0200
  • 86e633b70c Explicitly define setByteArray# and setOffAddr# in Prim Ref instance Andrzej Rybczak 2024-10-22 15:57:31 +0200
  • 4de03c8471
    Simplify internals of Error a bit (#262) Andrzej Rybczak 2024-10-22 15:35:40 +0200
  • 387ccda06e Simplify internals of Error a bit Andrzej Rybczak 2024-10-22 15:17:24 +0200
  • edf94d0c1e Add new functions from GHC 9.12 to Effectful.Exception Andrzej Rybczak 2024-10-22 01:16:41 +0200
  • 661d56d4a6 Test with GHC 9.8.3 Andrzej Rybczak 2024-10-22 00:37:25 +0200
  • 5f7a9257f6
    Base Effectful.Exception on Control.Exception (#257) Andrzej Rybczak 2024-10-17 18:14:33 +0200
  • 2899db775a More adjustments Andrzej Rybczak 2024-10-17 17:20:03 +0200
  • 76b9ebf0c1 Adjustment Andrzej Rybczak 2024-10-16 13:02:04 +0200
  • a08dcfa9f9 Simplify the top section Andrzej Rybczak 2024-10-16 12:56:45 +0200
  • 8880236b03 Review fixes Andrzej Rybczak 2024-10-16 12:46:39 +0200
  • ecb68962d2 Add catchIf/handleIf/tryIf Andrzej Rybczak 2024-10-15 14:57:31 +0200
  • d81078d09f Base Effectful.Exception on Control.Exception Andrzej Rybczak 2024-10-11 14:48:03 +0200
  • 5bda8499cc
    Fix NonDet/OnEmptyRollback (#256) Andrzej Rybczak 2024-10-10 13:44:27 +0200
  • 1c60909a2b Fix NonDet/OnEmptyRollback Andrzej Rybczak 2024-10-10 00:51:38 +0200
  • df06ee3834 Add plusEff, make emptyEff and sumEff generate better call stacks Andrzej Rybczak 2024-10-09 22:50:07 +0200
  • 8d74762377
    Release effectful-2.4.0.0, effectful-th-1.0.0.3, effectful-plugin-1.1.0.4 (#253) effectful-th-1.0.0.3 effectful-plugin-1.1.0.4 effectful-core-2.4.0.0 effectful-2.4.0.0 Andrzej Rybczak 2024-10-08 20:04:10 +0200
  • cf23435287 Release effectful-2.4.0.0, effectful-th-1.0.0.3, effectful-plugin-1.1.0.4 Andrzej Rybczak 2024-10-08 19:58:31 +0200
  • 30d1a6e46d Less duplication in raiseWith Andrzej Rybczak 2024-10-06 23:34:34 +0200
  • a25ffde8a5 Less hashes Andrzej Rybczak 2024-10-06 23:17:17 +0200
  • 9fc0605e5f Slightly more efficient Prim Ref instance Andrzej Rybczak 2024-10-06 22:55:38 +0200
  • 46962c5d14 Make plugin compile with GHC 9.12 Andrzej Rybczak 2024-10-06 19:45:58 +0200
  • 93f9db1bc9 Better variable names for ProviderS Andrzej Rybczak 2024-10-06 16:12:01 +0200
  • 70e106f9ac Use catchIO in the example Andrzej Rybczak 2024-10-06 15:56:01 +0200
  • e2b1ffadf8 Use explicit deriving strategies Andrzej Rybczak 2024-10-06 15:39:24 +0200
  • 96ebf667a3 Rename xs to subEs in occurrences of the Subset class Andrzej Rybczak 2024-10-06 15:28:20 +0200
  • c2d373b767 Make envRefs store Refs instead of juggling Ints Andrzej Rybczak 2024-10-06 14:39:43 +0200
  • 703e637807 Don't re-export Env stuff from Effectful.Internal.Monad Andrzej Rybczak 2024-10-06 13:30:42 +0200
  • 7580e9c643 Fix recently broken withLiftMapIO and add regression tests Andrzej Rybczak 2024-10-06 12:15:42 +0200
  • e179e479e9 Make changelog entries about new modules look consistent Andrzej Rybczak 2024-10-06 12:15:13 +0200
  • 2af665f7fe Add Bugfixes section to changelogs Andrzej Rybczak 2024-10-06 11:50:54 +0200
  • f94db31018 Add a forgotten changelog entry to effectful-th Andrzej Rybczak 2024-10-05 16:12:24 +0200
  • 40fea7bf85 More straightforward unEff Andrzej Rybczak 2024-10-05 15:32:32 +0200
  • f9338509d0 Add a forgotten changelog entry to effectful-plugin Andrzej Rybczak 2024-10-05 15:23:58 +0200
  • 20cae24839 Shorten call stacks in a few specific cases Andrzej Rybczak 2024-10-05 15:22:23 +0200
  • 86fda740db Remove reference to a scary looking and somewhat unrelated video Andrzej Rybczak 2024-10-05 15:16:44 +0200
  • 0e6d596919 Make use of ImportQualifiedPost everywhere Andrzej Rybczak 2024-10-05 15:08:44 +0200
  • fa24ccaa68
    Add the Effectful.Exception module with appropriate re-exports (#252) Andrzej Rybczak 2024-10-05 14:58:23 +0200
  • 875835616e Add the Effectful.Exception module with appropriate re-exports Andrzej Rybczak 2024-09-30 03:44:48 +0200
  • 89b5791b5c Improve documentation of interpose Andrzej Rybczak 2024-09-30 00:11:37 +0200
  • 749c72eb8e Small tweaks to call stacks Andrzej Rybczak 2024-09-29 23:32:41 +0200
  • e778e23702 Ensure that a LocalEnv is only used in a thread it belongs to Andrzej Rybczak 2024-09-28 23:42:13 +0200
  • 255b153035 Add a few INLINE pragmas to small unlifting functions Andrzej Rybczak 2024-09-16 21:52:05 +0200
  • 0809257719
    Add SeqForkUnlift strategy (#224) Andrzej Rybczak 2024-09-16 21:50:17 +0200
  • eb10c3fac3 Add SeqForkUnlift strategy Andrzej Rybczak 2024-06-18 01:05:44 +0200
  • 7ce9972974 Use ErrorEmpty instead of () Andrzej Rybczak 2024-09-15 15:05:29 +0200
  • 97ba2e0b5d Emphasize when state modifications are rolled back with OnEmptyRollback Andrzej Rybczak 2024-09-15 14:56:00 +0200
  • c5092ac248 Propagate HasCallstack through Provider and ProviderList Andrzej Rybczak 2024-09-14 18:08:32 +0200
  • 40fc5c49fa Small improvement to the internal call stack of unlifts Andrzej Rybczak 2024-09-14 15:21:38 +0200
  • 7b5c5b3f95 Fix typo, previous commit was about OnEmptyRollback Andrzej Rybczak 2024-09-12 18:18:17 +0200
  • 1da88766ea Properly roll back changes made to the environment with OnEmptyKeep Andrzej Rybczak 2024-09-12 17:57:24 +0200
  • d97c9dbd51 Distinguish between creation and call site and include both if appropriate Andrzej Rybczak 2024-09-12 17:28:25 +0200
  • f2bdfc344f More HasCallStack stuff Andrzej Rybczak 2024-09-11 18:52:03 +0200
  • 1f1f351d73
    Distinguish between undefined effect data and its relinker (#247) Andrzej Rybczak 2024-09-11 16:37:18 +0200
  • 082d86d05d Distinguish between undefined effect data and its relinker Andrzej Rybczak 2024-09-11 15:16:40 +0200
  • d9685d993b PoC of thread sanitizer thread-sanitizer Andrzej Rybczak 2024-09-11 00:22:24 +0200
  • 5979e8f2da
    Add HasCallStack constraints for easier debugging (#244) Andrzej Rybczak 2024-09-11 00:19:29 +0200
  • 25e0913d45 Fix plugin Andrzej Rybczak 2024-09-11 00:15:01 +0200
  • bac27db923 Add HasCallStack constraints for easier debugging Andrzej Rybczak 2024-09-10 13:02:16 +0200
  • bf4bb5b54e Heftia countdown benchmarks heftia-bench Andrzej Rybczak 2024-09-08 20:26:54 +0200
  • 1fcb071d1c
    Use strict-mutable-base (#235) Andrzej Rybczak 2024-09-05 19:08:23 +0200
  • a44de11240 Use strict-mutable-base Andrzej Rybczak 2024-08-30 19:08:09 +0200
  • 2b12ee0c7a Tidy changelog Andrzej Rybczak 2024-09-05 18:57:00 +0200
  • 06cfe1d8a5
    Fix copyRefs in Effect.Dispatch.Dynamic (#240) Andrzej Rybczak 2024-09-04 20:27:00 +0200
  • db6a1f0db0 Fix copyRefs in Effect.Dispatch.Dynamic Andrzej Rybczak 2024-09-04 20:20:40 +0200
  • adea8b4f0d
    Consider array reallocations when doing monadic state updates (#238) Andrzej Rybczak 2024-09-04 18:06:42 +0200
  • 2e8c933c3e Consider array reallocations when doing monadic state updates Andrzej Rybczak 2024-09-04 17:57:45 +0200
  • e51ab362d9
    Add Effectful.Prim.IORef (#236) Andrzej Rybczak 2024-09-04 07:36:59 +0200
  • ef6e87270c Add Effectful.Prim.IORef Andrzej Rybczak 2024-09-04 07:04:14 +0200
  • 2a8f0b3a05 Remove redundant import Andrzej Rybczak 2024-08-26 20:41:28 +0200
  • bcafb9b310
    Improve Show instance of Effectful.Error.Static.ErrorWrapper (#232) Andrzej Rybczak 2024-08-26 19:48:00 +0200
  • a022b492ff Improve Show instance of Effectful.Error.Static.ErrorWrapper Andrzej Rybczak 2024-08-09 14:04:35 +0200
  • 9bf15a28c0
    Generalize localLend/localBorrow to take a list of effects (#234) Andrzej Rybczak 2024-08-26 13:42:57 +0200
  • 8592dbaf61 Generalize localLend/localBorrow to take a list of effects Andrzej Rybczak 2024-08-23 17:48:35 +0200
  • ac6acda7f8 Use evaluate instead of seq and add a few INLINE pragmas to MVar modules Andrzej Rybczak 2024-08-22 23:50:41 +0200
  • 0ef04f2fc8
    Improve Labeled and add labeled versions of base effects (#228) Andrzej Rybczak 2024-08-22 20:59:21 +0200
  • 3451d02ca8 run polysemy with 9.10 Andrzej Rybczak 2024-08-22 20:37:20 +0200
  • bf6db3e26e run doctest with 9.10 Andrzej Rybczak 2024-08-22 20:22:13 +0200
  • fc32d55a07 ci Andrzej Rybczak 2024-08-22 20:20:47 +0200
  • ea7a4020d8 more doctest Andrzej Rybczak 2024-08-22 20:15:09 +0200
  • 8e96de7ece doctest Andrzej Rybczak 2024-08-22 20:14:03 +0200
  • 3f9d2bd817 Merge branch 'master' into improved-labeled Andrzej Rybczak 2024-08-22 19:48:06 +0200
  • 4c8fae6f3b tests Andrzej Rybczak 2024-08-22 19:46:33 +0200
  • 14bbcfd073
    Utility functions for handling effects (#231) Andrzej Rybczak 2024-08-09 15:56:50 +0200
  • 45a55923a7 Annotate type parameters of EffectHandler with their kinds Andrzej Rybczak 2024-08-08 15:56:06 +0200
  • cb97e86fcc Add utility functions that take the effect handler as the last parameter Andrzej Rybczak 2024-08-08 11:54:09 +0200
  • aff86ac286 Add utility functions for first order effects Andrzej Rybczak 2024-08-08 10:10:13 +0200
  • 39e99914b4
    Add some more interpretation functions Michael Peyton Jones 2024-08-07 09:38:59 +0100
  • ef11eb8821 Remove .VDQ modules for now Andrzej Rybczak 2024-07-24 13:40:58 +0200