Module Cosmos.Json_converter_tSource

Sourcetype user = {
  1. id : string;
  2. rid : string;
  3. ts : int;
  4. self : string;
  5. etag : string;
  6. permissions : string;
}
Sourcetype parameter = {
  1. name : string;
  2. value : string;
}
Sourcetype query = {
  1. query : string;
  2. parameters : parameter list;
}
Sourcetype partitionKey_result = {
  1. paths : string list;
  2. kind : string;
}
Sourcetype list_users = {
  1. rid : string;
  2. users : user list;
  3. count : int;
}
Sourcetype database = {
  1. id : string;
  2. _rid : string;
  3. _self : string;
  4. _etag : string;
  5. _colls : string;
  6. _users : string;
  7. _ts : int;
}
Sourcetype list_databases = {
  1. _rid : string;
  2. databases : database list;
  3. _count : int;
}
Sourcetype indexes = {
  1. dataType : string;
  2. precision : int;
  3. kind : string;
}
Sourcetype included_paths = {
  1. path : string;
  2. indexes : indexes list;
}
Sourcetype indexing_policy = {
  1. automatic : bool;
  2. indexing_mode : string;
  3. included_paths : included_paths list;
}
Sourcetype collection = {
  1. id : string;
  2. indexing_policy : indexing_policy;
  3. partition_key : partitionKey_result option;
  4. rid : string;
  5. ts : int;
  6. self : string;
  7. etag : string;
  8. docs : string;
  9. sprocs : string;
  10. triggers : string;
  11. udfs : string;
  12. conflicts : string;
}
Sourcetype list_collections = {
  1. rid : string;
  2. document_collections : collection list;
  3. count : int;
}
Sourcetype create_user = {
  1. id : string;
}
Sourcetype create_partition_key = {
  1. paths : string list;
  2. kind : string;
  3. version : int option;
}
Sourcetype create_database = {
  1. id : string;
}
Sourcetype create_collection = {
  1. id : string;
  2. indexing_policy : indexing_policy option;
  3. partition_key : create_partition_key option;
}