Idris2Doc
: sqlite3
Index
Default
Alternative
Black & White
Package sqlite3 - Namespaces
Data.WithID
Derive.Sqlite3
Derive.Sqlite3.FromCell
Derive.Sqlite3.FromRow
Derive.Sqlite3.ToCell
Derive.Sqlite3.ToRow
Sqlite3
Sqlite3.Cmd
Sqlite3.Expr
Sqlite3.Marshall
Sqlite3.Parameter
Sqlite3.Prim
This was taken mostly verbatim from MarcelineVQ's unfinished idris-sqlite3 project: [https://github.com/MarcelineVQ/idris-sqlite3]
Sqlite3.Table
Sqlite3.Types