LicenseGPL-3
Safe HaskellSafe

Format

Contents

Description

This module controls the format of the text and expressions printed by the interpreter. Uses ANSI escape sequences to color the terminal and mark text as bold or italics. It also stores the texts showed by the interpreter.

Synopsis

Formatting

formatFormula :: String Source #

Sequence of characters that signals the format of a formula to the terminal.

formatIntro :: String Source #

Sequence of characters that signals the format of a formula to the terminal.

formatLoading :: String Source #

Sequence of characters that signals the format of a formula to the terminal.

formatPrompt :: String Source #

Sequence of characters that signals the format of a formula to the terminal.

formatName :: String Source #

Sequence of characters that signals the format of a formula to the terminal.

formatSubs1 :: String Source #

formatSubs2 :: String Source #

formatType :: String Source #

decolor :: String -> String Source #

Removes all color from a string

end :: String Source #

Sequence of characters that cleans all the format.

Interpreter texts

promptText :: String Source #

Prompt line. It is shown when the interpreter asks the user to introduce a new command.

helpText :: String Source #

Help line. It is shown when the user uses the :help command.

initialText :: String Source #

Initial text on the interpreter. It is shown at startup.

versionText :: String Source #

Version complete text

restartText :: String Source #

errorNonTypeableText :: String Source #

Non typeable expression error message.

errorTypeConstructors :: String Source #

Type constructors on untyped lambda calculus error message.

errorUndefinedText :: String Source #

Undefined expression error message.

errorUnknownCommand :: String Source #

Unknown command error message

errorNotFoundText :: String Source #