David Beacham
David Beacham
I have a few properties that I want to check that are best expressed as negations, so rather than ``` diff x op y ``` I end up with ```...
Has there been any thought given to namespacing packages, i.e. listed under an organisation or user. For example `servant/client` and `servant/server` rather than everything living in a global namespace? No...
e.g. ``` module Test where data Test {#pointer *test as TestPtr foreign -> Test} ``` generates ``` module Test where import qualified Foreign.ForeignPtr as C2HSImp import qualified Foreign.Ptr as C2HSImp...
I've often found the below a useful semigroup/monoid instance for maps where `m1 m2` performs an upsert dependent on the semigroup instance of the value types. If a key exists...
For the following snippet: ```haskell data ProbeStatus err ok = ProbeError err | ProbeOK ok mkProbe :: MonadIO m => IO (ProbeStatus err ok) -> m (Union '[WithStatus 200 ok,...
I've added `NFData1` and `NFData2` instances where appropriate for `Data.Graph`, `Data.IntMap`, `Data.IntSet`, `Data.Map`, `Data.Sequence`, `Data.Set`, `Data.Tree` and relevant internal dependencies TODO: * [x] Check build across GHC versions * [x]...
Either getting `publishMsg` to return it or via a new wrapping method as it would be a breaking change to the API. Not being able to match the outgoing message...
If I have a file with a flag turned on by ```GHC2021```, e.g. ```{-# LANGUAGE TypeApplications #-}``` and run ```bash > hlint -XGHC2021 fileWithTypeApplicationOn.hs ``` should I expect it to...
One of the sites I'm trying to scrape has malformed html of the form ``` H1 H2 R2 ``` So then, ``` > let parsedHtml = "H1H2R2" ^.. html ....
I have quite a few applications where I need to compute the pdf (or cdf) of a discrete distribution over the whole range [n, n+1, ..., n+N]. At the moment,...