- finalTableTitle :: String
This is a title used in HTML.
- finalTableDescription :: String
This is a description used in HTML.
- finalTableRunText :: String
Translated text "Run".
- finalTableLinkText :: String
It specifies the text for the link
which is displayed in the HTML page.
The link downloads the corresponded
CSV file in the browser.
An example is
finalTableLinkText = "Download the CSV file"
- finalTableFileName :: FileName
It defines the file name for the CSV file.
It may include special variable $TITLE
.
An example is
finalTableFileName = UniqueFileName "$TITLE" ".csv"
- finalTableSeparator :: String
It defines the separator for the view.
It delimits the cells in the rows of the CSV file.
- finalTableFormatter :: ShowS
It defines the formatter which is applied
to all values before they will be written
in the CSV file.
- finalTablePredicate :: Dynamics Bool
It specifies the predicate that defines
when we can save data in the table.
- finalTableSeries :: [String]
It contains the labels of data saved
in the CSV file.