├── .gitignore ├── CSVMain.idr ├── Data └── NamedVect.idr ├── Main.idr ├── Makefile ├── Providers ├── CSV.idr ├── DB.idr ├── DBParser.idr ├── DBProvider.idr └── Silly.idr ├── README.md ├── SQLiteConstants.idr ├── SQLiteTypes.idr ├── sqlite_provider.c ├── sqlite_provider.h ├── test.csv └── test.sqlite /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/idris-type-providers/HEAD/.gitignore -------------------------------------------------------------------------------- /CSVMain.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/idris-type-providers/HEAD/CSVMain.idr -------------------------------------------------------------------------------- /Data/NamedVect.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/idris-type-providers/HEAD/Data/NamedVect.idr -------------------------------------------------------------------------------- /Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/idris-type-providers/HEAD/Main.idr -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/idris-type-providers/HEAD/Makefile -------------------------------------------------------------------------------- /Providers/CSV.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/idris-type-providers/HEAD/Providers/CSV.idr -------------------------------------------------------------------------------- /Providers/DB.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/idris-type-providers/HEAD/Providers/DB.idr -------------------------------------------------------------------------------- /Providers/DBParser.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/idris-type-providers/HEAD/Providers/DBParser.idr -------------------------------------------------------------------------------- /Providers/DBProvider.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/idris-type-providers/HEAD/Providers/DBProvider.idr -------------------------------------------------------------------------------- /Providers/Silly.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/idris-type-providers/HEAD/Providers/Silly.idr -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/idris-type-providers/HEAD/README.md -------------------------------------------------------------------------------- /SQLiteConstants.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/idris-type-providers/HEAD/SQLiteConstants.idr -------------------------------------------------------------------------------- /SQLiteTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/idris-type-providers/HEAD/SQLiteTypes.idr -------------------------------------------------------------------------------- /sqlite_provider.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/idris-type-providers/HEAD/sqlite_provider.c -------------------------------------------------------------------------------- /sqlite_provider.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/idris-type-providers/HEAD/sqlite_provider.h -------------------------------------------------------------------------------- /test.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/idris-type-providers/HEAD/test.csv -------------------------------------------------------------------------------- /test.sqlite: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/idris-type-providers/HEAD/test.sqlite --------------------------------------------------------------------------------