Blame lenses/sep.aug

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 ")"