issues
search
lamdu
/
hypertypes
Hypertypes - generic programming for heterogeneous recursive types
Other
119
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Do not put inferred kind variables in generated TH splices
#24
expipiplus1
opened
1 month ago
1
Deriving HNodes (and friends) fails in the presence of PolyKinds
#23
expipiplus1
opened
1 month ago
0
Fix for TH 2.21
#22
expipiplus1
opened
2 months ago
2
Please export `makeCommonInstances`
#21
silky
opened
8 months ago
0
Would love a complete `Person` example :)
#20
silky
opened
8 months ago
4
Folding over the closure of child types
#19
expipiplus1
opened
1 year ago
2
Split up the package
#18
expipiplus1
opened
1 year ago
0
Is it possible to get the latest version uploaded to Hackage please
#17
expipiplus1
closed
1 year ago
2
add HNodes context for FlatEmbed
#15
MegaBluejay
closed
1 year ago
1
makeHNodes fails to generate constraints in some cases
#14
MegaBluejay
closed
1 year ago
1
Replace link to 'Data types a la carte' paper
#13
rm--
closed
1 year ago
1
Type-class support MVP
#12
yairchu
opened
2 years ago
0
Release tags
#11
MonadicT
closed
3 years ago
1
README proofreading, and a question
#10
glaebhoerl
closed
3 years ago
5
the package is not on hackage
#9
yaitskov
closed
3 years ago
1
TH derivations stuck
#8
yairchu
closed
3 years ago
1
TH: Proper contexts for instances of co-recursive types
#7
yairchu
closed
3 years ago
1
Typo
#6
masaeedu
closed
4 years ago
0
Question: generalize Hyper.Class.Context.recursiveContexts?
#5
yairchu
closed
3 years ago
0
A type class for node optics
#4
yairchu
closed
3 years ago
1
makeHasHPlain work for more cases
#3
yairchu
closed
5 years ago
1
fix minor kind errors in readme
#2
glaebhoerl
closed
5 years ago
1
Make use of GADTs rather than TypeFamilies for nicer inference and type errors
#1
yairchu
opened
5 years ago
1