Terminates script by sending its argument to the browser.

Safe embedding of an IO action into the CGI monad. Intentionally not parameterized ver its monad to avoid its use inside of transactions.

Turns a CGI action into an IO action. Used to turn the main CGI action into the main function of the program. Typical use:

 main = run mainCGI

Brackets a CGI action so that only its result is visible. Improves efficiency by not executing the bracketed action after it has been performed once. Use this for avoiding the inefficient buildup of long interaction logs.

Repeats a CGI action without saving its state so that the size of the interaction log remains constant.

Control operator for the CGI monad. Its specification is

 callWithCurrentHistory (\backto x -> action x >>= backto) x
 ==
 action x >>= callWithCurrentHistory (\backto x -> action x >>= backto)

However, callWithCurrentHistory is more efficient because it avoids the buildup of long interaction logs by cutting back every time just before action gets executed.

Reference to internal image.

Reference to image by URL.

Every input widget maps the content generator for the widget (which may produce HTML elements or attributes) to the content generator of the widget.

Abstract type of decisions trees. These trees provide structured validation.

Create a leaf in a decision tree from a CGI action.

Create a node in a decision tree. Takes an invalid input field and a continuation. Validates the input field and passes it to the continuation if the validation was successful. The continuation can dispatch on the value of the input field and produces a new decision tree.

Create a handle for a new radio group. This handle is invisible on the screen!

FL is required to pass an unknown number of handles of the same type need to the callback function in a form submission. The handles need to be collected in a list and then wrapped in the FL data constructor

FA comes handy when you want to tag an input handle with some extra information, which is not itsefl an input handle and which is not validated by a form submission. The tag is the first argument and the handle is the second argument of the data constructor.

Variant of run where an additional argument cgigen specifies an action taken when the script is invoked with a non-empty query string as in script-name?query-string

A translator is a function [String] -> CGI (). It takes the query string of the URL (of type [String]) and translates it into a CGI action. docTranslator docs next takes a list of FreeForm documents and a next translator. It tries to select a document by its ffName and falls through to the next translator if no document matches.

Terminates a sequence of translators.

Arbitrary string data. No quotes required.

Non-empty strings.

Non-empty strings of digits.

Phone numbers.

Reads an email address according to RFC 2822

Reads a credit card number and performs Luhn check on it.

Reads credit card expiration dates in format /.

A Password is a string of length >= 8 with characters taken from at least three of the four sets: lower case characters, upper case characters, digits, and special characters.

Data type for transforming a field into an optional one. The Read syntax of Absent is the empty string, whereas the Read syntax of Present a is just the Read syntax of a. Analogously for Show.

Transform a CGI action into a servlet suitable for running from Marlow's web server.

Like makeServlet with additional CGI generator as in runWithHook.

Abstract data type of frame set generators.

Overall layout of a frame set: row-wise or column-wise.

Division of space between elements of a frameset. See http://wp.netscape.com/assist/net_sites/frame_syntax.html

Create a frameset, given a layout, its spacing, and its subframe(set)s.

Required wrapper for pages with frames. Takes a title and a FrameSet generator and displays the page.