Idris2Doc : Derive.Sqlite3

Derive.Sqlite3

(source)

Reexports

importpublic Derive.Prelude
importpublic Sqlite3
importpublic Derive.Sqlite3.FromCell
importpublic Derive.Sqlite3.ToCell
importpublic Derive.Sqlite3.FromRow
importpublic Derive.Sqlite3.ToRow