issues
search
obsidiansystems
/
constraints-extras
Convenience functions and template haskell for working with constraints
http://hackage.haskell.org/package/constraints-extras
Other
9
stars
12
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Make it build with ghc 9.10
#56
erikd
closed
4 months ago
2
Bump base and template-haskell bounds to enable GHC 9.10
#55
jhrcek
closed
4 months ago
6
Bump bounds to allow base-4.19 and template-haskell-2.21
#54
wz1000
opened
11 months ago
1
Update dependencies
#53
erikd
closed
11 months ago
4
Support GHC-9.8.
#52
alaendle
closed
11 months ago
1
Build with ghc 9.6
#51
alexfmpe
closed
1 year ago
1
Fix GitHub actions
#50
jonathanlking
closed
1 year ago
1
Confusing deriveArgDict behaviour/error messages
#49
jonathanlking
opened
1 year ago
4
Batch constraints to within maxTupleSize in deriveArgDict
#48
jonathanlking
opened
1 year ago
3
deriveArgDict fails for types with many constructors
#47
jonathanlking
closed
1 year ago
0
bump base and template-haskell upper bounds for ghc 9.4.1
#46
mitchellwrosen
closed
2 years ago
4
Seems not to want to compile on ghc 9.2.1
#45
danwdart
closed
2 years ago
3
Support GHC 9.2
#44
awjchen
closed
2 years ago
1
Turn `readme` into a `test-suite`
#43
phadej
opened
2 years ago
0
Allow constraints 0.13
#42
felixonmars
closed
3 years ago
2
Support GHC 9.0.1
#41
ali-abrar
closed
3 years ago
0
Provide ArgDict instances for sums of functors
#40
endgame
closed
3 years ago
1
Poly-kinded indexes
#39
o1lo01ol1o
opened
3 years ago
0
Unnecessary dependency on Aeson
#38
Z-snails
opened
3 years ago
1
TH error in deriveArgDict
#37
dfordivam
opened
3 years ago
2
Fix warnings in TH code
#36
Ericson2314
closed
3 years ago
0
Simplify everything by making Has into the class, and getting rid of …
#35
cgibbard
closed
1 year ago
3
Support GHC 8.10.1 (fixes #29)
#34
int-e
closed
4 years ago
6
Remove extra dependency constraints on readme exe
#33
3noch
closed
4 years ago
0
Please make hackage revision
#32
maralorn
closed
2 years ago
6
Bump constraints version constraints on readme
#31
maralorn
closed
4 years ago
4
Allow deriving instances for data families
#30
ryantrinkle
closed
4 years ago
0
Ghc 8.10 support
#29
expipiplus1
closed
4 years ago
4
Bump bound for `constraints`
#28
ryantrinkle
closed
4 years ago
0
Allow constraints-0.12
#27
phadej
closed
4 years ago
2
expose Data.Constraint.Flip
#26
danbornside
closed
4 years ago
2
Hackage haddock refresh
#25
endgame
closed
2 years ago
1
Whitespace nit
#24
endgame
closed
4 years ago
0
Data.Constraint.Extras: Add haddocks
#23
endgame
closed
4 years ago
0
Release v0.3.0.2
#22
ali-abrar
closed
5 years ago
0
Add ghc 8.8.1 to CI
#21
ali-abrar
closed
5 years ago
0
Compatibility with GHC 8.8
#20
mstksg
closed
5 years ago
2
Make GHC-8.8.1 compatible release or revision
#19
phadej
closed
5 years ago
1
There is no homepage nor bug-reports fields in constraints-extras.cabal
#18
phadej
closed
5 years ago
1
Always use QuantifiedConstraints, support inductive GADTs
#17
Ericson2314
opened
5 years ago
2
Fix cabal warnings; Add travis
#16
ali-abrar
closed
5 years ago
0
Replace markdown-unlit with regular LHS
#15
ali-abrar
closed
5 years ago
0
Release/0.2.3.5
#14
ali-abrar
closed
5 years ago
0
Merge pull request #12 from obsidiansystems/release/0.2.3.4
#13
ali-abrar
closed
5 years ago
0
Release/0.2.3.4
#12
ali-abrar
closed
5 years ago
0
Revert "Disable readme build for ghcjs"
#11
luigy
closed
5 years ago
0
Bug and warning fixes
#10
Ericson2314
closed
5 years ago
1
WIP: Demo making a "total DMap" with the new stuff -- depends on #8
#9
Ericson2314
closed
5 years ago
0
WIP: Rewrite the class to fully describe Gadt's phantoms
#8
Ericson2314
closed
5 years ago
1
Remove dead code from the TH
#7
Ericson2314
closed
5 years ago
0
Next