Set up HList Lubbing to solve some very irritating problems.

Jacoby6000 / sqlz

Pure Functional SQL generation.

MIT License

40 stars 4 forks source link

Set up HList Lubbing to solve some very irritating problems. #38

Closed Jacoby6000 closed 7 years ago

Jacoby6000 commented 8 years ago

Currently, we have typeclasses that might expect QueryValues for example, but if the hlist contains a QueryParameter, you will get a compiler error, even though QueryParameter is a subclass of QueryValue. This can be fixed with shapeless' Unifier hopefully.

Jacoby6000 commented 8 years ago

Evidently the Unifier will not work with Higher kinded types. Need to look in to make a higher-kinded type unifier for kinds with Covariant type parameters.

Jacoby6000 commented 7 years ago

No longer using HLists, so this isn't relevant after #43 gets merged