Redis

let standard_entry = let reserved_k = "save" | "rename-command" | "slaveof" | "bind" | "client-output-buffer-limit" in let entry_noempty = [ indent . key (k - reserved_k) . del_ws_spc . Quote.do_quote_opt_nil (store v) . eol ] in let entry_empty = [ indent . key (k - reserved_k) . del_ws_spc . dquote . store "" . dquote . eol ] in entry_noempty | entry_empty

A standard entry is a key-value pair, separated by blank space, with optional blank spaces at line beginning & end.  The value part can be optionnaly enclosed in single or double quotes.  Comments at end-of-line ar NOT allowed by redis-server.

let save_entry = [ indent . key save . del_ws_spc . seconds . del_ws_spc . keys . eol ]

Entries identified by the “save” keyword can be found more than once.  They have 2 mandatory parameters, both integers.  The same rules as standard_entry apply for quoting, comments and whitespaces.

let slaveof_entry = [ indent . key slaveof . del_ws_spc . ip . del_ws_spc . port . eol ]

Entries identified by the “slaveof” keyword can be found more than once.  They have 2 mandatory parameters, the 1st one is an IP address, the 2nd one is a port number.  The same rules as standard_entry apply for quoting, comments and whitespaces.

let bind_entry = let ip = del_ws_spc . Quote.do_quote_opt_nil (store Rx.ip) in indent . [ key "bind" . [ label "ip" . ip ]+ ] . eol

The “bind” entry can be passed one or several ip addresses.  A bind statement “bind ip1 ip2 .. ipn” results in a tree { “bind” { “ip” = ip1 } { “ip” = ip2 } ...  { “ip” = ipn } }

Entries identified by the “rename-command” keyword can be found more than once.  They have 2 mandatory parameters, both strings.  The same rules as standard_entry apply for quoting, comments and whitespaces.

let client_output_buffer_limit_entry = [ indent . key cobl_cmd . del_ws_spc . class . del_ws_spc . hard_limit . del_ws_spc . soft_limit . del_ws_spc . soft_seconds . eol ]

Entries identified by the “client-output-buffer-limit” keyword can be found more than once.  They have four mandatory parameters, of which the first is a string, the last one is an integer and the others are either integers or words, although redis is very liberal and takes “4242yadayadabytes” as a valid limit.  The same rules as standard_entry apply for quoting, comments and whitespaces.

let lns = (comment | empty | entry )*

The Redis lens