Safe Haskell	None
Language	Haskell2010

PyF.Internal.PythonSyntax

Description

This module provides a parser for python format string mini language.

Synopsis

parseGenericFormatString :: Parser [Item]
data Item
- = Raw String
- | Replacement Exp (Maybe FormatMode)
data FormatMode = FormatMode Padding TypeFormat (Maybe Char)
data Padding
- = PaddingDefault
- | Padding Integer (Maybe (Maybe Char, AnyAlign))
data Precision
- = PrecisionDefault
- | Precision (ExprOrValue Integer)
data TypeFormat
data AlternateForm
- = AlternateForm
- | NormalForm
pattern DefaultFormatMode :: FormatMode
type Parser t = ParsecT String () (Reader ParsingContext) t
data ParsingContext = ParsingContext {
- delimiters :: Maybe (Char, Char)
- enabledExtensions :: [Extension]
}
data ExprOrValue t
- = Value t
- | HaskellExpr Exp

Documentation

parseGenericFormatString :: Parser [Item] Source #

Parse a string, returns a list of raw string or replacement fields

>>> import Text.Megaparsec
>>> parse parsePythonFormatString "" "hello {1+1:>10.2f}"
Right [
       Raw "hello ",
       Replacement "1+1"
       (
       Just (FormatMode
                      (Padding 10 (Just (Nothing,AnyAlign AlignRight)))
                      (FixedF (Precision 2) NormalForm Minus)
                       Nothing))]

data Item Source #

A format string is composed of many chunks of raw string or replacement

Constructors

Raw String	A raw string
Replacement Exp (Maybe FormatMode)	A replacement string, composed of an arbitrary Haskell expression followed by an optional formatter

Instances

Instances details

Show Item Source #
Instance details Defined in PyF.Internal.PythonSyntax Methods showsPrec :: Int -> Item -> ShowS # show :: Item -> String # showList :: [Item] -> ShowS #

data FormatMode Source #

A Formatter, listing padding, format and and grouping char

Constructors

FormatMode Padding TypeFormat (Maybe Char)

Instances

Instances details

Show FormatMode Source #
Instance details Defined in PyF.Internal.PythonSyntax Methods showsPrec :: Int -> FormatMode -> ShowS # show :: FormatMode -> String # showList :: [FormatMode] -> ShowS #

data Padding Source #

Padding, containing the padding width, the padding char and the alignement mode

Constructors

PaddingDefault
Padding Integer (Maybe (Maybe Char, AnyAlign))

Instances

Instances details

Show Padding Source #
Instance details Defined in PyF.Internal.PythonSyntax Methods showsPrec :: Int -> Padding -> ShowS # show :: Padding -> String # showList :: [Padding] -> ShowS #

data Precision Source #

Floating point precision

Constructors

PrecisionDefault
Precision (ExprOrValue Integer)

Instances

Instances details

Show Precision Source #
Instance details Defined in PyF.Internal.PythonSyntax Methods showsPrec :: Int -> Precision -> ShowS # show :: Precision -> String # showList :: [Precision] -> ShowS #

data TypeFormat Source #

All formating type

Constructors

DefaultF Precision SignMode	Default, depends on the infered type of the expression
BinaryF AlternateForm SignMode	Binary, such as `0b0121`
CharacterF	Character, will convert an integer to its character representation
DecimalF SignMode	Decimal, base 10 integer formatting
ExponentialF Precision AlternateForm SignMode	Exponential notation for floatting points
ExponentialCapsF Precision AlternateForm SignMode	Exponential notation with capitalised `e`
FixedF Precision AlternateForm SignMode	Fixed number of digits floating point
FixedCapsF Precision AlternateForm SignMode	Capitalized version of the previous
GeneralF Precision AlternateForm SignMode	General formatting: `FixedF` or `ExponentialF` depending on the number magnitude
GeneralCapsF Precision AlternateForm SignMode	Same as `GeneralF` but with upper case `E` and infinite / NaN
OctalF AlternateForm SignMode	Octal, such as 00245
StringF Precision	Simple string
HexF AlternateForm SignMode	Hexadecimal, such as 0xaf3e
HexCapsF AlternateForm SignMode	Hexadecimal with capitalized letters, such as 0XAF3E
PercentF Precision AlternateForm SignMode	Percent representation

Instances

Instances details

Show TypeFormat Source #
Instance details Defined in PyF.Internal.PythonSyntax Methods showsPrec :: Int -> TypeFormat -> ShowS # show :: TypeFormat -> String # showList :: [TypeFormat] -> ShowS #

data AlternateForm Source #

If the formatter use its alternate form

Constructors

AlternateForm
NormalForm

Instances

Instances details

Show AlternateForm Source #
Instance details Defined in PyF.Internal.PythonSyntax Methods showsPrec :: Int -> AlternateForm -> ShowS # show :: AlternateForm -> String # showList :: [AlternateForm] -> ShowS #

pattern DefaultFormatMode :: FormatMode Source #

Default formating mode, no padding, default precision, no grouping, no sign handling

type Parser t = ParsecT String () (Reader ParsingContext) t Source #

data ParsingContext Source #

Constructors

ParsingContext
Fields delimiters :: Maybe (Char, Char) enabledExtensions :: [Extension]

Instances

Instances details

Show ParsingContext Source #
Instance details Defined in PyF.Internal.PythonSyntax Methods showsPrec :: Int -> ParsingContext -> ShowS # show :: ParsingContext -> String # showList :: [ParsingContext] -> ShowS #

data ExprOrValue t Source #

Represents a value of type t or an Haskell expression supposed to represents that value

Constructors

Value t
HaskellExpr Exp

Instances

Instances details

Show t => Show (ExprOrValue t) Source #
Instance details Defined in PyF.Internal.PythonSyntax Methods showsPrec :: Int -> ExprOrValue t -> ShowS # show :: ExprOrValue t -> String # showList :: [ExprOrValue t] -> ShowS #