Edward Kmett
Edward Kmett
I may take a bit to merge this one, but I'm sold on the general idea.
I'm open to including both GHC.Generics and template-haskell based versions as the former is 'zero touch' for the easy cases and the latter yields nicer representations. On Thu, Apr 3,...
Works for me.
Data.Map as a vector space has been a rather persistent source of headaches in the linear library as it isn't quite true. Every vector space is a free vector space,...
There are certain traps we find ourselves in because of the uniqueness of instances in Haskell. In mathematics it is unambiguous to state that every group forms a module over...
It doesn't preclude writing the module instances, but it prevents you from knowing they are canonically available.
I'm slowly working my way through what `categories` should be when it grows up. Not sure I want to push out the version there in `categories` HEAD as it would...
I confess I'm not a huge fan of this instance just because while you could do that, it is not canonical. If you really want it I'd be willing to...
Long term I think what you want to do here is very much the *right* thing to do. I've been wrestling with trying to find a workflow to juggle several...
And of course right after I send that, I found that the source-repository-package section of the cabal.project documentation is incomplete and there _is_ a branch option. If that works with...