Index of values

diag combinator

f$s: content of field f, subfield s

Function composition.

Python-like sprintf operator Use (>>) for formats with more than one escape: "foo %d %s" % 12 >> "yikes"

cross combinator

a && b: conjunction of two validators.

(+) (name,value): add a new field to the end of the version data.

Algol 68-style variable increment: let x = ref 0 in x +:= 1

(+>): infix operator to combine combinators (arg,optional,valid,rep); really just right-associative function composition.

(+>): infix operator to combine combinators (sw,sws,alias,optional,required,arg,def,desc,valid); really just right-associative function composition.

(-) name: remove field name from the version data.

Infix version of chars

infix version of upto

Algol 68-style variable deccrement: let x = ref 0 in x -+:= 1

(<+) (name,value): add a new field to the beginning of the version data.

(<@) new: add all the fields in new to the beginning of the version data.

(=) (name,value): replace the field name (if any) with the new pair.

Infix function application, right-associative

(@) new: add all the fields in new to the end of the version data.

Function application (like unix pipe)

a || b: disjunction of two validators.

succ as a prefix operator: ~++0 = 1

pred as a prefix operator: ~--1 = 0

(~~): synonym for Kwfile.squiggle.

above a b: return a picture consisting of pictures a and b on top of each other (a above b).

absolute: considers valid any absolute pathname

acc ca: extract accumulator from counting accumulator ca

Unix.access with bool range and no exceptions

achange a i f: set a.(i) to f a.(i).

action ?actions ?sub ?versiondata interface: an action suitable for Kwapp.dispatch that generates a complete help message on stdout and terminates the program with exit status 0.

action versiondata: a version information action suitable for Kwapp.dispatch.

add st s adds the string s, and all its suffixes in the suffix tree st, unless s has already been added.

add x cis adds element x to cis.

adjoin k v alist: adjoins v to the collection of values associated with key k in the alist.

adjoin vadd empty returns a function f k v m that adjoins v to the collection of values associated with key k.

after f x y: evaluate f x (for side-effect), then return y.

aget a i: return the value of a.(i).

alias s opt: add an alias (i.e.

all p list: Applied to a predicate and a list, any determines if all of the elements of the list satisfy the predicate.

alphabetic: considers valid any string that contains only alphabetic characters

alphanumeric: considers valid any string that contains only alphanumeric characters

always considers any argument string valid.

The argv that accepts zero or more arbitrary string args.

any: considers valid arrays of any size.

any: considers any string valid.

any considers valid any string that is a number in the domain.

any considers any argument string valid.

any p list: Applied to a predicate and a list, any determines if any element of the list satisfies the predicate.

append v to list of values associated with k

append cis1 cis2 returns the union of cis1 and cis2 assuming that all elements of cis1 are greater than any element of cis2.

arg name: define a command line argument with the name name.

arg a opt: add a short name for the option's argument (used in the help message).

argument ?def interface name argv: return value of a non-repeating command-line argument named name, as defined in interface, from argv.

arguments ?def interface name argv: return value of the repeating command-line argument named name, as defined in interface, from argv, as a list.

Return array of command-line arguments less argv0

Return Sys.argv as a list, less Sys.argv.(0)

Return Sys.argv as a list, less Sys.argv.(0)

aset a i v: set a.(i) to v.

aslongas pred f x: while-loop functional for functions with side-effects.

extract from an alist all the values associated with key, returning the list of values and the alist with all key pairs removed.

assemble alist: format a refer record (a string) from an alist

asserted t str: check that str is a valid t, raising an exception if not, and return str.

Haskell's (.)

convert int n to binary (base-2) string representation

Remove prefix pat of list subj.

beside a b: return a picture consisting of pictures a and b beside each other (a on the left).

block n pics: return the picture consisting of the pictures in pics taken n at a time.

blockT n pics: the transpose of block n pics.

boolean: considers valid either of the strings "true" or "false"

bucket ?empty ?toomany ?none ?err field acc ln alist: group records by a distinguishing field into buckets.

argument-flipping combinator

Return the cardinal of a set.

cardinal cis returns the cardinal of cis.

cartesian_product list: Cartesian product of list of lists.

Returns the category of a lexeme.

apply f to x, returning None if an exception was raised, else return Some (f x)

apply f to x, returning (None, ex) if an exception was raised, where ex is the exception, else return Some (f x), No_exception

cf f a b: content of control field characters a-b.

changex ?this that f x: apply (f x), converting exception this to that.

chars lo hi: generate a list of the characters between lo and hi inclusive.

check iargv (m,argv): check parsed command line to assure that all required command-line arguments were provided, that there are no mutually-exclusive option conflicts, and that all option arguments validate.

check iopts (m,argv): check parsed command line to assure that all required options were provided, that there are no mutually-exclusive option conflicts, and that all option arguments validate.

children st n returns the list of children nodes of n.

choose ?n m lst: choose m random elements from a list of length n.

classify f alist x: classify x according to the equivalence relation defined by f into the alist.

clone ?closeout ?bufsize inp out: copy all data from an in_channel to an out_channel

Close the log

coalesce an alist with repeating keys into one with unique keys bound to lists of values

col str: convert string str to a (String.length str)x1 picture representing that string as a single column.

columnate ?header ?bar ?sep ?maxwidth ?widths matrix: format a list of lists of strings in neat columns

combine ?def x y: like List.combine, but if ?def givem, use as default value in the case that either list is short.

convert int n to string, inserting commas as appropriate

commafylist ?comma ?n str: add commas to a string, presumably of digits

compare two strings, ignoring case

generate a Pervasives.compare-compatible comparison function, using the map as a "sort map" Parameters def and result are mutually exclusive.

compile str: compile an XPath string into internal form

compile_channel ?loc ?skey channel: compile the schema file open on channel to internal form.

compile_file ?skey file: compile the schema file to internal form.

compile_stream ?loc ?skey stream: compile the schema on stream to internal form.

compile_string ?loc ?skey file: compile the schema in string to internal form.

concat_reversed lists: reverse each list in lists and then concatenate them.

return a predicate which is the conjunction of the predicates in a list

function equivalent to (::) if that operator were syntactically legal

consof f acc x = f x :: acc; handy for use with folds.

consup x: return a list containing x

conswhen pred acc x: return x :: acc when pred x, else acc

conswith f acc x: is f x :: acc.

Return true if the first set contains the second.

contains cset str: test whether any of the characters in cset are contained in str.

convert a single %-escape character to a formatted string

convert exeception this (raised by f x) to that

copy n pic: return a list consisting of n copies of picture p.

copyfile infile outfile: copy the input file infile to the output file outfile.

Suffix trees as string sets.

Create a macro lookup table from an association list mapping macro names to the functions that implement them.

crosswalk cw record: generate a translation of this MARC record according to the crosswalk cw.

ctpop: count the population of an unsigned integer: how many bits are set to 1?

curry f x y: converts an uncurried function to a curried function.

cw: the crosswalk definition.

data ?name ?version ?ident ?author ?www (): return a minimal version datum as an alist.

def d: : add a default value for an optional command-line arg.

def d opt: add a default value for the option.

Given default def f x, apply f to x, returning def if it raises an exception, else returning f x

defaults defs config: add default values for certain config fields.

desc description: give the argument a description.

desc d opt: add a one-line desacription of the option's semantics.

df ?subs f: content of variable data field, with optional subfield restrictions.

map a minus map b i.e.

The set difference.

how many digits does n require in base b?

return a predicate which is the disjunction of the predicates in a list

dispatch ?def ?data interface actions (m,argv): execute default function def unless one of the actions is requested, passing data to the action.

display p: put a border around picture p to make it easy to see the extent of the picture.

Return the list resulting from dropping the first n elements of a list

Delete leading elements of a list that satisfy a predicate

dryrot ?myself ?status ?bt fmt ...: print a dryrot error message on chan, terminating the application.

elapsed f x: measure elapsed wall-clock time it takes to evaluate (f x).

Return a list of the elements.

elements cis returns the elements of cis as list of decreasing integers.

The empty set.

The empty argv, which accepts no args.

The empty interface.

empty is the empty set.

enum list: considers valid any string in the given list.

env envs ?def var: return value of an env var, or its default if it's unset.

env ?default name returns the value of environment variable name as a string

eq n: considers valid any string that is a number in the domain s.t.

equal cis1 cis2 returns whether cis1 is equal to cis2.

Evaluator of lexical semantics.

Return even elements of list

exactly n: considers valid only an array of size n.

except ex list: exclude (eliminate) all fields numbered in ex from list.

exceptional f x: does (f x) raise an exception?

existing: considers valid any string that names an existing directory.

existing: considers valid any string that names an existing file.

Does a file exist?

Expand all macro calls in a string.

Convert string to list of char

ext st n returns an ordered list of string ids that match the path of the node n.

extension file returns the file's extension, without the '.' if no extension, return ""

extjoin path joins an optional extension onto a file path; the dual of Kwfile.extsplit.

extsplit path splits a file path into two parts by separating the extension (if any).

fatal ?myself ?status fmt ...: print a fatal error message on chan, terminating the application.

fexecv ?prog argv: execute the program in file prog, with the arguments args, and the current process environment.

fexecve ?prog argv env: execute the program in file prog, with the arguments args, and the given process environment.

fexecvp ?prog argv: execute the program named prog, with the arguments args, and the current process environment.

fexecvp ?prog argv: execute the program named prog, with the arguments args, and the given process environment.

filesplit ?sep fn: split a filename into its components

Like List.filter but pass index as first parameter

Return final n elements of list

finalization functional

find st s returns the id associated to the string s, if the strings exists in the suffix tree st.

find ?def ?section key config: find key fields in parsed config file config.

find_factor st s returns the factor locating s in the suffix tree st.

find_node st s returns the node whose path is equal to the string s, if it exists.

first ?flex n list: return first n elements of list.

first_true p list: return the first element elt of list for which (p elt) is true.

fixflags flags: map our Kwmarshal.extern_flags to Marshal's.

fixup sffs config: fixup certain config fields by selectively applying functions.

Remove an element if present, add it otherwise.

flipH pic: flip the picture horizontally (i.e.

flipV pic: flip the picture vertically (i.e.

fold f acc input: fold function for Xmlm.

fold f st e is a classic folding on all strings in the suffix tree st.

fold ?err f init src: fold function f over the refer records in src.

fold ?follow ?err f acc dir: fold over a directory hierarchy (recursive).

fold f acc dbm: fold function for Dbm database

fold ?eol ?q ?comma ?warn func init chan: fold func over records in CSV file open on chan.

Non-unicode-aware version of Kwcsv.Fold.fold for legacy applications.

fold_dir f init dir: fold over the files in a directory (not recursive).

fold_left f a str is f (... (f (f a str.[0]) str.[1]) ...) str.[n-1].

Left folding.

fold_right f str a is f str.[0] (f str.[1] (... (f str.[n-1] a) ...)).

Right folding.

fold_tree st filter herit synth h0 returns the result of an attribute evaluation on the suffix tree st.

fold over Sys.argv, taking the conventional meaning of Sys.argv.(0) into account (i.e., skip it by default).

foldchars f acc chan: fold_left for a channel as characters.

foldex ?exn f init x: fold over calls to f x until an exception occurs.

fold a function across subsequences of list

foldil f left-associatively across the closed integer interval a,z (tail-recursive)

foldir f right-associatively across the closed integer interval a,z (not tail-recursive)

Short name for Kwstring.fold_left.

foldl f acc a: fold left over array a.

Short name for List.fold_left.

foldl1 f list: like List.fold_left but use List.hd list as initial accumulator

foldl1 f list: a variant of foldl that has no starting value argument, and thus must be applied to non-empty lists.

fold_left for a channel as lines

Short name for Kwstring.fold_right.

Short name for List.fold_right.

foldr1 f list: a variant of foldr that has no starting value argument, and thus must be applied to non-empty lists.

foldwhen: synonym for Kw.foldwhen_left

foldwhen_left cons pred acc x: return cons acc x when pred x, else acc

foldwhen_right cons pred x acc: same as Kw.foldwhen_left, but for right-folds, so takes a right-handed cons

execute f i (for side-effect) for each integer i in the closed interval a,z

format ?maxunit units quantity

frame ?c pos (h,w) p: return the picture consisting of p set in the an h x w picture (i.e.

Return a right-hand substring of a string i.e.

from_bytes ?vequals ~tag ?version bytes ofs: unmarshals a structured value like Kwarshal.from_channel does, except that the byte representation is not read from a channel, but taken from the byte sequence buff, starting at position ofs.

from_channel ?vequals ~tag ?version chan: reads from channel chan the byte representation of a structured value, as produced by one of the Kwmarshal.to_* functions, and reconstructs and returns the corresponding value.

from_string ?vequals ~tag ?version str ofs: Same as Kwmarshal.from_bytes but takes a string as argument instead of a byte sequence.

get st id returns the string associated to id.

Get some fields from a refermap.

get (): return the current verbosity.

Return value x of an option (Some x)

Get one field from a refermap.

Get one unique field from a refermap.

Get two fields from a refermap.

Get two unique fields from a refermap.

Get three fields from a refermap.

Get three unique fields from a refermap.

Get four fields from a refermap.

Get four unique fields from a refermap.

get_visible s returns the sizes of the prefix and suffix of s that can be removed from s without damage to its meaning.

getall key alist: return list of all values in alist corresponding to key

Non-exceptional version of input_line

getopt ?opt interface argv: parse command line options in argv as per interface, extract command-line arguments, and return both.

getoptstring interface: return a string representing the options part of the command line.

getpass t: get a password from the t, trimming it of whitespace from beginning and end if not Raw.

Get some unique fields from a refermap.

Return username of owner of this process

glob ?pred map dir: return list of results of applying map to each file in a directory

gt n: considers valid any string that is a number in the domain s.t.

gte n: considers valid any string that is a number in the domain s.t.

divide a list into two halves

has sw m: return true if getopt-parsed map m has switch sw.

add entries to a "counting" hash table

hdl ?myself interface f x: apply f to x, catching all exceptions defined in Kwapp and terminating the program with an appropriate error message.

height st n returns the height of node n, i.e.

height pic: return height of picture.

helpaction: deprecated name of Kwapp.Help.action

List of pairs representing text suitable for a help message describing the forms of t's.

helpstring interface: generate multi-line help message summarizing command-line options.

helptext ?indent ?sep1 ?sep2 title: format up a paragraph of help text from helpdata.

hide: make this argument hidden.

hide opt: make this option hidden.

Identity function

igndepth f: makes a function that's suitable for List.fold_left suitable for Kwfile.fold by ignoring the depth parameter.

ignex f x: evaluate f x, ignoring any exceptions.

ignexn f: makes function that's suitable for Kwfile.fold's f parameter suitable for its ~err parameter by ignoring the exception.

Convert list of char to string

use a map value to count a key, adding i to value

incr ?i ca: return counting accumulator ca with count incremented by i (default: 1) but with accumulator unmodified

add indexes (list positions) to list elements, converting an 'a list to an (int*'a) list

init list: Return all the elements of a list except the last one.

init ?file ?string defs: initialize an app with a config file, setting defaults.

init ?i a: convert initial accumulator value a to a counting accumulator

Return the intersection of 2 sets.

The set intersection.

An Kwapp.Version.interface suitable for Kwapp.Version.action, below.

intersect l1 l2: return the intersection of the two lists

return the intersection of two maps, based on keys

Return a list of n integers from 0 to n-1

Test if a set is empty or not.

is_empty cis returns whether cis is the empty set.

is_leaf st n returns whether the node n is a leaf.

is_maximal st n returns whether a node is maximal.

Is a file a block special file?

Is a file a character special file?

Is a file a directory?

Is path (presumed a directory) an empty directory?

Is a file executable?

Is a file an executable plain file?

Is a file a fifo?

Is a file a plain file?

Is a file a symbolic link?

Is a file readable?

Is a file a socket?

Is a file writeable?

iter re str: return list of substrings for all matches of re in str.

Iteration on the elements of a cis.

Short name for List.iter.

like List.iter but pass index as first parameter

Apply a function, for its side-effect, to each line of an input file

Join elements of list on a string separator but only for "non-blank" elements

join dir file returns a file name that designates file file in directory dir.

Synonym for String.concat with a default separator string.

Constant-function combinator

units of mass storage, base of 1000: byte through exibyte

keycounts alist: return counts of keys in a parsed record.

keys alist: get all (unique) keys in record (alist)

list of keys in map in ascending order

units of mass storage, base of 1024: byte through exbibyte

KI combinator (name from Smullyan): KI = λab.b

label st n returns the string labelling the node n.

Return last element of list

leader l: function implementing "Appendix 2 - Conversion rules for Leader06 - dc:Type mapping".

Synonym for List.length.

length st n returns the length of the string labelling the node n.

compute the length of a stream, forcing the entire stream

length a: return the length of a.

convert a stream of char to a stream of lines (strings)

localtime (): return the localtime for now

Convenience function

Lookup a macro in a macro lookup table by name.

lowercase: considers valid any string that contains only lowercase alphabetic characters

lt n: considers valid any string that is a number in the domain s.t.

lte n: considers valid any string that is a number in the domain s.t.

The file magic number prefix.

make from_string v: make a validator from a Json descriptor.

make text predicate: make a validator from an arbitrary predicate

make n init: create a fast functional array of size n with initial values set to init.

makesafe path returns a "safe" version of the pathname (intended for web applications).

map f str applies f to each char in str, returning a new string of the results.

map a function across a stream, returning a stream

map f a: map f across array a.

map f t: returns a new set that is the result of applying f to each element of t.

Short name for List.map.

like List.map but pass index as first parameter; NOT tail-recursive

mapi f a: map f across array a.

map f i across each integer i in the closed interval a,z, gathering the results in a list

Map a function across all lines of an input file

matches xpath path: does current path in an XML parse tree match the given xpath?

max n: considers valid only an array of size at most n

max_elt cis returns the maximum integer in cis.

max_extensions st n_opt returns the list of maximal nodes and leaves whose path is an extension of the path of n, when given.

max_restrictions st n returns the list of maximal nodes whose path is a restriction of the path of n.

maxdepth n f: converts a function that's suitable for List.fold_left into a function suitable for Kwfile.fold that's only applied to files up to a maximum depth of n.

Return maximum value in a list of ordered values

maybe f x: evaluate f x, returning Failure exn if exception exn was raised during evaluation, and Success (f x) otherwise.

mbox_file_fold fn inchan acc: fold the function fn over the messages in the mbox file open on inchan with acc as initial accumulator.

mbox_file_map fn filename: map the function fn over the messages in the mbox file filename.

mem x cis returns whether x belongs to cis.

message t: return a one-line version message string.

mex n opt: add a mutual-exclusivity class (1,∞) for the option.

min n: considers valid only an array of size at least n

min_elt cis returns the minimum integer in cis.

Return minimum value in a list of ordered values

mkdirs ?mode path: make all the directories in path (including parent directories, as needed).

convert an integer 0..11 to the name of a month (0 = January)

move_assocs keys alist: remove pairs with keys in keys from alist, collecting them in a new record; return the new record and the old record with the pairs removed; hence, move pairs matching keys from alist in newrec

msleep ms sleeps for ms milliseconds

mustbe t str: check that str is a valid t and raise an exception if not.

The name of the program, printed in messages from Kwapp.Messages.

n ca: extract count from counting accumulator ca

name: considers valid any string that could name a file.

never never considers any argument string valid.

Function to return the next lexeme from a lexbuf.

The empty picture (identity element for most of the following functions).

no_dot_dot: considers valid any pathname that does NOT include ".."

noblanks: considers valid any string that does not contain any blanks.

not v: negate the return value of a validator.

notblank: considers valid any non-empty string that does not consist solely of blanks (space, tab, carriage return and newline) .

notnull: considers valid any string that is not the empty string ("") .

Like List.nth but taking the parameters in the "correct order" :-)

nub ?by list: remove duplicate elements from a list.

nyi reason opt: this option is not yet implemented.

Return odd elements of list

The lexer for in_channels.

of_chars ?len list: turn list of chars into a string

Get a set from a list.

create a set from the items in a list

add a list of (key,value) pairs (i.e.

of_list l builds a cis from an integer list.

of_string str: convert a string which is a password source descriptor to a t.

The lexer for strings.

From Haskell prelude.

Convenience function for constructing opdef records

Convenience function for generating a function suitable for LEX.table.

open_process ?read write cmd: This function runs the given shell command cmd in parallel with the program, redirecting both the standard input and standard output of the command to pipes.

open_process_in ?prog ?env ?exec func argv: run command expressed by argv and feed its stdout to func.

Like Filename.open_temp_file, but with ?tmpdir parameter to set the tempdir.

Same as openlog(3)

Template for an optional option; all fields are null except for req which is false.

optdef def option: return x if option is Some x, else def

optional: make the argument optional.

optional opt: make the option optional.

Apply f to an option type o, returning None or Some (f (get o))

return EOL value appropriate for OS we're running on Fails for Mac OS X!

pad ?c ?trunc ?side n s: pad a string out to some size.

pad n def list: pad a list to length n with def values.

pair ca: extract count and accumulator as a pair

Apply a function to each element of a 2-tuple

pairup a b: return the 2-tuple (a,b)

Apply many functions to one value

parent st n returns the parent node of n, unless n is the root node.

parse ?loc str: parse a single refer record (a string) to an alist.

The parser function.

Parse a macro call into an argument list.

parse ?schema ?section ?ignore chan: parse a config file on chan.

path p signal: given a path p and a new signal, return the new path.

path st n returns the full path from the root to the node n.

path_extensions st n returns the list of nodes whose path is a direct extension of the path of n.

Exploring the suffix tree through the substring relation.

list of all permutations of a list

pic ?c (h,w): create a picture of height h and witdh w consisting of c characters.

possibly return the plural of a noun, depending on a quantity

pred p f: converts a function that's suitable for Kwfile.fold into one that that's only applied if p depth filename returns true.

preds st n returns the list of all nodes having n as successor node.

prefix pre str: is pre a prefix of str?

Given two lists, return true if the first is a list prefix of the second, false otherwise

prepend a b: prepend onto list a the list b

print pic: convenience function to print a picture to stdout.

prog1 result f x: like Lisp's prog1, return result after evaluating f x for a side-effect.

Project items from list in accord with indices; tail recursive

quote str: quote str to make it "safe" for use in shell commands.

range ranges: considers valid any string that contains only characters from the given ranges.

read and return (as string) all data from an in_channel

readable: considers valid any string that names an existing readable file.

Return entire contents of a file as a string

Return all lines from an in_channel as a string list

record ?quote ?sep ?eol chan: read one CSV record from chan

records ?loc stream: convert a stream of characters to a stream of pairs of (line number, parsed record (alist)).

relative: considers valid any relative pathname

Floored remainder and division

remove st id removes the string identified by id, and all its suffixes, from the suffix tree st.

remove ?eq x l: remove all instances of x from list l.

remove x cis removes element x from cis.

remove_assocs keys alist: remove all pairs from alist with any of the keys in keys

rep: make the final argument repeatable.

rep opt: make the option repeatable.

repeat c n: return a string consisting of the character c repeated n times.

return list of length n, each element of which is x

replace re placement str: in str, replace substrings matching re with placement.

replace a b t: returns a new set in which a is replaced with b.

replace the mapping for k and v in map m

replace ?section key value config: replace all mappings with key in section with (key,value).

Template for a required option; all fields are null except for req which is true.

required opt: make the option required.

restart_on_EINTR f x: evaluate f x, restarting if evaluation is interrupted by EINTR.

rev str: reverse the string

Synonym for List.rev.

rex: regular expression that matches a Json number

rex_of_glob str: convert the traditional Unix glob-pattern (see glob (7)) in str to an equivalent regular expression.

root st returns the root node of the suffix tree st.

row str: convert a string of length n to a 1xn picture representing that string as a single row.

the S combinator

sanshidden argv: remove the hidden args from argv.

sanshidden switchset: remove the hidden switches from switchset.

Scan substrings out of str, fold-style.

Apply List.fold_left f a to all prefixes of list; e.g.

section s config: extract the entire section s from the config in the form of a coalesced alist.

set n: set the verbosity to n.

set n: always fails.

set n: always fails.

If your syslogd unix socket isn't /dev/log, call this before openlog or syslog to change it to the proper file

If your syslogd unix socket isn't a datagram one Unix.SOCK_DGRAM), call this with the proper one before openlog or syslog

set_visible st node (left_pos, right_pos) sets which part of a node path should be visible when maximal.

shuffle (randomize) a list

singleton x returns a singleton set with element x.

size st returns the number of strings registered in the suffix tree st.

size of map (number of keys)

skip leading characters in string

smap f str applies f to each char in str, returning a new string of the results.

reverse cons; = c cons

make x:'a into an 'a option

Return true if option is Some _, false if None

sort ?compare ?first: sort the version data alphabetically by name.

efficient insertion sort for almost-sorted lists

split ?merge sep str: split str on a separator character (any of the characters in sep).

split a list into 3 parts: the list of elts before n, element n itself, and the list of elts after n

split ?merge ?sep str: split str on a separator character (any of the characters in sep).

Split a list at some delimiter value, returning a pair of lists: those elements occurring before the (first) delimiter and those occurring after it.

splitat n str: given an integer and a string, splits the string into two strings (returned as a tuple) at the position corresponding to the given integer.

splitat n xs: given an integer (positive or zero) and a list, splits the list into two lists (returned as a tuple) at the position corresponding to the given integer.

split string into two: first of pair is leading sequence of cs, second is remainder of string

spread pics: return a picture consisting of all the pictures in the list, set each beside the other (first picture on the left).

expand leading "~" in pathname according to traditional Unix semantics For leading "~/" the "HOME" env var is respected unless ~respect_env is false

stack pics: return a picture consisting of all the pictures in the list, set each above the other (first picture on top).

format date and time (pure-ocaml implementation of Posix strftime(3))

string_of_exn: convert Kwvalid exceptions to strings describing them.

string_of_schemaerror loc error: convert a schemaerror to a string, assuming loc is the location (e.g.

string_restrictions st strid returns the list of maximal nodes having strid as a string extension.

strings st f returns the ids of all string containing the path of f.

sub ?pat ?rex f str: ∀i, replace the i'th match of pat or rex with f i x, where x is the text matched.

subdir ?dotok dir: considers valid any pathname that is an existing direct subdirectory of dir

subset cis1 cis2 returns whether cis1 is a subset of cis2.

Comparator-generator for sub-sorting

subst ~subst re str: in str, replace substrings matching re with result of (subst subs).

Replace all macro calls in a string with their expansions.

Return the subtraction of 2 sets.

subtree ?dotok dir: considers valid any pathname that is an existing subdirectory (recursively) of dir

succ st n returns the successor node through the suffix link of n, unless there is no suffix link.

succeeds ?exc f x computes f x and returns true if the function returns without raising exception exc, and false if it raises exc; any other exception is passed upward.

suffix st n returns the suffix represented by the leaf node n as a couple (string id, position in the string).

suffixes st f returns the list of all suffixes (strid,pos) that have the path of f as a prefix: this path occurs in string strid at position pos.

sw s: generate a minimal switch for an optional switch named s that takes no arguments and has no description.

sws ss: shorthand for defining an option with one or more aliases.

convenience function to raise Syntax

Same as syslog(3), except there's no formats.

Function implementing 2-dimensional Shift-Reduce table of previous lexeme and next input lexeme.

Return the first n elements of a list

takeall size list: like take size list, except applied successively to all remaining substrings of list.

Return leading sublist of a list of elements that satisfy a predicate

tap f x: Allows application of a function in the middle of a pipe sequence without disturbing the sequence.

temp_file_name ?tmpdir prefix suffix: return a random filename

securely open many tempfiles, one for each name in a list of strings

units of time: second, minute, hour, day, week, month, year

Time the execution of a function application

format the timings result of time above as a string

return elapsed user and system times since time t

Fix up a list of filenames such that stdin can be read repeatedly

to_buffer ~tag ?version buff ofs len payload flags: marshals the value payload, storing its byte representation in the sequence buff, starting at index ofs, and writing at most len bytes.

to_bytes ~tag ?version payload flags: returns a byte sequence containing the representation of payload.

to_channel ~tag ?version chan payload flags: writes the representation of payload on channel chan.

convert a stream to a list, forcing the entire stream

to_list a: convert array a to a list.

to_list set: create a list from the items in a set.

create a list (association list) from the items in a map

to_mmap ?validate ?map keyfield : function to convert a keyed refer database to multi-map.

to_string ?showpass t: convert a t to a password source descriptor

to_string ~tag ?version payload flags: Same as Kwmarshal.to_bytes but return the result as a string instead of a byte sequence.

to_string ?minify json: convert the json data to its string representation.

to_string t: convert version data to a string.

to_string pic: convert picture p to a string.

Trace function.

Transpose a list of lists

Trim leading AND trailing sequence of characters from a string

Trim leading sequence of characters from a string

Trim trailing sequence of characters from a string

trim string to a maximum length by deleting excessive trailing characters

truncate n list: truncate list to first n elements.

trying fs x: return (List.hd fs) x unless an exception is raised, in which case recur.

tz (): return local timezone as (hours,minutes) offset from zulu.

unbucket ?strict pair: discard unbucketed remainder of result of Kwrefer.bucket

uncurry f (x,y): converts a curried function to a function on pairs.

ungnu cmd line switches eg ["--abc=12"] becomes ["--abc"; "12"]

ungnu cmd line switches eg ["--abc=12"] becomes ["--abc"; "12"]

Return the union of 2 and several sets.

keywise union of two maps

The set union.

Like Unix command uniq(1); given a (typically sorted) 'a list, return an 'a list consisting of the unique subsequences of 'a's.

Like Unix command uniq(1) with -c; given a (typically sorted) 'a list, return an (int * 'a) list consisting of the unique subsequences of 'a's, with a count of how many times each occurred.

unmash cmd line switches eg -abc becomes -a -b -c

unmash cmd line switches eg -abc becomes -a -b -c

unsetenv var: deletes the variable named var from the environment.

untabify ?tc ?stop str: convert all tabs in str to multiple spaces, preserving columns.

until pred f x: until-loop functional for functions with side-effects.

update ?i f ca: return updated counting accumulator ca by applying f to ca and incrementing the count by i (default: 1)

uppercase: considers valid any string that contains only uppercase alphabetic characters

Return a list of n+1-m integers from m upto n inclusive; tail recursive.

usage ?actions ?sub ?status ?chan interface: print a complete multi-line usage message string on chan and exit with status.

usage1 ?sub interface: generate a one-line usage message string, without the traditional leading "Usage: ".

usagestring ?actions ?sub ?versiondata interface: generate a complete multi-line usage message string.

valid v: add a validator to the argument.

valid v opt: add a validator for the option's argument.

valid t str: is str a valid t?

validate ?loc ?strict cschema (keys,errs) ln alist: validate the refer record in alist

validate argv: validate an argv.

validate switch: validate a switch.

validate validators config: validate field values in config as specified by validators.

validate_channel ?strict cschema filename channel: validate the refer database open on channel.

validate_file ?strict cschema filename: validate the refer database in filename.

validate_files ?strict cschema filenames: validate the refer database in filenames.

validate_record ?loc ?strict cschema alist: validate the refer record in alist

value ?def ?interface sw m: return value of switch sw from the parsed options m or, if not given on command line, its default from interface.

values ?def ?interface sw m: return all values of switch sw from the parsed options m or, if not given on command line, its default from interface.

return list of all values in map

vequals given header: is the given version number equal to the version number in the header?

verbose ?chan ?flush ?nl ?initial ?myself level fmt ...: print verbose messages.

verbosefun ref returns a function suitable for printing verbose messages typical usage: let verbosity = ref (default 0 int_of_string (env ~default:"0" "VERBOSITY")) let verbose = verbosefun verbosity ...

verbosely v level what f x: return f x, with a verbose message before and after the evaluation.

verbosely level msg f x prints a verbose message, then evaluates f x, then prints a "finished" message.

The version number of format of the marshaled data we write.

argument-doubling combinator

w3c time format %Y-%m-%dT%H:%M:%S

warning ?chan ?myself fmt ...: print a warning (i.e.

warning v: convert the validator v into one that always succeeds, but generates a warning on the formatter fmt if the validation fails.

convert an integer 0..6 to the name of a weekday (0 = Sunday)

whenever a b is the function that returns b whenever it's applied to a, returning the value it's applied to otherwise.

Find occurances of potential executables in environment variable PATH

whilst f: combinator for writing predicates on N switch arguments.

whitespace (space, tab, return, newline) suitable for trimleft, trimright and trim.

width pic: return width of picture.

with_check_global f interface global disp (m,argv): add a global option check to an action.

with_check_sub f interface global disp (m,argv): add a subcommand option and argv check to an action.

with_in ?iflags ?isstdin f src: apply a function to the contents of a string src, making sure to close the src afterwards.

with_in ?iflags ?isstdin f src: apply a function to the contents of a channel src, making sure to close the src afterwards.

Apply a function to the contents of an input file, making sure to close the channel afterwards

with_open_out_file f filename: apply a function to the contents of an output file, making sure to close the channel afterwards

with_open_tmp_file f: apply the function f to the filename and open output channel of a temp file, making sure to close the channel afterwards.

with_temp_file ?remove ?tmpdir prefix suffix f: call f tmp where tmp is a newly-created temp file, making sure to remove the temp file after the evaluation of f.

apply f to arg with a timeout

convenience combinator to ignore the filename parameter passed by with_open_in_file and with_open_out_file

withcount f ca: apply f to the count in ca (for side-effect, e.g.

withcwd f newdir cd's to newdir and then returns (f olddir newdir), restoring the previous cwd.

withdbm ?flags ?perms fn f: apply f to Dbm handle opened on file fn, guaranteeing to close the handle.

withenv var new' f x: evaluate f x with environment variable var set to value new'; var is then restored to its original value.

withhelp ?sws switchset: add standard help options to a switchset.

withoutln f: convert a function suitable for Kw.foldl into one suitable for Kwrefer.fold.

writeable: considers valid any string that names an existing writeable file.

writefile ?oflags ?isstdout fn str: write str to fn

wsplit ?merge str: shorthand for split " \t\n\r".

Y combinator