Daniel Díaz Carrete
Daniel Díaz Carrete
The first thing the user reads after clicking on this library is > We represent the target language itself as an ideal monad supplied by the user I find this...
One thing I like of this library is the ability to wrap every field with a type constructor, usually some Applicative. In plain records (let's not consider sum types) it...
The `Applicative` instance for `ConcurrentlyE` behaves like `concurrently` for successes and like `race` for errors. Does `ConcurrentlyE` also admit an `Alternative` instance, like `Concurrently` does? One way to define it...
Added `Semigroup` and `Monoid` instances for `ConcurrentlyE`. They work by returning either the combination of the successes or the first failure. When the error type is `Void`—that is, impossible—they are...
Functions like `drop`, `take` and `splitAt` index into the string using `Int64`, so it stands to reason that `length` should also use `Int64` instead of `Int`. This also applies to...
[When children processes exit - a debugging story.](https://www.fpcomplete.com/blog/when-children-processes-exit-debugging-story)
https://well-typed.com/blog/2022/04/large-anon/
In this library, `Maplike` is used for functions like `pure_Record` that do not require constraints from the map values. `KeysValuesAll` is used for functions like `cpure_Record` that do require constraints....
Analogous to [cliftA_NP](http://hackage.haskell.org/package/sop-core-0.5.0.1/docs/Data-SOP-NP.html#v:cliftA_NP) and [cliftA2_NP](http://hackage.haskell.org/package/sop-core-0.5.0.1/docs/Data-SOP-NP.html#v:cliftA2_NP). It could be useful to have these functions without incurring a roundtrip to and from *sop-core*.