PyF.Formatters

Formatters for integral / fractional and strings.

Is support:

For all types:

• Grouping of the integral part (i.e: adding a custom char to separate groups of digits)
• Padding (left, right, around, and between the sign and the number)
• Sign handling (i.e: display the positive sign or not)

For floating:

• Precision
• Fixed Exponential Generic formatting

For integrals:

• Binary Hexa Octal / Character representation

Generic formating function

formatString

Arguments

:: Maybe (Int, AlignMode AlignAll, Char)

Padding

-> Maybe Int

Precision (will truncate before padding)

-> String

-> String

Format a string

formatIntegral

Arguments

:: (Show i, Integral i)

=> Format t t' Integral

-> SignMode

-> Maybe (Int, AlignMode k, Char)

Padding

-> Maybe (Int, Char)

Grouping

-> i

-> String

Format an integral number

formatFractional

Arguments

:: RealFloat f

=> Format t t' Fractional

-> SignMode

-> Maybe (Int, AlignMode k, Char)

Padding

-> Maybe (Int, Char)

Grouping

-> Maybe Int

Precision

-> f

-> String

Format a fractional number

Formatter details

data AltStatus

This formatter support alternate version

Constructors

CanAlt

NoAlt

data UpperStatus

This formatter support Upper case version

Constructors

CanUpper

NoUpper

data FormatType

This formatter formats an integral or a fractional

Constructors

Fractional

Integral

data Format (k :: AltStatus) (k' :: UpperStatus) (k'' :: FormatType) where

All the Formatters

Constructors

Decimal :: Format NoAlt NoUpper Integral

Character :: Format NoAlt NoUpper Integral

Binary :: Format CanAlt NoUpper Integral

Hexa :: Format CanAlt CanUpper Integral

Octal :: Format CanAlt NoUpper Integral

Fixed :: Format CanAlt CanUpper Fractional

Exponent :: Format CanAlt CanUpper Fractional

Generic :: Format CanAlt CanUpper Fractional

Percent :: Format CanAlt NoUpper Fractional

Alternate :: Format CanAlt u f -> Format NoAlt u f

Upper :: Format alt CanUpper f -> Format NoAlt NoUpper f

Instances

Lift (Format k k' k'')

Methods

lift :: Format k k' k'' -> Q Exp

data SignMode

Sign handling

Constructors

Plus

Display - sign and + sign

Minus

Only display - sign

Space

Display - sign and a space for positive numbers

Instances

Show SignMode

Methods

showsPrec :: Int -> SignMode -> ShowS

show :: SignMode -> String

showList :: [SignMode] -> ShowS

Lift SignMode

Methods

lift :: SignMode -> Q Exp

data AnyAlign where

Existential version of AlignMode

Constructors

AnyAlign :: AlignMode (k :: AlignForString) -> AnyAlign

Instances

Show AnyAlign

Methods

showsPrec :: Int -> AnyAlign -> ShowS

show :: AnyAlign -> String

showList :: [AnyAlign] -> ShowS

Lift AnyAlign

Methods

lift :: AnyAlign -> Q Exp

Internal usage only

data AlignMode (k :: AlignForString) where

Alignement

Constructors

AlignLeft :: AlignMode AlignAll

Left padding

AlignRight :: AlignMode AlignAll

Right padding

AlignInside :: AlignMode AlignNumber

Padding will be added between the sign and the number

AlignCenter :: AlignMode AlignAll

Padding will be added around the valueber

Instances

Show (AlignMode k)

Methods

showsPrec :: Int -> AlignMode k -> ShowS

show :: AlignMode k -> String

showList :: [AlignMode k] -> ShowS

Lift (AlignMode k)

Methods

lift :: AlignMode k -> Q Exp

getAlignForString :: AlignMode k -> Maybe (AlignMode AlignAll)

data AlignForString

Constructors

AlignAll

AlignNumber

Instances

Show AlignForString

Methods

showsPrec :: Int -> AlignForString -> ShowS

show :: AlignForString -> String

showList :: [AlignForString] -> ShowS