Andres Löh

Also add a cpara-like function for AllZip as suggested in #138.

Makes it easier to use for me locally (and more difficult to forget).

1.0 ?

6

I would like this library to reach version 1.0 ultimately, and I think it has been remarkably stable for a while now, despite the fact that it's still relatively young...

Check / update / auto-generate (?) instances list

1

The library provides instances for most(?) `base` types in `Generics.SOP.Instances`. However, I don't think this list has been updated since the first release. And `base` has certainly changed significantly. At...

Add more helper functions for working with (type-level) metadata

1

See #53 for some examples. `fieldNames` would be nice to have on the term-level. `IsRecordType` would be nice to have on the type-level. But also type functions for operating on...

Now that we've split the packages, we should: - rename the repository from `generics-sop` to `sop`, - possibly integrate some of the other `sop`-related packages.

Improve documentation / point to available tutorials

1

I've given quite a few talks and written a few tutorials by now (others might have done the same), yet the package itself only points to the original paper. We...

Use ghc-proofs package in testsuite

1

This is connection with the work on static-case and optimisation (see #40). By now, I think it's feasible to get the static-case branch into a shape where it produces mostly...

Use collapsible headers for examples and instances

2

This seems to be the advertised way to do this in Haddock now. See the discussion in #24 for slightly more info.

Typed Template Haskell quotations / splices not handled correctly

3

GHC with `TemplateHaskell` allows typed quotations and splices, written ``` [|| x ||] ``` and ``` $$(foo bar) ``` or just ``` $$x ``` Looks like the tree-sitter parser currently...