Formats a log to be printed to the console.

Formats a Log into a FileLog. Applies prefix and timestamp.

Transforms log to a color based on its LogLevel.

Transforms log to a prefix based on its LogLevel.

Maps LogLevel to Color.

Maps LogLevel to 'Prefix'.

Combines a prefix p and msg m with possible line truncation. If no truncation is given then concatWithLineTrunc is equivalent to p <> m. If we are given some line truncation l, then we derive

   k := l - prefix_len -- k is clamped to zero

and return

   prefix <> t'

where t' is t truncated to k chars. Notice the prefix is always included untarnished.

Pretty show for Command. If the command has a key, and KeyHideSwitch is KeyHideOff then we return the key. Otherwise we return the command itself.

>>> displayCmd (MkCommandP Nothing "some long command") KeyHideOn
"some long command"

>>> displayCmd (MkCommandP Nothing "some long command") KeyHideOff
"some long command"

>>> displayCmd (MkCommandP (Just "long") "some long command") KeyHideOn
"some long command"

>>> displayCmd (MkCommandP (Just "long") "some long command") KeyHideOff
"long"

Applies the given StripControl to the Text.

• StripControlAll: Strips whitespace + all control chars.
• StripControlSmart: Strips whitespace + 'ansi control' chars.
• StripControlNone: Strips whitespace.

Surrounds text with brackets, appending a space if the boolean is True.

Examples

>>> brackets False "text"
"[text]"

>>> brackets True "text"
"[text] "

Replace newlines with whitespace before stripping, so any strings separated by newlines do not get smashed together.