Class for easily defining custom translations for a type by using LUTs. To use this class, a type must derive Waveform via WaveformForLut.

Bye default, the implementation uses Generic for defining subsignals and operator precedence, and Show for displaying the value.

Given a function that renders a value, and a function that (given this Render) prodices the subsignals, create a translation. If rendering fails, "undefined" is displayed. If creating the subsignals fails, no subsignals are shown.

Display a value with the provided functions for creating the text value, style and operator precedence.

Display a value with Show, the default wave style, and operator precedence determined using Generic.

Display an atomic value (such as a number) using the provided function to obtain the value. (normal wavestyle, precedence 11).

Display an atomic value (like a number) with Show. See translateAtomWith.

Render an atomic value representing a signed number. If the render value is found to start with -, the precedence is set to 0.

Render an atomic value representing a signed number using show. See translateAtomSigWith.

Create no subsignals for this type.

Create subsignals for the constructors and fields. Constructor translations are a copy of the toplevel render value provided.

Get the operator precedence of a value.

Type for deriving Waveform for types implementing WaveformLUT.

type T = ... deriving (...)
deriving via WaveformForLut T instance Waveform T

isntance WaveformLUT T where
  ...

Create a LUT translator for a type, using either the static LUT or the translation function specified in WaveformLUT

Create a LUT translator for a type, using the translation function of WaveformLUT.

Create a LUT translator for a type, using the static LUT in WaveformLUT.

Get a Render from a Value using WSDefault and precedence 11.

Evaluate to WHNF. If this fails, return a default value.

Check if a value is completely defined.

Check if a value is completely defined. If not, return the default value provided.

Make sure a Translation is fully defined. If not, return a Translation with "undefined".

Create a translation from an error message using errorR.

Render some error message. The precedence is set to 11 (i.e. an atomic).

Waveform is the main class for making types displayable in the waveform viewer. The class is responsible for defining an appropriate translator and subsignal structure, as well as registering types.

To make a LUT approache possible, the class must also be able to translate values, and to register individual values.

By default, Generic is used to automatically derive this behaviour. Extra classes are provided to help implement lookup tables or common types, like numerical translators. Custom implementations are also very possible.

Translation of a value. The translation consists of a Render value (the representation of the value itself) and a list of subsignal translations.

Text displayed as the value of a signal.

The style in which a signal should be displayed.

Operator precedence of the value.

A structure value that shows what subsignals are present.

Name of a subsignal.

Return the structure of a type.

Return the Structure implied by a Translator. Useful for determining the structure of a constant translation.