Daniel Winograd-Cort
Daniel Winograd-Cort
The `FromLists` class is necessary for a lot of functionality, but it's also pretty ugly! It's full of potential runtime errors, and it uses overlapping instances. I mocked up an...
I notice for dimensions, you use `Either` and `()`. This is fine, but it seems like it might be a little cleaner if you used a custom kind. For instance,...
I find it a little frustrating that when I have a sum-of-products data type, I can't easily access the fields by their name. I do understand the technical limitations here,...
To all concerned, this repository is no longer being actively maintained at this site. The new source of truth for `row-types` can be found at [https://github.com/dwincort/row-types](https://github.com/dwincort/row-types). Please post issues and...
Optional
This PR adds an `Optional` type class that allows one to have an optional element in the row-types. It also adds a convenience function for records that allows one to...
Can we add `HasCallStack` to the constraints of partial functions like `Map.!`? I'd be happy to put together a PR if it's a change that would get accepted.
As discussed on Issue https://github.com/haskell/containers/issues/489, this PR adds `HasCallStack` to the constraints of partial functions. I think I got all of the relevant partial functions, but I'd be happy for...
As discussed in https://github.com/snowleopard/alga/issues/307, this eases the `Monoid` restriction labeled adjacency maps to `Semigroup`.
I was looking into using this library (and the `Algebra.Graph.Labelled.AdjacencyMap` module in particular), but the edge type I want to use is not a `Monoid`, only a `Semigroup`. Indeed, one...
Hi, I'm trying to set up a local hoogle database for code that I'm working on. I'd like it to include all my dependencies as well as my own code....