Define a Tupleable instance with a subrelation
Aperta
- Lingua principale
- Haskell
- Stelle
- 952
- Fork
- 50
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
Right now, haskell datatypes with list attributes are derived as `t :: List (a :: SomeTypeT)` is there a way of forcing the deriving mechanism to use `t :: relation {a::SomeTypeT}` instead?
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Valutazione
Questa issue non è ancora stata valutata.