Idris bindings to MongoDB C connector

You need to have a mongoDB up and running on localhost for tests to work.

Licensed under GPLv3. Status: experimental.

Feel free to point out bugs or incomplete features in the issue tracker. Thanks!

Name		Name	Last commit message	Last commit date
Latest commit History 168 Commits
.gitignore		.gitignore
BSon.idr		BSon.idr
BSonError.idr		BSonError.idr
Client.idr		Client.idr
Collection.idr		Collection.idr
Command.idr		Command.idr
Common.idr		Common.idr
ISon.idr		ISon.idr
Makefile		Makefile
Mongo.idr		Mongo.idr
Options.idr		Options.idr
README.md		README.md
ReadConcern.idr		ReadConcern.idr
ReadPreferences.idr		ReadPreferences.idr
Tests.idr		Tests.idr
WriteConcern.idr		WriteConcern.idr
binaries.make		binaries.make
idris_bson.c		idris_bson.c
idris_bson.h		idris_bson.h
idris_common.c		idris_common.c
idris_common.h		idris_common.h
idris_mongo.c		idris_mongo.c
idris_mongo.h		idris_mongo.h
idris_mongo_bson_error.c		idris_mongo_bson_error.c
idris_mongo_bson_error.h		idris_mongo_bson_error.h
idris_mongo_client.c		idris_mongo_client.c
idris_mongo_client.h		idris_mongo_client.h
idris_mongo_collection.c		idris_mongo_collection.c
idris_mongo_collection.h		idris_mongo_collection.h
idris_mongo_options.c		idris_mongo_options.c
idris_mongo_options.h		idris_mongo_options.h
idris_mongo_read_concern.c		idris_mongo_read_concern.c
idris_mongo_read_concern.h		idris_mongo_read_concern.h
idris_mongo_read_preferences.c		idris_mongo_read_preferences.c
idris_mongo_read_preferences.h		idris_mongo_read_preferences.h
idris_mongo_write_concern.c		idris_mongo_write_concern.c
idris_mongo_write_concern.h		idris_mongo_write_concern.h
mongo.ipkg		mongo.ipkg

Provide feedback