generic-data
generic-data copied to clipboard
Lysxia
Generic data types in Haskell, utilities for GHC.Generics
I dunno why. It seems that `Data.Generic.from` is not getting inlined in some cases even with small types.
They now use `dataToTag#`... https://gitlab.haskell.org/ghc/ghc/-/merge_requests/6955
Windows doesn't like the template-haskell hackery with generated names (e.g., this log https://github.com/Lysxia/generic-data/runs/936481357?check_suite_focus=true)
The generic machinery is sadly not getting simplified away for big enough types. For an example, see the test case `eqBigR =/= eqBigG` in `test/inspection.hs`. The generically derived `(==)` (`eqBigG`)...
I don't think this is going to be a bottleneck for anyone, but the task could be an interesting exercise for someone to get some practice with how GHC rewrites...
It would be useful to implement derivations for `PartialOrd`, `Lattice`, `BoundedJoinSemiLattice`, etc from the `lattices` package. Do you think that this should this fit in `generic-data`? Or rather it should...
I tried using `gap` for the product explained in your paper *Composing bidirectional programs monadically* but the generic function has strictness in the parameters which caused the biparser `drop bp...
