Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / goldfirere/singletons issues and pull requests

#538 - Name mismatch when generating `Show` instances for custom promoted types

Issue - State: closed - Opened by cgohla over 2 years ago - 2 comments

#538 - Name mismatch when generating `Show` instances for custom promoted types

Issue - State: closed - Opened by cgohla over 2 years ago - 2 comments

#537 - Fix #536 with tactical uses of `promoteType`

Pull Request - State: closed - Opened by RyanGlScott over 2 years ago

#537 - Fix #536 with tactical uses of `promoteType`

Pull Request - State: closed - Opened by RyanGlScott over 2 years ago

#536 - Problem generating `SDecide` instances for custom promoted types

Issue - State: closed - Opened by cgohla over 2 years ago - 3 comments

#536 - Problem generating `SDecide` instances for custom promoted types

Issue - State: closed - Opened by cgohla over 2 years ago - 3 comments

#535 - Provide `Test{Equality,Coercion}` instances for `S{Nat,Symbol,Char}`

Pull Request - State: closed - Opened by RyanGlScott over 2 years ago

#535 - Provide `Test{Equality,Coercion}` instances for `S{Nat,Symbol,Char}`

Pull Request - State: closed - Opened by RyanGlScott over 2 years ago

#534 - Missing `TestEquality` and `TestCoercion` instances

Issue - State: closed - Opened by RyanGlScott over 2 years ago
Labels: enhancement

#534 - Missing `TestEquality` and `TestCoercion` instances

Issue - State: closed - Opened by RyanGlScott over 2 years ago
Labels: enhancement

#533 - Case analysis?

Issue - State: closed - Opened by treeowl over 2 years ago - 2 comments
Labels: question

#533 - Case analysis?

Issue - State: closed - Opened by treeowl over 2 years ago - 2 comments
Labels: question

#532 - Use `cabal`'s `code-generators` to reimplement `singletons-base` test suite without custom `Setup.hs`

Issue - State: closed - Opened by RyanGlScott over 2 years ago - 3 comments
Labels: enhancement, testsuite

#531 - `singletons-{th,base}`: Require building with GHC 9.4

Pull Request - State: closed - Opened by RyanGlScott over 2 years ago

#531 - `singletons-{th,base}`: Require building with GHC 9.4

Pull Request - State: closed - Opened by RyanGlScott over 2 years ago

#530 - Normalize Windows-style path separators

Pull Request - State: closed - Opened by RyanGlScott over 2 years ago
Labels: testsuite

#530 - Normalize Windows-style path separators

Pull Request - State: closed - Opened by RyanGlScott over 2 years ago
Labels: testsuite

#529 - `singletons-base` test suite fails on Windows

Issue - State: closed - Opened by RyanGlScott over 2 years ago
Labels: bug, testsuite

#529 - `singletons-base` test suite fails on Windows

Issue - State: closed - Opened by RyanGlScott over 2 years ago
Labels: bug, testsuite

#528 - Allow building with `ghc924`

Issue - State: closed - Opened by MangoIV over 2 years ago - 3 comments

#528 - Allow building with `ghc924`

Issue - State: closed - Opened by MangoIV over 2 years ago - 3 comments

#527 - Class for applying families

Issue - State: closed - Opened by treeowl over 2 years ago - 6 comments
Labels: enhancement, Documentation, Help wanted

#526 - Split out `singletons-base` test suite into its own package

Issue - State: open - Opened by RyanGlScott over 2 years ago - 8 comments
Labels: testsuite, Tech debt

#525 - Couldn't match type with `SLambda` when trying to upgrade to singletons 3.0

Issue - State: closed - Opened by vmchale over 2 years ago - 4 comments

#525 - Couldn't match type with `SLambda` when trying to upgrade to singletons 3.0

Issue - State: closed - Opened by vmchale over 2 years ago - 4 comments

#524 - The link to the paper doesn’t work

Issue - State: closed - Opened by schuelermine over 2 years ago - 1 comment

#524 - The link to the paper doesn’t work

Issue - State: closed - Opened by schuelermine over 2 years ago - 1 comment

#523 - Make `singletons-th` compile with `mtl-2.3.*`

Issue - State: closed - Opened by RyanGlScott over 2 years ago

#522 - Use `withDict` to implement `withSingI` on recent GHCs

Pull Request - State: closed - Opened by RyanGlScott almost 3 years ago - 3 comments

#521 - Dead links in singleton-base README

Issue - State: closed - Opened by bgohla almost 3 years ago - 1 comment

#521 - Dead links in singleton-base README

Issue - State: closed - Opened by bgohla almost 3 years ago - 1 comment

#520 - Adapt to `(~)` becoming a type operator

Pull Request - State: closed - Opened by RyanGlScott almost 3 years ago

#520 - Adapt to `(~)` becoming a type operator

Pull Request - State: closed - Opened by RyanGlScott almost 3 years ago

#519 - Add helper for hand-written SDecide instances?

Issue - State: closed - Opened by shlevy almost 3 years ago - 4 comments

#519 - Add helper for hand-written SDecide instances?

Issue - State: closed - Opened by shlevy almost 3 years ago - 4 comments

#518 - Update all `singletons` paper links to richarde.dev

Pull Request - State: closed - Opened by RyanGlScott about 3 years ago

#518 - Update all `singletons` paper links to richarde.dev

Pull Request - State: closed - Opened by RyanGlScott about 3 years ago

#517 - Dead link

Issue - State: closed - Opened by Gurkenglas about 3 years ago - 1 comment

#517 - Dead link

Issue - State: closed - Opened by Gurkenglas about 3 years ago - 1 comment

#516 - Fix links to papers in README.

Pull Request - State: closed - Opened by goldfirere about 3 years ago

#516 - Fix links to papers in README.

Pull Request - State: closed - Opened by goldfirere about 3 years ago

#515 - Broken links to linked papers

Issue - State: closed - Opened by eviefp about 3 years ago - 1 comment

#515 - Broken links to linked papers

Issue - State: closed - Opened by eviefp about 3 years ago - 1 comment

#514 - Provide more specific error message for partial `(->)` applications

Pull Request - State: closed - Opened by RyanGlScott about 3 years ago - 1 comment

#514 - Provide more specific error message for partial `(->)` applications

Pull Request - State: closed - Opened by RyanGlScott about 3 years ago - 1 comment

#513 - Can't build `singletons-th-3.0` on GHC 9

Issue - State: closed - Opened by ocharles about 3 years ago - 2 comments

#513 - Can't build `singletons-th-3.0` on GHC 9

Issue - State: closed - Opened by ocharles about 3 years ago - 2 comments

#512 - No feasible install plan for singletons-base with GHC 9.0

Issue - State: closed - Opened by bgamari about 3 years ago - 1 comment

#512 - No feasible install plan for singletons-base with GHC 9.0

Issue - State: closed - Opened by bgamari about 3 years ago - 1 comment

#511 - Poor error message with partial application of function arrow

Issue - State: closed - Opened by RyanGlScott over 3 years ago
Labels: enhancement

#511 - Poor error message with partial application of function arrow

Issue - State: closed - Opened by RyanGlScott over 3 years ago
Labels: enhancement

#510 - Datatypes with arrows

Issue - State: closed - Opened by sweirich over 3 years ago - 6 comments

#510 - Datatypes with arrows

Issue - State: closed - Opened by sweirich over 3 years ago - 6 comments

#509 - Use GHC2021

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago

#509 - Use GHC2021

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago

#508 - Use `GHC2021` in `singletons-th` and `singletons-base`

Issue - State: closed - Opened by RyanGlScott over 3 years ago
Labels: enhancement

#508 - Use `GHC2021` in `singletons-th` and `singletons-base`

Issue - State: closed - Opened by RyanGlScott over 3 years ago
Labels: enhancement

#507 - Support type-level `Char`s

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago - 1 comment

#507 - Support type-level `Char`s

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago - 1 comment

#507 - Support type-level `Char`s

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago - 1 comment

#506 - Add more documentation for overlapping and literal patterns

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago

#506 - Add more documentation for overlapping and literal patterns

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago

#504 - Require building with GHC 9.2

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago

#504 - Require building with GHC 9.2

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago

#504 - Require building with GHC 9.2

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago

#503 - TypeRep in data type does not work with genSingletons.

Issue - State: open - Opened by Sintrastes over 3 years ago - 3 comments
Labels: question

#503 - TypeRep in data type does not work with genSingletons.

Issue - State: open - Opened by Sintrastes over 3 years ago - 3 comments
Labels: question

#502 - `SChecked` for gradual typing.

Issue - State: open - Opened by tscholak over 3 years ago - 3 comments
Labels: question

#502 - `SChecked` for gradual typing.

Issue - State: open - Opened by tscholak over 3 years ago - 3 comments
Labels: question

#502 - `SChecked` for gradual typing.

Issue - State: open - Opened by tscholak over 3 years ago - 3 comments

#501 - Add `SingI1` and `SingI2` classes

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago - 2 comments
Labels: enhancement

#501 - Add `SingI1` and `SingI2` classes

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago - 2 comments
Labels: enhancement

#501 - Add `SingI1` and `SingI2` classes

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago - 2 comments
Labels: enhancement

#500 - Introduce `SingI1`, a second-order version of `SingI`

Issue - State: closed - Opened by DanielRrr over 3 years ago - 9 comments
Labels: enhancement

#500 - Introduce `SingI1`, a second-order version of `SingI`

Issue - State: closed - Opened by DanielRrr over 3 years ago - 9 comments
Labels: enhancement

#500 - Introduce `SingI1`, a second-order version of `SingI`

Issue - State: closed - Opened by DanielRrr over 3 years ago - 9 comments
Labels: enhancement

#499 - Non-exhaustive pattern match with `FromSing` pattern synonym

Issue - State: closed - Opened by jul1u5 over 3 years ago - 1 comment

#499 - Non-exhaustive pattern match with `FromSing` pattern synonym

Issue - State: closed - Opened by jul1u5 over 3 years ago - 1 comment

#499 - Non-exhaustive pattern match with `FromSing` pattern synonym

Issue - State: closed - Opened by jul1u5 over 3 years ago - 1 comment

#498 - Can singletons deal with unsaturated constructors

Issue - State: closed - Opened by expipiplus1 almost 4 years ago - 3 comments
Labels: question, Blocked upstream

#497 - GHC 9.4 checklist

Issue - State: closed - Opened by RyanGlScott almost 4 years ago - 1 comment
Labels: enhancement

#497 - GHC 9.4 checklist

Issue - State: closed - Opened by RyanGlScott almost 4 years ago - 1 comment
Labels: enhancement

#496 - Avoid GHC#19743 by using noExactName more in defunctionalization

Pull Request - State: closed - Opened by RyanGlScott almost 4 years ago

#496 - Avoid GHC#19743 by using noExactName more in defunctionalization

Pull Request - State: closed - Opened by RyanGlScott almost 4 years ago

#496 - Avoid GHC#19743 by using noExactName more in defunctionalization

Pull Request - State: closed - Opened by RyanGlScott almost 4 years ago

#495 - Is it possible to break up `singletons` even more?

Issue - State: closed - Opened by masaeedu almost 4 years ago - 5 comments
Labels: Documentation, Help wanted

#495 - Is it possible to break up `singletons` even more?

Issue - State: closed - Opened by masaeedu almost 4 years ago - 5 comments
Labels: Documentation, Help wanted

#495 - Is it possible to break up `singletons` even more?

Issue - State: closed - Opened by masaeedu almost 4 years ago - 5 comments
Labels: Documentation, Help wanted

#494 - Add Data.Functor.{Compose,Product,Sum}.Singletons

Pull Request - State: closed - Opened by RyanGlScott almost 4 years ago - 1 comment

#494 - Add Data.Functor.{Compose,Product,Sum}.Singletons

Pull Request - State: closed - Opened by RyanGlScott almost 4 years ago - 1 comment

#494 - Add Data.Functor.{Compose,Product,Sum}.Singletons

Pull Request - State: closed - Opened by RyanGlScott almost 4 years ago - 1 comment

#493 - Correct the specificities of SConst{,Sym0,Sym1} and ProxySym0

Pull Request - State: closed - Opened by RyanGlScott almost 4 years ago

#493 - Correct the specificities of SConst{,Sym0,Sym1} and ProxySym0

Pull Request - State: closed - Opened by RyanGlScott almost 4 years ago

#492 - The SConst data constructor has the wrong specificity for its kind argument

Issue - State: closed - Opened by RyanGlScott almost 4 years ago - 1 comment
Labels: bug

#492 - The SConst data constructor has the wrong specificity for its kind argument

Issue - State: closed - Opened by RyanGlScott almost 4 years ago - 1 comment
Labels: bug

#492 - The SConst data constructor has the wrong specificity for its kind argument

Issue - State: closed - Opened by RyanGlScott almost 4 years ago - 1 comment
Labels: bug

#491 - Add missing promotions

Issue - State: closed - Opened by treeowl almost 4 years ago - 1 comment
Labels: enhancement

#491 - Add missing promotions

Issue - State: closed - Opened by treeowl almost 4 years ago - 1 comment
Labels: enhancement