Index of values

Coding boolean as strings "true" and "false".

Converts a list of contents into a list of boxes, which is the next Patoline layer.

The same as boxify, but discards the final environment.

Take a zipper pointing to a node and move it down its i-th child.

Connecting to a database with the given database information

Blah

Default polymorphic coding, using OCaml Marshal module, escaped using base64.

Disconnecting from the database

Run all hooks in Db.interaction_start_hook.

Run all hooks in Db.read_hook.

Run all hooks in Db.write_hook.

A custom drawing function for the type t.

Composes boxify and draw_boxes

Typesets boxes on a single line, then converts them to a list of basic drawing elements: RawContent.raw.

Dummy inhabitant of type Db.data, which can be used to initialize data structure, but whose content should never be used (calling any member function raises Db.DummyData).

Empty node (with no child tree).

Finds the last node satisfying a given predicate in a document tree.

fit_on_grid c adds spacing on both sides of the content element c so that its width becomes a multiple of the width of a single character.

"flattens" a document tree to an array of paragraphs, a paragraph being an array of boxes.

Calling fold_left_line paragraphs f x0 line computes f (... (f (f (f x0 box0) box1) box2) ...) boxn where box0, box1, box2, … boxn are the boxes which belong to line in its corresponding paragraph paragraphs.(line.paragraph).

Take a tree zipper and an path represented as a list of integers and move the zipper down the path (i.e.

Creates a new frame with the given top-left and bottom-right corners, appends this frame as a child of the current frame, and moves down to this new frame.

Converts a string to a list of glyphs, according to the environment.

glue_space n corresponds to n spaces from the font.

Build a box containing one glyph, with a cache.

Build a list of boxes from a string, using stuff from kerning.

Build a glyph id from a font and a unicode character.

handle_spaces w_to_c line builds a line using the function w_to_c to build words (i.e.

handle_word par w build the contents corresponding to the word w.

Build a list of boxes representing a word, while taking care of building an array of possible hyphenations for the word (if any).

Create the table structure in the database.

List of functions called when the interactive session starts

Helpful test functions.

Is the node an internal node ?

Is the node a paragraph ?

Move the zipper to point to the child of the pointed node with the higher index.

line_per_line f lines builds each line of lines using f and display each of them using the verbatim font.

lines_to_file lines fn writes the lines lines to the optional file fn if it is provided.

Makes a glue from the unicode character code given in the argument.

Lift a function to the type t.

Allows to modify the Document.environment in a math formula.

Take a zipper (t,cxt) and a tree c and adds c as the last child of the pointed node.

Same as Document.newChildAfter but adds the tree as the first child.

Adds a new node, just below the last one.

normal

measure paragraphs figures

Hooks called when some data is being read from a database

Resets all the counters, preserving their levels.

Build a node with a single child tree.

Strings coding, which ony uses base64 escaping.

symbol s build a mathematical symbole from the string s.

Adds a tag to the given structure.

Move the zipper to the root of the tree

Function that takes a tree zipper (t,cxt) pointing to some node t and returns a zipper pointing to the father node of t.

Function that applies Document.up n times on a zipper, effectively moving the zipper to the n-th ancestor of the currently pointed node.

Label updating after optimization.

verb_text build s builds verbatim contents from a string s and a generation function build.

Hooks called when some data is being written to a database