haskell-benign
haskell-benign copied to clipboard
aspiwack
A library for benign effects in Haskell
_Idea suggested by @profpatsch [on twitter](https://twitter.com/Profpatsch/status/1588033307392049156)_ We could add an instance `instance (Generic a, …) => SeqIsEval a`. This instance would check that every field is strict (is it possible...
The `Evaluation` (possible alternative name `Strategy`) monad would have a single primitive `evaluate` (the same as the `IO` monad. In fact, under the hood, it would possibly be the `IO`...
There is comment there, but the `withAltering` function can presumably leak memory (the local state for the newly created `async` would fail to be removed) when an asynchronous exception happens...
In particular - [ ] I don't export internal values - [ ] Add sections where it's useful - [ ] Check the rendering - [ ] Make sure that...
I don't have tests for this repository, yet. It's hard to test this repository. I think that we can have golden tests, at least for logging frameworks (of the form:...
This is a companion to #9 . I've put some very simple instruction at the top of the `Benign.GhcEventsAnalyze` module. But I haven't tested them, and they can probably be...
I wrote a ghc-events-analyze backend in `Benign.GhcEventsAnalyze`. But I've got to confess to never testing it. It would be good if someone made a small program and tested that it...
Effects of the sort of `Debug.Trace` are “beginning only” they are triggered when a thunk is forced, and need no end. Such effects wouldn't need an evaluation strategy, and would...