-
Notifications
You must be signed in to change notification settings - Fork 37
Issues: goldfirere/singletons
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Use
GHC2024
in singletons-th
and singletons-base
enhancement
#594
opened May 24, 2024 by
RyanGlScott
Support promoting/singling invisible type patterns
enhancement
#583
opened May 1, 2024 by
RyanGlScott
How is it possible to discharge Show instance of Sigma?
question
#579
opened Nov 30, 2023 by
tomjaguarpaw
Consider allowing promotion and singling of all rank-1 types
Blocked upstream
enhancement
question
#542
opened Nov 12, 2022 by
RyanGlScott
Split out
singletons-base
test suite into its own package
Tech debt
testsuite
#526
opened Aug 10, 2022 by
RyanGlScott
TypeRep in data type does not work with genSingletons.
question
#503
opened Aug 29, 2021 by
Sintrastes
Singletonize functions that already use singletons
enhancement
#460
opened Apr 30, 2020 by
greatBigDot
Add S combinator i.e. ap for (->) a
Blocked upstream
enhancement
#455
opened Apr 25, 2020 by
infinity0
Singletons for Data.Functor.Product.Product?
Blocked upstream
enhancement
#448
opened Apr 11, 2020 by
ocharles
Knowing what is (and isn't) defunctionalized can be confusing
bug
Tech debt
#429
opened Dec 26, 2019 by
RyanGlScott
Figure out how to promote visible type application sensibly
Blocked upstream
enhancement
#378
opened Jan 14, 2019 by
RyanGlScott
Singling partiality in
do
-notation is troublesome
Blocked
bug
Match flattening
#340
opened Jun 17, 2018 by
RyanGlScott
Implementation details are needed for proofs
enhancement
Help wanted
#339
opened Jun 13, 2018 by
howtonotwin
Compile regression with Singletons-2.0
Blocked
Match flattening
#131
opened Oct 30, 2015 by
crockeea
singletonization in Nat test is broken when match-flattening
bug
Match flattening
#97
opened Sep 26, 2014 by
jstolarek
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.