PyF.Class

You want to add formatting support for your custom type. This is the right module.

In PyF, formatters are in three categories:

• Integral numbers, which are numbers without fractional part

• Fractional numbers, which are numbers with a fractional part

• String, which represents text.

The formatting can be either explicit or implicit. For example:

>>> let x = 10 in [fmt|{x}|]10

Is an implicit formatting to number, but:

>>> let x = 10 in [fmt|{x:d}|]

Is an explicit formatting to Integral numbers, using d.

Implicit formatting will only format to either Integral, Fractional or text, and this choice is done by the (open) type family PyFCategory.

This modules also provides 3 type class for formatting.

• PyfFormatFractional and PyfFormatIntegral are responsible for formatting integral and fractional numbers. Default instances are provided respectively for Real and Integral. PyFToString is in charge of formatting text.