Arnaud Spiwack
Arnaud Spiwack
Let me write some thought on the design of optics, and especially traversals, so that I don't forget again. All this should make its way into a document ### Profunctor...
Currently, data functors and control functors have type ```haskell fmap :: (a ->. b) -> f a ->. f b ``` and ```haskell fmap :: (a ->. b) ->. f...
Consider: ```haskell data T a b where MkT :: a #-> b -> MkT a b ``` (what matters here is that the second field is unrestricted) If I have...
Something has been bothering me for a while. I'd like to use this issue to record my thoughts and try to communally solve the issue it represents. Consider `Dupable` instances:...
**Is your feature request related to a problem? Please describe.** Vectors of known length (or whatever they will eventually be called #207 ) have a data applicative instance. Said instance...
**Is your feature request related to a problem? Please describe.** The following snippet ```haskell data Foo = Bar -- ^ bar | Baz -- ^ baz ``` is formatted as...
This is a draft for an idea to generalise the metrics API, before I commit to making it clean and documenting it and such, I would like the maintainers' opinion...
Resource.unsafeFromSystemIOHandle lets you convert traditional IO functions on `Handle` into resource-aware function. This also let me clean up the internal definition of handle-based functions. I took the opportunity to remove...
Ormolu has very slow to build dependencies (essentially ghc-lib-parser). This has been an obstacle to contributing, and makes the CI very slow on the first push of a new branch....
_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...