Diogo Castro
Diogo Castro
**Proposal** I propose we add a monoid instance for `FindClause Bool`, in a fashion similar to `Monoid All` and `Monoid Any`. Here's what I came up with: ```haskell newtype AllClause...
### Your environment Output of `haskell-language-server --probe-tools` or `haskell-language-server-wrapper --probe-tools`: ```sh $ haskell-language-server-8.10.4 --probe-tools haskell-language-server version: 1.0.0.0 (GHC: 8.10.4) (PATH: /home/dc/.ghcup/bin/haskell-language-server-8.10.4~1.0.0) (GIT hash: 4cd1cf934638881e52b3eba9f70157a4b799c0e9) Tool versions found on the $PATH...
I was thinking of porting these functions from QuickCheck over to Hedgehog, and wanted to know what the maintainers think first. Hedgehog module: ```haskell -- A port of quickcheck's `total`...
In 1.8.0 we deprecated: * `note` in #259 * microlens types/functions in #262 We should delete these definitions in 1.9.0. We should also be able to remove the `microlens` and...
At the moment, we're defining [`hoistMaybe`](https://github.com/serokell/universum/blob/66fa8ed15a3b95c3fa0563f605839558ebd09abd/src/Universum/Monad/Trans.hs#L73-L76) in `Universum.Monad.Trans`. However, `transformers` also introduced a `hoistMaybe` function [in 0.6.0.0](https://hackage.haskell.org/package/transformers-0.6.0.0/docs/Control-Monad-Trans-Maybe.html#v:hoistMaybe). We should just re-export it. We shouldn't do this now though. Even recent...
As of 0.9.8, vscode-idris no longer works for me in Windows 7 and 10, using the latest version of vscode and idris v1.0. Auto-completion, build/typecheck-on-save, shortcuts such as `case-split`, etc....
The Goroutines page shows the type of `async` as `IO a -> Async a`, whereas it should be `IO a -> IO (Async a)` instead ([docs](https://www.stackage.org/haddock/lts-10.3/async-2.1.1.1/Control-Concurrent-Async.html#v:async)).
It's a really useful and harmless function, I think it makes sense to re-export it from `universum`. Besides, we're already re-exporting the `Coercible` typeclass from `Universum.Base`.
`QueryParam'`, `Capture'`, `Header'`, etc, can all be decorated with a `Description` modifier, which allows for the generation of swagger docs. It would be useful to also have `QueryParams'` and `QueryFlag'`...
(If this is not the proper channel for questions, please close this and kindly point me to the right channel) Say I want to generate some value `v` from a...