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

:: 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'' :: Type)

Defined in PyF.Formatters

Methods

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

liftTyped :: Format k k' k'' -> Q (TExp (Format k k' k''))

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

Defined in PyF.Formatters

Methods

showsPrec :: Int -> SignMode -> ShowS

show :: SignMode -> String

showList :: [SignMode] -> ShowS

Lift SignMode

Defined in PyF.Formatters

Methods

lift :: SignMode -> Q Exp

liftTyped :: SignMode -> Q (TExp SignMode)

data AnyAlign where

Existential version of AlignMode

Constructors

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

Instances

Show AnyAlign

Defined in PyF.Formatters

Methods

showsPrec :: Int -> AnyAlign -> ShowS

show :: AnyAlign -> String

showList :: [AnyAlign] -> ShowS

Lift AnyAlign

Defined in PyF.Formatters

Methods

lift :: AnyAlign -> Q Exp

liftTyped :: AnyAlign -> Q (TExp AnyAlign)

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

Lift (AlignMode k :: Type)

Defined in PyF.Formatters

Methods

lift :: AlignMode k -> Q Exp

liftTyped :: AlignMode k -> Q (TExp (AlignMode k))

Show (AlignMode k)

Defined in PyF.Formatters

Methods

showsPrec :: Int -> AlignMode k -> ShowS

show :: AlignMode k -> String

showList :: [AlignMode k] -> ShowS

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

data AlignForString

Constructors

AlignAll

AlignNumber

Instances

Show AlignForString

Defined in PyF.Formatters

Methods

showsPrec :: Int -> AlignForString -> ShowS

show :: AlignForString -> String

showList :: [AlignForString] -> ShowS