search

stefan-hoeck / idris2-sqlite3

Idris2 bindings to the sqlite3 C-API
BSD 3-Clause "New" or "Revised" License
3 stars 1 forks source link

No inhabitant for `Cmd TSelect`? #42

Open andrevidela opened 4 months ago

andrevidela commented 4 months ago

Hi there,

First time using this library and I was a bit confused about the fact that there is a TSelect tag for commands but the command data type does not have any value of type Cmd TSelect. Instead the only way to perform Select is through a Query.

Is that intended or is something missing? And if it's intended, id there a nice way to mix & match Cmd * and Query ?