├── .gitignore ├── LICENSE ├── README.md ├── error_test ├── ErrorTest.idr ├── error_test.ipkg └── test.sqlite ├── sqlite.ipkg ├── sqlite_test.ipkg ├── src ├── DB │ └── SQLite │ │ ├── Effect.idr │ │ ├── SQLiteCodes.idr │ │ └── SQLiteTest.idr ├── MakefileC ├── sqlite3api.c └── sqlite3api.h ├── test.db ├── type-provider ├── Database.idr ├── ErrorHandlers.idr ├── Parser.idr ├── ParserHack.idr ├── Provider.idr ├── Queries.idr ├── SQLiteTypes.idr ├── Schema.idr └── sqlite_provider.ipkg └── type_provider-demo ├── Test.idr ├── demo.ipkg └── test.sqlite /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/README.md -------------------------------------------------------------------------------- /error_test/ErrorTest.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/error_test/ErrorTest.idr -------------------------------------------------------------------------------- /error_test/error_test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/error_test/error_test.ipkg -------------------------------------------------------------------------------- /error_test/test.sqlite: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/error_test/test.sqlite -------------------------------------------------------------------------------- /sqlite.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/sqlite.ipkg -------------------------------------------------------------------------------- /sqlite_test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/sqlite_test.ipkg -------------------------------------------------------------------------------- /src/DB/SQLite/Effect.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/src/DB/SQLite/Effect.idr -------------------------------------------------------------------------------- /src/DB/SQLite/SQLiteCodes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/src/DB/SQLite/SQLiteCodes.idr -------------------------------------------------------------------------------- /src/DB/SQLite/SQLiteTest.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/src/DB/SQLite/SQLiteTest.idr -------------------------------------------------------------------------------- /src/MakefileC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/src/MakefileC -------------------------------------------------------------------------------- /src/sqlite3api.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/src/sqlite3api.c -------------------------------------------------------------------------------- /src/sqlite3api.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/src/sqlite3api.h -------------------------------------------------------------------------------- /test.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/test.db -------------------------------------------------------------------------------- /type-provider/Database.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/type-provider/Database.idr -------------------------------------------------------------------------------- /type-provider/ErrorHandlers.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/type-provider/ErrorHandlers.idr -------------------------------------------------------------------------------- /type-provider/Parser.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/type-provider/Parser.idr -------------------------------------------------------------------------------- /type-provider/ParserHack.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/type-provider/ParserHack.idr -------------------------------------------------------------------------------- /type-provider/Provider.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/type-provider/Provider.idr -------------------------------------------------------------------------------- /type-provider/Queries.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/type-provider/Queries.idr -------------------------------------------------------------------------------- /type-provider/SQLiteTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/type-provider/SQLiteTypes.idr -------------------------------------------------------------------------------- /type-provider/Schema.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/type-provider/Schema.idr -------------------------------------------------------------------------------- /type-provider/sqlite_provider.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/type-provider/sqlite_provider.ipkg -------------------------------------------------------------------------------- /type_provider-demo/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/type_provider-demo/Test.idr -------------------------------------------------------------------------------- /type_provider-demo/demo.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/type_provider-demo/demo.ipkg -------------------------------------------------------------------------------- /type_provider-demo/test.sqlite: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/IdrisSqlite/HEAD/type_provider-demo/test.sqlite --------------------------------------------------------------------------------