Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

github.com/lamdu/hypertypes

Hypertypes - generic programming for heterogeneous recursive types
https://github.com/lamdu/hypertypes

Do not put inferred kind variables in generated TH splices

expipiplus1 opened this pull request 3 months ago

Deriving HNodes (and friends) fails in the presence of PolyKinds

expipiplus1 opened this issue 3 months ago

Fix for TH 2.21

expipiplus1 opened this pull request 4 months ago

Please export `makeCommonInstances`

silky opened this issue 10 months ago

Would love a complete `Person` example :)

silky opened this issue 10 months ago

Folding over the closure of child types

expipiplus1 opened this issue over 1 year ago

Split up the package

expipiplus1 opened this issue over 1 year ago

Is it possible to get the latest version uploaded to Hackage please

expipiplus1 opened this issue over 1 year ago

add HNodes context for FlatEmbed

MegaBluejay opened this pull request almost 2 years ago

makeHNodes fails to generate constraints in some cases

MegaBluejay opened this issue almost 2 years ago

Replace link to 'Data types a la carte' paper

rm-- opened this pull request about 2 years ago

Type-class support MVP

yairchu opened this issue over 2 years ago

Release tags

MonadicT opened this issue over 3 years ago

README proofreading, and a question

glaebhoerl opened this issue over 3 years ago

the package is not on hackage

yaitskov opened this issue over 3 years ago

TH derivations stuck

yairchu opened this issue over 3 years ago

TH: Proper contexts for instances of co-recursive types

yairchu opened this issue over 3 years ago

Typo

masaeedu opened this pull request almost 5 years ago

Question: generalize Hyper.Class.Context.recursiveContexts?

yairchu opened this issue about 5 years ago

A type class for node optics

yairchu opened this issue about 5 years ago

makeHasHPlain work for more cases

yairchu opened this issue about 5 years ago

fix minor kind errors in readme

glaebhoerl opened this pull request over 5 years ago

Make use of GADTs rather than TypeFamilies for nicer inference and type errors

yairchu opened this issue over 5 years ago