search

StevenWInfo / haskell-soda

Haskell bindings for the Socrata Open Data API
MIT License
4 stars 0 forks source link

Limit the input types of certain SodaFuncs with typeclasses #9

Closed StevenWInfo closed 7 years ago

StevenWInfo commented 7 years ago

Some SodaFuncs have more limited input types than the GADT currently expresses. Typeclasses and instances will need to be made to put additional constraints on the constructors. I think they'll be typeclasses without methods.

StevenWInfo commented 7 years ago

I've made a few typeclasses and put them as constraints on the different SODA function constructors. The types aren't all completely how the documentation describes the data types that the functions allow, but they're pretty close. Some of them, I think that the documentation might be missing a data type here and there. For any other problems we can add more typeclasses later.