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
Consider removing special-casing for
error
during singling
enhancement
#588
opened May 5, 2024 by
RyanGlScott
Support promoting/singling invisible type patterns
enhancement
#583
opened May 1, 2024 by
RyanGlScott
Support promoting/singling namespace specifiers in fixity declarations
enhancement
#582
opened May 1, 2024 by
RyanGlScott
Out-of-scope type variable when using
ScopedTypeVariables
in class method RHS
bug
#581
opened Apr 20, 2024 by
RyanGlScott
How is it possible to discharge Show instance of Sigma?
question
#579
opened Nov 30, 2023 by
tomjaguarpaw
Adapt to arity inference changes in type-level declarations
bug
#566
opened Jun 16, 2023 by
RyanGlScott
4 tasks
Explore using
TypeAbstractions
in singletons-th
–generated code
Blocked upstream
enhancement
#565
opened Jun 9, 2023 by
RyanGlScott
Consider allowing promotion and singling of all rank-1 types
Blocked upstream
enhancement
question
#542
opened Nov 12, 2022 by
RyanGlScott
Use
cabal
's code-generators
to reimplement singletons-base
test suite without custom Setup.hs
enhancement
testsuite
#532
opened Aug 23, 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
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.