|
Packit Service |
a2ae7a |
(*
|
|
Packit Service |
a2ae7a |
Module: Sep
|
|
Packit Service |
a2ae7a |
Generic separators to build lenses
|
|
Packit Service |
a2ae7a |
|
|
Packit Service |
a2ae7a |
Author: Raphael Pinson <raphink@gmail.com>
|
|
Packit Service |
a2ae7a |
|
|
Packit Service |
a2ae7a |
About: License
|
|
Packit Service |
a2ae7a |
This file is licensed under the LGPL v2+, like the rest of Augeas.
|
|
Packit Service |
a2ae7a |
*)
|
|
Packit Service |
a2ae7a |
|
|
Packit Service |
a2ae7a |
|
|
Packit Service |
a2ae7a |
module Sep =
|
|
Packit Service |
a2ae7a |
|
|
Packit Service |
a2ae7a |
(* Variable: colon *)
|
|
Packit Service |
a2ae7a |
let colon = Util.del_str ":"
|
|
Packit Service |
a2ae7a |
|
|
Packit Service |
a2ae7a |
(* Variable: semicolon *)
|
|
Packit Service |
a2ae7a |
let semicolon = Util.del_str ";"
|
|
Packit Service |
a2ae7a |
|
|
Packit Service |
a2ae7a |
(* Variable: comma *)
|
|
Packit Service |
a2ae7a |
let comma = Util.del_str ","
|
|
Packit Service |
a2ae7a |
|
|
Packit Service |
a2ae7a |
(* Variable: equal *)
|
|
Packit Service |
a2ae7a |
let equal = Util.del_str "="
|
|
Packit Service |
a2ae7a |
|
|
Packit Service |
a2ae7a |
(* Variable: space_equal *)
|
|
Packit Service |
a2ae7a |
let space_equal = Util.delim "="
|
|
Packit Service |
a2ae7a |
|
|
Packit Service |
a2ae7a |
(* Variable: space
|
|
Packit Service |
a2ae7a |
Deletes a <Rx.space> and default to a single space *)
|
|
Packit Service |
a2ae7a |
let space = del Rx.space " "
|
|
Packit Service |
a2ae7a |
|
|
Packit Service |
a2ae7a |
(* Variable: tab
|
|
Packit Service |
a2ae7a |
Deletes a <Rx.space> and default to a tab *)
|
|
Packit Service |
a2ae7a |
let tab = del Rx.space "\t"
|
|
Packit Service |
a2ae7a |
|
|
Packit Service |
a2ae7a |
(* Variable: opt_space
|
|
Packit Service |
a2ae7a |
Deletes a <Rx.opt_space> and default to an empty string *)
|
|
Packit Service |
a2ae7a |
let opt_space = del Rx.opt_space ""
|
|
Packit Service |
a2ae7a |
|
|
Packit Service |
a2ae7a |
(* Variable: opt_tab
|
|
Packit Service |
a2ae7a |
Deletes a <Rx.opt_space> and default to a tab *)
|
|
Packit Service |
a2ae7a |
let opt_tab = del Rx.opt_space "\t"
|
|
Packit Service |
a2ae7a |
|
|
Packit Service |
a2ae7a |
(* Variable: cl_or_space
|
|
Packit Service |
a2ae7a |
Deletes a <Rx.cl_or_space> and default to a single space *)
|
|
Packit Service |
a2ae7a |
let cl_or_space = del Rx.cl_or_space " "
|
|
Packit Service |
a2ae7a |
|
|
Packit Service |
a2ae7a |
(* Variable: cl_or_opt_space
|
|
Packit Service |
a2ae7a |
Deletes a <Rx.cl_or_opt_space> and default to a single space *)
|
|
Packit Service |
a2ae7a |
let cl_or_opt_space = del Rx.cl_or_opt_space " "
|
|
Packit Service |
a2ae7a |
|
|
Packit Service |
a2ae7a |
(* Variable: lbracket *)
|
|
Packit Service |
a2ae7a |
let lbracket = Util.del_str "("
|
|
Packit Service |
a2ae7a |
|
|
Packit Service |
a2ae7a |
(* Variable: rbracket *)
|
|
Packit Service |
a2ae7a |
let rbracket = Util.del_str ")"
|