issues
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
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
No inhabitant for `Cmd TSelect`?
#42
andrevidela
opened
2 months ago
0
[ new ] add sqlite3LastInsertRowID utility function
#41
stefan-hoeck
closed
5 months ago
0
[ compat ] adjust to upstream changes
#40
stefan-hoeck
closed
6 months ago
0
[ compat ] adjust to upstream changes
#39
stefan-hoeck
closed
6 months ago
0
Handle actions on FOREIGN_KEY constraints
#38
emdash
opened
7 months ago
0
Add a roadmap
#37
emdash
opened
7 months ago
4
Support actions on FOREIGN_KEY constraints
#36
emdash
closed
7 months ago
1
Add a `SELECT_DISTINCT` query variant
#35
emdash
closed
7 months ago
1
implement `EXISTS` function
#34
emdash
opened
7 months ago
0
Implement `SELECT_DISTINCT`
#33
emdash
closed
7 months ago
1
[ doc ] add link to tutorial to README
#32
stefan-hoeck
closed
7 months ago
0
[ new ] Interpolation for SqlError
#31
stefan-hoeck
closed
8 months ago
0
[ new ] pretty tables with column headers
#30
stefan-hoeck
closed
8 months ago
0
[ new ] print pretty tables
#29
stefan-hoeck
closed
8 months ago
0
[ new, refactor ] flattening marshallers
#28
stefan-hoeck
closed
8 months ago
0
[ refactor ] drop BOOL data constructor
#27
stefan-hoeck
closed
8 months ago
0
[ doc ] finish first version of tutorial
#26
stefan-hoeck
closed
8 months ago
0
[ doc, wip ] writing a tutorial
#25
stefan-hoeck
closed
8 months ago
0
[ new ] derive FromCell and ToCell for newtypes
#24
stefan-hoeck
closed
8 months ago
0
[ refactor ] split interfaces AsCell and AsRow
#23
stefan-hoeck
closed
8 months ago
0
[ doc ] write a proper README with example app
#22
stefan-hoeck
closed
8 months ago
0
[ new ] named expressions in queries
#21
stefan-hoeck
closed
8 months ago
0
[ new ] HAVING clauses
#20
stefan-hoeck
closed
8 months ago
0
[ new ] LIMIT and OFFSET
#19
stefan-hoeck
closed
8 months ago
0
[ syntax ] infix ops to assemble queries
#18
stefan-hoeck
closed
8 months ago
0
[ new ] add support for GROUP_BY
#17
stefan-hoeck
closed
8 months ago
0
[ new ] add support for ordering query results
#16
stefan-hoeck
closed
8 months ago
0
[ new ] nicer syntax for tables, columns, and joins
#15
stefan-hoeck
closed
8 months ago
0
[ new, wip ] a first take at joins
#14
stefan-hoeck
closed
8 months ago
0
[ refactor ] removed some unneeded aliases
#13
stefan-hoeck
closed
8 months ago
0
[ refactor ] remove redundant list types
#12
stefan-hoeck
closed
8 months ago
0
[ refactor ] reduce inductive proofs with column names
#11
stefan-hoeck
closed
8 months ago
0
[ new, derive ] basic deriving of AsRow and AsCell
#10
stefan-hoeck
closed
8 months ago
0
[ new, refactor ] marshalling row types
#9
stefan-hoeck
closed
8 months ago
0
[ new ] add additional expressions
#8
stefan-hoeck
closed
8 months ago
0
[ new ] a simple DSL for writing type safe SQL commands and expressions
#7
stefan-hoeck
closed
8 months ago
0
[ cleanup ] remove INT column type
#6
stefan-hoeck
closed
8 months ago
0
[ new ] binding args and inserting blobs
#5
stefan-hoeck
closed
9 months ago
0
[ doc ] added docstrings to core library
#4
stefan-hoeck
closed
9 months ago
0
[ new ] added sqlite3-rio library
#3
stefan-hoeck
closed
9 months ago
0
[ doc ] give credit in README
#2
stefan-hoeck
closed
11 months ago
0
[ ci ] enable CI
#1
stefan-hoeck
closed
11 months ago
0