definition module DocumentDB import StdMaybe import TSt import Types from GenUpdate import :: DataPath class DocumentDB st where createDocument :: !String !String !TaskNr !DocumentData !*st -> (Document, !*st) updateDocument :: !Document !String !String !DocumentData !*st -> (Document, !*st) retrieveDocument :: !Document !*st -> (Maybe DocumentData, !*st) deleteDocument :: !Document !*st -> *st updateDocumentInfo :: !Document !*st -> *st retrieveDocumentInfo :: !String !Int !*st -> (Maybe Document, !*st) deleteDocuments :: !String !*st -> *st instance DocumentDB TSt