generics-sop

generics-sop copied to clipboard

arybczak

Generic for unlifted types

1

Currently, you cannot derive `Generic` for an unlifted type, specifically one defined using the new `UnliftedDatatypes` extension. Would it be possible to lift this restriction?

kozross

Generic migrations

4

In issue #30 @kosmikus you mention: > The unreleased work I'm doing on datatype-generic migrations using generics-sop is also depending on these features. I just saw [your talk on generic...

jmatsushita

1. Implement `SOP.Generic (GHC.Generically a)` and 2. export SOP.Generically

8

Here are 2 suggestions once we get `GHC.Generically` and `GHC.Generically1` in [base 4.17](https://github.com/ghc/ghc/blob/master/libraries/base/changelog.md). Those are simply newtypes, if you have a definition in terms of `GHC.Generic` or `GHC.Generic1` then you...

Icelandjack

Staged generics don't obviously support traversal

1

One of the trickiest things to implement well using plain GHC generics is a generic `traverse`. One of a few rather involved bags of tricks are needed to avoid extra...

treeowl

Add IsSumType

4

I found myself wanting this, and it seems like an obvious complement to the tools already in this library. I'm not all that good with `generics-sop` yet, so quite possibly...

michaelpj

Move ccase_SList into All class

2

This allows us to provide more type information to the continuations. Specifically: cpara_SList doesn't allow the `cons` continuation to know that there's a connection between `(y ': ys)` and `xs`....

ryantrinkle

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

kosmikus

Apply the ideas from large-record to improve compilation times

1

More of a discussion piece than an issue, but I was wondering if the ideas in parts [one](https://well-typed.com/blog/2021/08/large-records/) and [two](https://well-typed.com/blog/2021/10/large-records-part-2/) of Well-Typed's look at improving compilation times for large records...

ghost

Improve performance with inlining trick?

3

`*traverse*`, `*cata*`, `*pure*`, etc. can all potentially be implemented using recursive class instances like ```haskell class Thing xs where thing :: thing xs instance Thing '[] where {-# INLINE thing...

mikeplus64