Skip to content

Issues: well-typed/generics-sop

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

29 Open 51 Closed
29 Open 51 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

sop-core: Concatenate a POP into an NP
#176 opened Dec 4, 2023 by turion
7
Inconsistent usage/requirement of SListI
#175 opened Nov 13, 2023 by phadej
3
Linear fields in NP
#174 opened Oct 11, 2023 by alt-romes
Support for HKD?
#166 opened Apr 27, 2023 by edsko
3
Reasoning about AllZip and AllZip2
#163 opened Mar 23, 2023 by edsko
Error with Generic constraint on type\data family GHC 9.4.2
#158 opened Sep 16, 2022 by Diamondy4
7
Generic for unlifted types
#155 opened Jul 10, 2022 by kozross
1
1. Implement SOP.Generic (GHC.Generically a) and 2. export SOP.Generically
#153 opened Mar 17, 2022 by Icelandjack
1
8
Staged generics don't obviously support traversal
#151 opened Feb 8, 2022 by treeowl
1
Apply the ideas from large-record to improve compilation times
#148 opened Dec 20, 2021 by ghost
1
Add elimNS?
#143 opened Aug 18, 2021 by ocharles
2
Add to# method
#140 opened Apr 13, 2021 by treeowl
1
Harmonize AllZip with All
#138 opened Apr 7, 2021 by treeowl
1
3
Document the design of All
#137 opened Apr 7, 2021 by treeowl
2
Generic migrations
#128 opened Dec 18, 2020 by jmatsushita
4
Split off HFunctor from HAp
#110 opened Sep 13, 2019 by edsko
8
Confusing error with QuantifiedConstraints
#89 opened Oct 31, 2018 by deepfire
9
Repository reorganisation
#81 opened Sep 24, 2018 by kosmikus
@kosmikus
Improve performance with inlining trick?
#74 opened Aug 23, 2018 by mikeplus64
3
All2 c xss should imply All SListI xss
#73 opened Aug 19, 2018 by mniip 0.6
12
Functions => NP
#70 opened Jul 28, 2018 by reactormonk 0.5.1
11
Use ghc-proofs package in testsuite enhancement
#58 opened Sep 11, 2017 by kosmikus
1
Add more helper functions for working with (type-level) metadata
#54 opened Jun 14, 2017 by kosmikus 0.5.1
1
Check / update / auto-generate (?) instances list
#50 opened Jun 4, 2017 by kosmikus 0.5.1
1
1.0 ?
#48 opened May 29, 2017 by kosmikus 1.0
6
ProTip! Exclude everything labeled bug with -label:bug.