obsidiansystems dependent-sum issues

obsidiansystems / dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them

54 stars 39 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Fix for ghc-9.10

#81 expipiplus1 closed 2 months ago
1
Allow some 1.0.6

#80 sorki closed 1 year ago
0
GHC 9.6

#79 Ericson2314 closed 1 year ago
0
Release dependent-sum-template 0.2.0.0

#78 cgibbard closed 1 year ago
1
GHC >=9.4 support

#77 luc-tielen opened 1 year ago
0
Update some to 1.0.5

#76 felixonmars closed 1 year ago
2
Bump constraints-extras

#75 alexfmpe closed 1 year ago
0
ghc 9.4

#74 ali-abrar closed 1 year ago
0
bump constraints-extras

#73 cgibbard closed 1 year ago
0
New Hackage release supporting some-1.0.4

#71 hamishmack closed 1 year ago
3
Test higher-arity type constructors

#70 alexfmpe closed 2 years ago
5
dependent-sum-template: Narrow dependency to just `some`

#69 Ericson2314 closed 1 year ago
0
Factor out `GComparing` Monad

#68 Ericson2314 closed 2 years ago
0
dependent-sum-template: add lowerbound for th-abstraction

#67 juhp closed 3 years ago
3
New Hackage release supporting some-1.0.3

#66 jchia closed 2 years ago
4
New release with ghc 9 compat

#65 maralorn closed 3 years ago
8
Ensure 9.0 fix doesn't cause regression

#64 Ericson2314 closed 3 years ago
0
Add github actions

#63 Ericson2314 closed 3 years ago
0
Package needs a LICENSE

#62 izuk opened 3 years ago
0
Error using dependent-sum-template due to its dependent-sum version range

#61 jneira closed 2 years ago
0
Prefer canonical return definition

#60 fendor closed 3 years ago
0
Add compatibility for GHC 9.0.1 and GHC 9.2

#59 fendor closed 3 years ago
2
Allow some 1.0.3

#58 bergmark closed 3 years ago
0
Add support for GHC-9.0.1

#57 anka-213 closed 3 years ago
2
Bump some bound

#56 ollef closed 3 years ago
3
Bump some bound

#55 maralorn closed 3 years ago
0
`deriveGEq` for multiindex GADTs?

#54 srid opened 4 years ago
0
Modernize TH

#53 3noch closed 2 years ago
4
Relax some

#52 3noch closed 4 years ago
0
Relax dependent-sum some dependency.

#51 phadej closed 4 years ago
2
Add Hackage badge to README

#50 3noch closed 4 years ago
0
dependent-sum 0.7.0.0

#49 3noch closed 4 years ago
0
0.6.2.2 should have been a major release

#48 int-e closed 4 years ago
3
dependent-sum 0.6.2.2 / dependent-sem-template 0.1.0.2

#47 3noch closed 4 years ago
0
Release/0.1.0.1

#46 3noch closed 4 years ago
4
update .cabal files

#45 int-e closed 4 years ago
0
GHC 8.8 CI + fixes

#44 3noch closed 4 years ago
0
Include GHC 8.8 in Travis CI matrix

#43 3noch closed 4 years ago
0
Clarified DSum haddocks, add pointer to `deriveArgDict`

#42 endgame closed 4 years ago
2
Unclear how to implement GEq/GCompare and GRead at the same time for a GADT with a phantom type

#41 infinity0 closed 4 years ago
12
Fix build with ghc 8.8.1.

#40 dfordivam closed 4 years ago
3
Re-use Some from some

#39 phadej closed 5 years ago
3
Remove one unsafeCoerce

#38 treeowl closed 4 years ago
5
Add Monoid newtypes

#37 treeowl closed 4 years ago
3
Revert "Make Some more faithfully imitate a datatype"

#36 ali-abrar closed 5 years ago
2
Lazy some

#35 treeowl closed 4 years ago
2
Strictness tweak

#34 treeowl closed 5 years ago
0
Re-add legacy eqTagged and compareTagged; Fix legacy OrdTag synonym

#33 ali-abrar closed 5 years ago
0
Make Some more faithfully imitate a datatype

#32 treeowl closed 5 years ago
0
Make GEq = TestEquality (or not?)

#31 phadej closed 3 years ago
3