Gecko [ gandhischool.edu.np ]

Name	Size	Permission
tests	[ DIR ]	drwxr-xr-x
access.aug	3.58 KB	-rw-r--r--
activemq_conf.aug	1.47 KB	-rw-r--r--
activemq_xml.aug	864 B	-rw-r--r--
afs_cellalias.aug	1.56 KB	-rw-r--r--
aliases.aug	2.18 KB	-rw-r--r--
anaconda.aug	775 B	-rw-r--r--
anacron.aug	2.49 KB	-rw-r--r--
approx.aug	1.26 KB	-rw-r--r--
apt_update_manager.aug	1.11 KB	-rw-r--r--
aptcacherngsecurity.aug	726 B	-rw-r--r--
aptconf.aug	3.9 KB	-rw-r--r--
aptpreferences.aug	1.79 KB	-rw-r--r--
aptsources.aug	1.98 KB	-rw-r--r--
authinfo2.aug	1.44 KB	-rw-r--r--
authorized_keys.aug	1.84 KB	-rw-r--r--
authselectpam.aug	3.7 KB	-rw-r--r--
automaster.aug	3.31 KB	-rw-r--r--
automounter.aug	4.05 KB	-rw-r--r--
avahi.aug	1.38 KB	-rw-r--r--
backuppchosts.aug	1014 B	-rw-r--r--
bbhosts.aug	4.24 KB	-rw-r--r--
bootconf.aug	3.65 KB	-rw-r--r--
build.aug	16.65 KB	-rw-r--r--
cachefilesd.aug	2 KB	-rw-r--r--
carbon.aug	1.54 KB	-rw-r--r--
ceph.aug	719 B	-rw-r--r--
cgconfig.aug	3.37 KB	-rw-r--r--
cgrules.aug	2.38 KB	-rw-r--r--
channels.aug	3.84 KB	-rw-r--r--
chrony.aug	13.79 KB	-rw-r--r--
clamav.aug	1.72 KB	-rw-r--r--
cmdline.aug	506 B	-rw-r--r--
cobblermodules.aug	398 B	-rw-r--r--
cobblersettings.aug	2.24 KB	-rw-r--r--
cockpit.aug	1.96 KB	-rw-r--r--
collectd.aug	869 B	-rw-r--r--
cpanel.aug	824 B	-rw-r--r--
cron.aug	4.05 KB	-rw-r--r--
cron_user.aug	1.26 KB	-rw-r--r--
crypttab.aug	3.08 KB	-rw-r--r--
csv.aug	1.18 KB	-rw-r--r--
cups.aug	459 B	-rw-r--r--
cyrus_imapd.aug	1.51 KB	-rw-r--r--
darkice.aug	773 B	-rw-r--r--
debctrl.aug	3.61 KB	-rw-r--r--
desktop.aug	1.39 KB	-rw-r--r--
devfsrules.aug	619 B	-rw-r--r--
device_map.aug	620 B	-rw-r--r--
dhclient.aug	6.69 KB	-rw-r--r--
dhcpd.aug	20.88 KB	-rw-r--r--
dns_zone.aug	2.89 KB	-rw-r--r--
dnsmasq.aug	2.16 KB	-rw-r--r--
dovecot.aug	3.98 KB	-rw-r--r--
dpkg.aug	2.78 KB	-rw-r--r--
dput.aug	2.16 KB	-rw-r--r--
erlang.aug	4.33 KB	-rw-r--r--
ethers.aug	663 B	-rw-r--r--
exports.aug	2.37 KB	-rw-r--r--
fai_diskconfig.aug	9.28 KB	-rw-r--r--
fail2ban.aug	1.79 KB	-rw-r--r--
fonts.aug	819 B	-rw-r--r--
fstab.aug	1.23 KB	-rw-r--r--
fuse.aug	871 B	-rw-r--r--
gdm.aug	1.8 KB	-rw-r--r--
getcap.aug	1.57 KB	-rw-r--r--
group.aug	1.66 KB	-rw-r--r--
grub.aug	11.05 KB	-rw-r--r--
grubenv.aug	508 B	-rw-r--r--
gshadow.aug	2.19 KB	-rw-r--r--
gtkbookmarks.aug	855 B	-rw-r--r--
host_conf.aug	1.9 KB	-rw-r--r--
hostname.aug	435 B	-rw-r--r--
hosts.aug	485 B	-rw-r--r--
hosts_access.aug	4.32 KB	-rw-r--r--
htpasswd.aug	1.02 KB	-rw-r--r--
httpd.aug	7.35 KB	-rw-r--r--
inetd.aug	6.22 KB	-rw-r--r--
inifile.aug	15.49 KB	-rw-r--r--
inittab.aug	780 B	-rw-r--r--
inputrc.aug	1.62 KB	-rw-r--r--
interfaces.aug	4.62 KB	-rw-r--r--
iproute2.aug	323 B	-rw-r--r--
iptables.aug	2.64 KB	-rw-r--r--
iscsid.aug	684 B	-rw-r--r--
jaas.aug	1.57 KB	-rw-r--r--
jettyrealm.aug	1.52 KB	-rw-r--r--
jmxaccess.aug	1.35 KB	-rw-r--r--
jmxpassword.aug	1.34 KB	-rw-r--r--
json.aug	2.15 KB	-rw-r--r--
kdump.aug	3.06 KB	-rw-r--r--
keepalived.aug	10.73 KB	-rw-r--r--
known_hosts.aug	1.93 KB	-rw-r--r--
koji.aug	898 B	-rw-r--r--
krb5.aug	6.98 KB	-rw-r--r--
ldif.aug	7.65 KB	-rw-r--r--
ldso.aug	1.06 KB	-rw-r--r--
lightdm.aug	1.75 KB	-rw-r--r--
limits.aug	2.02 KB	-rw-r--r--
login_defs.aug	615 B	-rw-r--r--
logrotate.aug	4.23 KB	-rw-r--r--
logwatch.aug	1.44 KB	-rw-r--r--
lokkit.aug	2.16 KB	-rw-r--r--
lvm.aug	2.03 KB	-rw-r--r--
mailscanner.aug	1.66 KB	-rw-r--r--
mailscanner_rules.aug	2.84 KB	-rw-r--r--
masterpasswd.aug	4.36 KB	-rw-r--r--
mcollective.aug	1.09 KB	-rw-r--r--
mdadm_conf.aug	10.05 KB	-rw-r--r--
memcached.aug	1.24 KB	-rw-r--r--
mke2fs.aug	6.29 KB	-rw-r--r--
modprobe.aug	3.34 KB	-rw-r--r--
modules.aug	741 B	-rw-r--r--
modules_conf.aug	1.04 KB	-rw-r--r--
mongodbserver.aug	1.17 KB	-rw-r--r--
monit.aug	2.13 KB	-rw-r--r--
multipath.aug	4.21 KB	-rw-r--r--
mysql.aug	1.95 KB	-rw-r--r--
nagioscfg.aug	2.09 KB	-rw-r--r--
nagiosobjects.aug	1.57 KB	-rw-r--r--
netmasks.aug	1.69 KB	-rw-r--r--
networkmanager.aug	2.18 KB	-rw-r--r--
networks.aug	1.09 KB	-rw-r--r--
nginx.aug	3.65 KB	-rw-r--r--
nrpe.aug	1.78 KB	-rw-r--r--
nslcd.aug	9.87 KB	-rw-r--r--
nsswitch.aug	2.33 KB	-rw-r--r--
ntp.aug	5.29 KB	-rw-r--r--
ntpd.aug	4.75 KB	-rw-r--r--
odbc.aug	1.42 KB	-rw-r--r--
opendkim.aug	3.1 KB	-rw-r--r--
openshift_config.aug	2.46 KB	-rw-r--r--
openshift_http.aug	1.03 KB	-rw-r--r--
openshift_quickstarts.aug	1.02 KB	-rw-r--r--
openvpn.aug	22.28 KB	-rw-r--r--
oz.aug	1.35 KB	-rw-r--r--
pagekite.aug	2.6 KB	-rw-r--r--
pam.aug	2.58 KB	-rw-r--r--
pamconf.aug	1.23 KB	-rw-r--r--
passwd.aug	3.52 KB	-rw-r--r--
pbuilder.aug	638 B	-rw-r--r--
pg_hba.aug	2.97 KB	-rw-r--r--
pgbouncer.aug	1.43 KB	-rw-r--r--
php.aug	2.34 KB	-rw-r--r--
phpvars.aug	3.85 KB	-rw-r--r--
postfix_access.aug	771 B	-rw-r--r--
postfix_main.aug	1.52 KB	-rw-r--r--
postfix_master.aug	1.9 KB	-rw-r--r--
postfix_passwordmap.aug	1.28 KB	-rw-r--r--
postfix_sasl_smtpd.aug	697 B	-rw-r--r--
postfix_transport.aug	1.48 KB	-rw-r--r--
postfix_virtual.aug	1.32 KB	-rw-r--r--
postgresql.aug	2.1 KB	-rw-r--r--
properties.aug	2.3 KB	-rw-r--r--
protocols.aug	1.05 KB	-rw-r--r--
puppet.aug	1.52 KB	-rw-r--r--
puppet_auth.aug	1.95 KB	-rw-r--r--
puppetfile.aug	2.27 KB	-rw-r--r--
puppetfileserver.aug	3.12 KB	-rw-r--r--
pylonspaste.aug	2.3 KB	-rw-r--r--
pythonpaste.aug	1.99 KB	-rw-r--r--
qpid.aug	670 B	-rw-r--r--
quote.aug	6.71 KB	-rw-r--r--
rabbitmq.aug	4.69 KB	-rw-r--r--
radicale.aug	1.48 KB	-rw-r--r--
rancid.aug	927 B	-rw-r--r--
redis.aug	6.5 KB	-rw-r--r--
reprepro_uploaders.aug	5.47 KB	-rw-r--r--
resolv.aug	4.03 KB	-rw-r--r--
rhsm.aug	1.1 KB	-rw-r--r--
rmt.aug	788 B	-rw-r--r--
rsyncd.aug	1.97 KB	-rw-r--r--
rsyslog.aug	3.27 KB	-rw-r--r--
rtadvd.aug	854 B	-rw-r--r--
rx.aug	4.2 KB	-rw-r--r--
samba.aug	1.71 KB	-rw-r--r--
schroot.aug	1.79 KB	-rw-r--r--
securetty.aug	450 B	-rw-r--r--
semanage.aug	1.02 KB	-rw-r--r--
sep.aug	1.28 KB	-rw-r--r--
services.aug	2.82 KB	-rw-r--r--
shadow.aug	2.35 KB	-rw-r--r--
shells.aug	745 B	-rw-r--r--
shellvars.aug	12.02 KB	-rw-r--r--
shellvars_list.aug	1.74 KB	-rw-r--r--
simplelines.aug	1.13 KB	-rw-r--r--
simplevars.aug	1.4 KB	-rw-r--r--
sip_conf.aug	1.61 KB	-rw-r--r--
slapd.aug	5.2 KB	-rw-r--r--
smbusers.aug	781 B	-rw-r--r--
solaris_system.aug	3.15 KB	-rw-r--r--
soma.aug	1.14 KB	-rw-r--r--
sos.aug	807 B	-rw-r--r--
spacevars.aug	1.42 KB	-rw-r--r--
splunk.aug	1.64 KB	-rw-r--r--
squid.aug	15.95 KB	-rw-r--r--
ssh.aug	4.39 KB	-rw-r--r--
sshd.aug	4.74 KB	-rw-r--r--
sssd.aug	861 B	-rw-r--r--
star.aug	941 B	-rw-r--r--
strongswan.aug	1.63 KB	-rw-r--r--
stunnel.aug	2.21 KB	-rw-r--r--
subversion.aug	2.75 KB	-rw-r--r--
sudoers.aug	20.08 KB	-rw-r--r--
sysconfig.aug	2.49 KB	-rw-r--r--
sysconfig_route.aug	2.55 KB	-rw-r--r--
sysctl.aug	1.36 KB	-rw-r--r--
syslog.aug	7.33 KB	-rw-r--r--
systemd.aug	6 KB	-rw-r--r--
termcap.aug	1.03 KB	-rw-r--r--
thttpd.aug	1.31 KB	-rw-r--r--
tinc.aug	1.08 KB	-rw-r--r--
tmpfiles.aug	3.16 KB	-rw-r--r--
toml.aug	4.24 KB	-rw-r--r--
trapperkeeper.aug	4.01 KB	-rw-r--r--
tuned.aug	387 B	-rw-r--r--
up2date.aug	2.21 KB	-rw-r--r--
updatedb.aug	1.13 KB	-rw-r--r--
util.aug	4.85 KB	-rw-r--r--
vfstab.aug	1.71 KB	-rw-r--r--
vmware_config.aug	702 B	-rw-r--r--
vsftpd.aug	2.72 KB	-rw-r--r--
webmin.aug	1.23 KB	-rw-r--r--
wine.aug	1.92 KB	-rw-r--r--
xendconfsxp.aug	1.07 KB	-rw-r--r--
xinetd.aug	4.02 KB	-rw-r--r--
xml.aug	6.33 KB	-rw-r--r--
xorg.aug	10.43 KB	-rw-r--r--
xymon.aug	2.26 KB	-rw-r--r--
xymon_alerting.aug	6.11 KB	-rw-r--r--
yaml.aug	1.54 KB	-rw-r--r--
yum.aug	2.19 KB	-rw-r--r--

Code Editor : build.aug

(*
Module: Build
   Generic functions to build lenses

Author: Raphael Pinson <raphink@gmail.com>

About: License
  This file is licensed under the LGPL v2+, like the rest of Augeas.

About: Reference
  This file provides generic functions to build Augeas lenses
*)

module Build =

let eol = Util.eol

(************************************************************************
 * Group:               GENERIC CONSTRUCTIONS
 ************************************************************************)

(************************************************************************
 * View: brackets
 *   Put a lens inside brackets
 *
 *   Parameters:
 *     l:lens   - the left bracket lens
 *     r: lens  - the right bracket lens
 *     lns:lens - the lens to put inside brackets
 ************************************************************************)
let brackets (l:lens) (r:lens) (lns:lens) = l . lns . r

(************************************************************************
 * Group:             LIST CONSTRUCTIONS
 ************************************************************************)

(************************************************************************
 * View: list
 *   Build a list of identical lenses separated with a given separator
 *   (at least 2 elements)
 *
 *   Parameters:
 *     lns:lens - the lens to repeat in the list
 *     sep:lens - the separator lens, which can be taken from the <Sep> module
 ************************************************************************)
let list (lns:lens) (sep:lens) = lns . ( sep . lns )+

(************************************************************************
 * View: opt_list
 *   Same as <list>, but there might be only one element in the list
 *
 *   Parameters:
 *     lns:lens - the lens to repeat in the list
 *     sep:lens - the separator lens, which can be taken from the <Sep> module
 ************************************************************************)
let opt_list (lns:lens) (sep:lens) = lns . ( sep . lns )*

(************************************************************************
 * Group:                   LABEL OPERATIONS
 ************************************************************************)

(************************************************************************
 * View: xchg
 *   Replace a pattern with a different label in the tree,
 *   thus emulating a key but allowing to replace the keyword
 *   with a different value than matched
 *
 *   Parameters:
 *     m:regexp - the pattern to match
 *     d:string - the default value when a node in created
 *     l:string - the label to apply for such nodes
 ************************************************************************)
let xchg (m:regexp) (d:string) (l:string) = del m d . label l

(************************************************************************
 * View: xchgs
 *   Same as <xchg>, but the pattern is the default string
 *
 *   Parameters:
 *     m:string - the string to replace, also used as default
 *     l:string - the label to apply for such nodes
 ************************************************************************)
let xchgs (m:string) (l:string) = xchg m m l

(************************************************************************
 * Group:                   SUBNODE CONSTRUCTIONS
 ************************************************************************)

(************************************************************************
 * View: key_value_line
 *   A subnode with a keyword, a separator and a storing lens,
 *   and an end of line
 *
 *   Parameters:
 *     kw:regexp - the pattern to match as key
 *     sep:lens  - the separator lens, which can be taken from the <Sep> module
 *     sto:lens  - the storing lens
 ************************************************************************)
let key_value_line (kw:regexp) (sep:lens) (sto:lens) =
                                   [ key kw . sep . sto . eol ]

(************************************************************************
 * View: key_value_line_comment
 *   Same as <key_value_line>, but allows to have a comment in the end of a line
 *   and an end of line
 *
 *   Parameters:
 *     kw:regexp    - the pattern to match as key
 *     sep:lens     - the separator lens, which can be taken from the <Sep> module
 *     sto:lens     - the storing lens
 *     comment:lens - the comment lens, which can be taken from <Util>
 ************************************************************************)
let key_value_line_comment (kw:regexp) (sep:lens) (sto:lens) (comment:lens) =
                                   [ key kw . sep . sto . (eol|comment) ]

(************************************************************************
 * View: key_value
 *   Same as <key_value_line>, but does not end with an end of line
 *
 *   Parameters:
 *     kw:regexp - the pattern to match as key
 *     sep:lens  - the separator lens, which can be taken from the <Sep> module
 *     sto:lens  - the storing lens
 ************************************************************************)
let key_value (kw: regexp) (sep:lens) (sto:lens) =
                                   [ key kw . sep . sto ]

(************************************************************************
 * View: key_ws_value
 *
 *   Store a key/value pair where key and value are separated by whitespace
 *   and the value goes to the end of the line. Leading and trailing
 *   whitespace is stripped from the value. The end of line is consumed by
 *   this lens
 *
 *   Parameters:
 *     kw:regexp - the pattern to match as key
 ************************************************************************)
let key_ws_value (kw:regexp) =
  key_value_line kw Util.del_ws_spc (store Rx.space_in)

(************************************************************************
 * View: flag
 *   A simple flag subnode, consisting of a single key
 *
 *   Parameters:
 *     kw:regexp - the pattern to match as key
 ************************************************************************)
let flag (kw:regexp) = [ key kw ]

(************************************************************************
 * View: flag_line
 *   A simple flag line, consisting of a single key
 *
 *   Parameters:
 *     kw:regexp - the pattern to match as key
 ************************************************************************)
let flag_line (kw:regexp) = [ key kw . eol ]

(************************************************************************
 * Group:                   BLOCK CONSTRUCTIONS
 ************************************************************************)

(************************************************************************
 * View: block_generic
 *   A block enclosed in brackets
 *
 *   Parameters:
 *     entry:lens                - the entry to be stored inside the block.
 *                                 This entry should include <Util.empty>
 *                                 or its equivalent if necessary.
 *     entry_noindent:lens       - the entry to be stored inside the block,
 *                                 without indentation.
 *                                 This entry should not include <Util.empty>
 *     entry_noeol:lens          - the entry to be stored inside the block,
 *                                 without eol.
 *                                 This entry should not include <Util.empty>
 *     entry_noindent_noeol:lens - the entry to be stored inside the block,
 *                                 without indentation or eol.
 *                                 This entry should not include <Util.empty>
 *     comment:lens              - the comment lens used in the block
 *     comment_noindent:lens     - the comment lens used in the block,
 *                                 without indentation.
 *     ldelim_re:regexp          - regexp for the left delimiter
 *     rdelim_re:regexp          - regexp for the right delimiter
 *     ldelim_default:string     - default value for the left delimiter
 *     rdelim_default:string     - default value for the right delimiter
 ************************************************************************)
let block_generic
     (entry:lens) (entry_noindent:lens)
     (entry_noeol:lens) (entry_noindent_noeol:lens)
     (comment:lens) (comment_noindent:lens)
     (ldelim_re:regexp) (rdelim_re:regexp)
     (ldelim_default:string) (rdelim_default:string) =
     let block_single = entry_noindent_noeol | comment_noindent
  in let block_start  = entry_noindent | comment_noindent
  in let block_middle = (entry | comment)*
  in let block_end    = entry_noeol | comment
  in del ldelim_re ldelim_default
     . ( ( block_start . block_middle . block_end )
       | block_single )
     . del rdelim_re rdelim_default

(************************************************************************
 * View: block_setdefault
 *   A block enclosed in brackets
 *
 *   Parameters:
 *     entry:lens - the entry to be stored inside the block.
 *                  This entry should not include <Util.empty>,
 *                  <Util.comment> or <Util.comment_noindent>,
 *                  should not be indented or finish with an eol.
 *     ldelim_re:regexp      - regexp for the left delimiter
 *     rdelim_re:regexp      - regexp for the left delimiter
 *     ldelim_default:string - default value for the left delimiter
 *     rdelim_default:string - default value for the right delimiter
 ************************************************************************)
let block_setdelim (entry:lens)
                     (ldelim_re:regexp)
                     (rdelim_re:regexp)
                     (ldelim_default:string)
                     (rdelim_default:string) =
    block_generic (Util.empty | Util.indent . entry . eol)
                  (entry . eol) (Util.indent . entry) entry
                  Util.comment Util.comment_noindent
                  ldelim_re rdelim_re
                  ldelim_default rdelim_default

(* Variable: block_ldelim_re *)
let block_ldelim_re = /[ \t\n]+\{[ \t\n]*/

(* Variable: block_rdelim_re *)
let block_rdelim_re = /[ \t\n]*\}/

(* Variable: block_ldelim_default *)
let block_ldelim_default = " {\n"

(* Variable: block_rdelim_default *)
let block_rdelim_default = "}"

(************************************************************************
 * View: block
 *   A block enclosed in brackets
 *
 *   Parameters:
 *     entry:lens - the entry to be stored inside the block.
 *                  This entry should not include <Util.empty>,
 *                  <Util.comment> or <Util.comment_noindent>,
 *                  should not be indented or finish with an eol.
 ************************************************************************)
let block (entry:lens) = block_setdelim entry
                         block_ldelim_re block_rdelim_re
                         block_ldelim_default block_rdelim_default

(* Variable: block_ldelim_newlines_re *)
let block_ldelim_newlines_re = /[ \t\n]*\{([ \t\n]*\n)?/

(* Variable: block_rdelim_newlines_re *)
let block_rdelim_newlines_re = /[ \t]*\}/

(* Variable: block_ldelim_newlines_default *)
let block_ldelim_newlines_default = "\n{\n"

(* Variable: block_rdelim_newlines_default *)
let block_rdelim_newlines_default = "}"

(************************************************************************
 * View: block_newline
 *   A block enclosed in brackets, with newlines forced
 *   and indentation defaulting to a tab.
 *
 *   Parameters:
 *     entry:lens - the entry to be stored inside the block.
 *                  This entry should not include <Util.empty>,
 *                  <Util.comment> or <Util.comment_noindent>,
 *                  should be indented and finish with an eol.
 ************************************************************************)
let block_newlines (entry:lens) (comment:lens) =
   del block_ldelim_newlines_re block_ldelim_newlines_default
 . ((entry | comment) . (Util.empty | entry | comment)*)?
 . del block_rdelim_newlines_re block_rdelim_newlines_default

(************************************************************************
 * View: block_newlines_spc
 *   A block enclosed in brackets, with newlines forced
 *   and indentation defaulting to a tab. The opening brace
 *   must be preceded by whitespace
 *
 *   Parameters:
 *     entry:lens - the entry to be stored inside the block.
 *                  This entry should not include <Util.empty>,
 *                  <Util.comment> or <Util.comment_noindent>,
 *                  should be indented and finish with an eol.
 ************************************************************************)
let block_newlines_spc (entry:lens) (comment:lens) =
   del (/[ \t\n]/ . block_ldelim_newlines_re) block_ldelim_newlines_default
 . ((entry | comment) . (Util.empty | entry | comment)*)?
 . del block_rdelim_newlines_re block_rdelim_newlines_default

(************************************************************************
 * View: named_block
 *   A named <block> enclosed in brackets
 *
 *   Parameters:
 *     kw:regexp  - the regexp for the block name
 *     entry:lens - the entry to be stored inside the block
 *                   this entry should not include <Util.empty>
 ************************************************************************)
let named_block (kw:regexp) (entry:lens) = [ key kw . block entry . eol ]

(************************************************************************
 * Group:               COMBINATORICS
 ************************************************************************)

(************************************************************************
 * View: combine_two_ord
 *   Combine two lenses, ensuring first lens is first
 *
 *   Parameters:
 *     a:lens - the first lens
 *     b:lens - the second lens
 ************************************************************************)
let combine_two_ord (a:lens) (b:lens) = a . b

(************************************************************************
 * View: combine_two
 *   Combine two lenses
 *
 *   Parameters:
 *     a:lens - the first lens
 *     b:lens - the second lens
 ************************************************************************)
let combine_two (a:lens) (b:lens) =
  combine_two_ord a b | combine_two_ord b a

(************************************************************************
 * View: combine_two_opt_ord
 *   Combine two lenses optionally, ensuring first lens is first
 *   (a, and optionally b)
 *
 *   Parameters:
 *     a:lens - the first lens
 *     b:lens - the second lens
 ************************************************************************)
let combine_two_opt_ord (a:lens) (b:lens) = a . b?

(************************************************************************
 * View: combine_two_opt
 *   Combine two lenses optionally
 *   (either a, b, or both, in any order)
 *
 *   Parameters:
 *     a:lens - the first lens
 *     b:lens - the second lens
 ************************************************************************)
let combine_two_opt (a:lens) (b:lens) =
  combine_two_opt_ord a b | combine_two_opt_ord b a

(************************************************************************
 * View: combine_three_ord
 *   Combine three lenses, ensuring first lens is first
 *   (a followed by either b, c, in any order)
 *
 *   Parameters:
 *     a:lens - the first lens
 *     b:lens - the second lens
 *     c:lens - the third lens
 ************************************************************************)
let combine_three_ord (a:lens) (b:lens) (c:lens) =
  combine_two_ord a (combine_two b c)

(************************************************************************
 * View: combine_three
 *   Combine three lenses
 *
 *   Parameters:
 *     a:lens - the first lens
 *     b:lens - the second lens
 *     c:lens - the third lens
 ************************************************************************)
let combine_three (a:lens) (b:lens) (c:lens) =
    combine_three_ord a b c
  | combine_three_ord b a c
  | combine_three_ord c b a

(************************************************************************
 * View: combine_three_opt_ord
 *   Combine three lenses optionally, ensuring first lens is first
 *   (a followed by either b, c, or any of them, in any order)
 *
 *   Parameters:
 *     a:lens - the first lens
 *     b:lens - the second lens
 *     c:lens - the third lens
 ************************************************************************)
let combine_three_opt_ord (a:lens) (b:lens) (c:lens) =
  combine_two_opt_ord a (combine_two_opt b c)

(************************************************************************
 * View: combine_three_opt
 *   Combine three lenses optionally
 *   (either a, b, c, or any of them, in any order)
 *
 *   Parameters:
 *     a:lens - the first lens
 *     b:lens - the second lens
 *     c:lens - the third lens
 ************************************************************************)
let combine_three_opt (a:lens) (b:lens) (c:lens) =
    combine_three_opt_ord a b c
  | combine_three_opt_ord b a c
  | combine_three_opt_ord c b a

${this.title}

Code Editor : build.aug