Language.Python.Syntax.Numbers

Numerical literal values in Python

Datatypes

data IntLiteral a

An integer literal value.

5 is an integer literal.

6.2 is a literal but is not an integer

x might be an integer, but is not a literal

See https://docs.python.org/3.5/reference/lexical_analysis.html#integer-literals

Constructors

IntLiteralDec

Decimal

1234

Fields

• _intLiteralAnn :: a
• _unsafeIntLiteralDecValue :: NonEmpty DecDigit

IntLiteralBin

Binary

0b10110

Fields

• _intLiteralAnn :: a
• _unsafeIntLiteralBinUppercase :: Bool
• _unsafeIntLiteralBinValue :: NonEmpty BinDigit

IntLiteralOct

Octal

0o1367

Fields

• _intLiteralAnn :: a
• _unsafeIntLiteralOctUppercase :: Bool
• _unsafeIntLiteralOctValue :: NonEmpty OctDigit

IntLiteralHex

Mixed-case hexadecimal

0x18B4f

Fields

• _intLiteralAnn :: a
• _unsafeIntLiteralHexUppercase :: Bool
• _unsafeIntLiteralHexValue :: NonEmpty HeXDigit

Instances

Functor IntLiteral

Defined in Language.Python.Syntax.Numbers

Methods

fmap :: (a -> b) -> IntLiteral a -> IntLiteral b

(<$) :: a -> IntLiteral b -> IntLiteral a

Foldable IntLiteral

Defined in Language.Python.Syntax.Numbers

Methods

fold :: Monoid m => IntLiteral m -> m

foldMap :: Monoid m => (a -> m) -> IntLiteral a -> m

foldr :: (a -> b -> b) -> b -> IntLiteral a -> b

foldr' :: (a -> b -> b) -> b -> IntLiteral a -> b

foldl :: (b -> a -> b) -> b -> IntLiteral a -> b

foldl' :: (b -> a -> b) -> b -> IntLiteral a -> b

foldr1 :: (a -> a -> a) -> IntLiteral a -> a

foldl1 :: (a -> a -> a) -> IntLiteral a -> a

toList :: IntLiteral a -> [a]

null :: IntLiteral a -> Bool

length :: IntLiteral a -> Int

elem :: Eq a => a -> IntLiteral a -> Bool

maximum :: Ord a => IntLiteral a -> a

minimum :: Ord a => IntLiteral a -> a

sum :: Num a => IntLiteral a -> a

product :: Num a => IntLiteral a -> a

Traversable IntLiteral

Defined in Language.Python.Syntax.Numbers

Methods

traverse :: Applicative f => (a -> f b) -> IntLiteral a -> f (IntLiteral b)

sequenceA :: Applicative f => IntLiteral (f a) -> f (IntLiteral a)

mapM :: Monad m => (a -> m b) -> IntLiteral a -> m (IntLiteral b)

sequence :: Monad m => IntLiteral (m a) -> m (IntLiteral a)

Eq1 IntLiteral

Defined in Language.Python.Syntax.Numbers

Methods

liftEq :: (a -> b -> Bool) -> IntLiteral a -> IntLiteral b -> Bool

Ord1 IntLiteral

Defined in Language.Python.Syntax.Numbers

Methods

liftCompare :: (a -> b -> Ordering) -> IntLiteral a -> IntLiteral b -> Ordering

Eq a => Eq (IntLiteral a)

Defined in Language.Python.Syntax.Numbers

Methods

(==) :: IntLiteral a -> IntLiteral a -> Bool

(/=) :: IntLiteral a -> IntLiteral a -> Bool

Show a => Show (IntLiteral a)

Defined in Language.Python.Syntax.Numbers

Methods

showsPrec :: Int -> IntLiteral a -> ShowS

show :: IntLiteral a -> String

showList :: [IntLiteral a] -> ShowS

data Sign

Positive or negative, as in -7

Constructors

Pos

Neg

Instances

Eq Sign

Defined in Language.Python.Syntax.Numbers

Methods

(==) :: Sign -> Sign -> Bool

(/=) :: Sign -> Sign -> Bool

Ord Sign

Defined in Language.Python.Syntax.Numbers

Methods

compare :: Sign -> Sign -> Ordering

(<) :: Sign -> Sign -> Bool

(<=) :: Sign -> Sign -> Bool

(>) :: Sign -> Sign -> Bool

(>=) :: Sign -> Sign -> Bool

max :: Sign -> Sign -> Sign

min :: Sign -> Sign -> Sign

Show Sign

Defined in Language.Python.Syntax.Numbers

Methods

showsPrec :: Int -> Sign -> ShowS

show :: Sign -> String

showList :: [Sign] -> ShowS

data E

When a floating point literal is in scientific notation, it includes the character e, which can be lower or upper case.

Constructors

Ee

EE

Instances

Eq E

Defined in Language.Python.Syntax.Numbers

Methods

(==) :: E -> E -> Bool

(/=) :: E -> E -> Bool

Ord E

Defined in Language.Python.Syntax.Numbers

Methods

compare :: E -> E -> Ordering

(<) :: E -> E -> Bool

(<=) :: E -> E -> Bool

(>) :: E -> E -> Bool

(>=) :: E -> E -> Bool

max :: E -> E -> E

min :: E -> E -> E

Show E

Defined in Language.Python.Syntax.Numbers

Methods

showsPrec :: Int -> E -> ShowS

show :: E -> String

showList :: [E] -> ShowS

data FloatExponent

The exponent of a floating point literal.

An e, followed by an optional Sign, followed by at least one digit.

Constructors

FloatExponent E (Maybe Sign) (NonEmpty DecDigit)

Instances

Eq FloatExponent

Defined in Language.Python.Syntax.Numbers

Methods

(==) :: FloatExponent -> FloatExponent -> Bool

(/=) :: FloatExponent -> FloatExponent -> Bool

Ord FloatExponent

Defined in Language.Python.Syntax.Numbers

Methods

compare :: FloatExponent -> FloatExponent -> Ordering

(<) :: FloatExponent -> FloatExponent -> Bool

(<=) :: FloatExponent -> FloatExponent -> Bool

(>) :: FloatExponent -> FloatExponent -> Bool

(>=) :: FloatExponent -> FloatExponent -> Bool

max :: FloatExponent -> FloatExponent -> FloatExponent

min :: FloatExponent -> FloatExponent -> FloatExponent

Show FloatExponent

Defined in Language.Python.Syntax.Numbers

Methods

showsPrec :: Int -> FloatExponent -> ShowS

show :: FloatExponent -> String

showList :: [FloatExponent] -> ShowS

data FloatLiteral a

A literal floating point value.

Eg. 7.63

See https://docs.python.org/3.5/reference/lexical_analysis.html#floating-point-literals

Constructors

FloatLiteralFull

'Complete' floats

12.

12.34

12.e34

12.34e56

Fields

• _floatLiteralAnn :: a
• _floatLiteralFullLeft :: NonEmpty DecDigit
• _floatLiteralFullRight :: Maybe (These (NonEmpty DecDigit) FloatExponent)

FloatLiteralPoint

Floats that begin with a decimal point

.12

.12e34

Fields

• _floatLiteralAnn :: a
• _floatLiteralPointRight :: NonEmpty DecDigit
• _floatLiteralPointExponent :: Maybe FloatExponent

FloatLiteralWhole

Floats with no decimal points

12e34

Fields

• _floatLiteralAnn :: a
• _floatLiteralWholeRight :: NonEmpty DecDigit
• _floatLiteralWholeExponent :: FloatExponent

Instances

Functor FloatLiteral

Defined in Language.Python.Syntax.Numbers

Methods

fmap :: (a -> b) -> FloatLiteral a -> FloatLiteral b

(<$) :: a -> FloatLiteral b -> FloatLiteral a

Foldable FloatLiteral

Defined in Language.Python.Syntax.Numbers

Methods

fold :: Monoid m => FloatLiteral m -> m

foldMap :: Monoid m => (a -> m) -> FloatLiteral a -> m

foldr :: (a -> b -> b) -> b -> FloatLiteral a -> b

foldr' :: (a -> b -> b) -> b -> FloatLiteral a -> b

foldl :: (b -> a -> b) -> b -> FloatLiteral a -> b

foldl' :: (b -> a -> b) -> b -> FloatLiteral a -> b

foldr1 :: (a -> a -> a) -> FloatLiteral a -> a

foldl1 :: (a -> a -> a) -> FloatLiteral a -> a

toList :: FloatLiteral a -> [a]

null :: FloatLiteral a -> Bool

length :: FloatLiteral a -> Int

elem :: Eq a => a -> FloatLiteral a -> Bool

maximum :: Ord a => FloatLiteral a -> a

minimum :: Ord a => FloatLiteral a -> a

sum :: Num a => FloatLiteral a -> a

product :: Num a => FloatLiteral a -> a

Traversable FloatLiteral

Defined in Language.Python.Syntax.Numbers

Methods

traverse :: Applicative f => (a -> f b) -> FloatLiteral a -> f (FloatLiteral b)

sequenceA :: Applicative f => FloatLiteral (f a) -> f (FloatLiteral a)

mapM :: Monad m => (a -> m b) -> FloatLiteral a -> m (FloatLiteral b)

sequence :: Monad m => FloatLiteral (m a) -> m (FloatLiteral a)

Eq1 FloatLiteral

Defined in Language.Python.Syntax.Numbers

Methods

liftEq :: (a -> b -> Bool) -> FloatLiteral a -> FloatLiteral b -> Bool

Ord1 FloatLiteral

Defined in Language.Python.Syntax.Numbers

Methods

liftCompare :: (a -> b -> Ordering) -> FloatLiteral a -> FloatLiteral b -> Ordering

Eq a => Eq (FloatLiteral a)

Defined in Language.Python.Syntax.Numbers

Methods

(==) :: FloatLiteral a -> FloatLiteral a -> Bool

(/=) :: FloatLiteral a -> FloatLiteral a -> Bool

Show a => Show (FloatLiteral a)

Defined in Language.Python.Syntax.Numbers

Methods

showsPrec :: Int -> FloatLiteral a -> ShowS

show :: FloatLiteral a -> String

showList :: [FloatLiteral a] -> ShowS

data ImagLiteral a

Imaginary number literals

See https://docs.python.org/3.5/reference/lexical_analysis.html#imaginary-literals

Constructors

ImagLiteralInt

A decimal integer followed by a 'j'

12j

Fields

• _imagLiteralAnn :: a
• _unsafeImagLiteralIntValue :: NonEmpty DecDigit
• _imagLiteralUppercase :: Bool

ImagLiteralFloat

A float followed by a 'j'

12.j

12.3j

.3j

Fields

• _imagLiteralAnn :: a
• _unsafeImagLiteralFloatValue :: FloatLiteral a
• _imagLiteralUppercase :: Bool

Instances

Functor ImagLiteral

Defined in Language.Python.Syntax.Numbers

Methods

fmap :: (a -> b) -> ImagLiteral a -> ImagLiteral b

(<$) :: a -> ImagLiteral b -> ImagLiteral a

Foldable ImagLiteral

Defined in Language.Python.Syntax.Numbers

Methods

fold :: Monoid m => ImagLiteral m -> m

foldMap :: Monoid m => (a -> m) -> ImagLiteral a -> m

foldr :: (a -> b -> b) -> b -> ImagLiteral a -> b

foldr' :: (a -> b -> b) -> b -> ImagLiteral a -> b

foldl :: (b -> a -> b) -> b -> ImagLiteral a -> b

foldl' :: (b -> a -> b) -> b -> ImagLiteral a -> b

foldr1 :: (a -> a -> a) -> ImagLiteral a -> a

foldl1 :: (a -> a -> a) -> ImagLiteral a -> a

toList :: ImagLiteral a -> [a]

null :: ImagLiteral a -> Bool

length :: ImagLiteral a -> Int

elem :: Eq a => a -> ImagLiteral a -> Bool

maximum :: Ord a => ImagLiteral a -> a

minimum :: Ord a => ImagLiteral a -> a

sum :: Num a => ImagLiteral a -> a

product :: Num a => ImagLiteral a -> a

Traversable ImagLiteral

Defined in Language.Python.Syntax.Numbers

Methods

traverse :: Applicative f => (a -> f b) -> ImagLiteral a -> f (ImagLiteral b)

sequenceA :: Applicative f => ImagLiteral (f a) -> f (ImagLiteral a)

mapM :: Monad m => (a -> m b) -> ImagLiteral a -> m (ImagLiteral b)

sequence :: Monad m => ImagLiteral (m a) -> m (ImagLiteral a)

Eq1 ImagLiteral

Defined in Language.Python.Syntax.Numbers

Methods

liftEq :: (a -> b -> Bool) -> ImagLiteral a -> ImagLiteral b -> Bool

Ord1 ImagLiteral

Defined in Language.Python.Syntax.Numbers

Methods

liftCompare :: (a -> b -> Ordering) -> ImagLiteral a -> ImagLiteral b -> Ordering

Eq a => Eq (ImagLiteral a)

Defined in Language.Python.Syntax.Numbers

Methods

(==) :: ImagLiteral a -> ImagLiteral a -> Bool

(/=) :: ImagLiteral a -> ImagLiteral a -> Bool

Show a => Show (ImagLiteral a)

Defined in Language.Python.Syntax.Numbers

Methods

showsPrec :: Int -> ImagLiteral a -> ShowS

show :: ImagLiteral a -> String

showList :: [ImagLiteral a] -> ShowS

Rendering

The output of these functions is guaranteed to be valid Python code

showIntLiteral :: IntLiteral a -> Text

showFloatLiteral :: FloatLiteral a -> Text

showFloatExponent :: FloatExponent -> Text

showImagLiteral :: ImagLiteral a -> Text