Copyright	(C) CSIRO 2017-2018
License	BSD3
Maintainer	Isaac Elliott <isaace71295@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Language.Python.Syntax.Numbers

Contents

Datatypes
Rendering

Description

Numerical literal values in Python

Synopsis

data IntLiteral a
- = IntLiteralDec {
  - _intLiteralAnn :: a
  - _unsafeIntLiteralDecValue :: NonEmpty DecDigit
  }
- | IntLiteralBin {
  - _intLiteralAnn :: a
  - _unsafeIntLiteralBinUppercase :: Bool
  - _unsafeIntLiteralBinValue :: NonEmpty BinDigit
  }
- | IntLiteralOct {
  - _intLiteralAnn :: a
  - _unsafeIntLiteralOctUppercase :: Bool
  - _unsafeIntLiteralOctValue :: NonEmpty OctDigit
  }
- | IntLiteralHex {
  - _intLiteralAnn :: a
  - _unsafeIntLiteralHexUppercase :: Bool
  - _unsafeIntLiteralHexValue :: NonEmpty HeXDigit
  }
data Sign
- = Pos
- | Neg
data E
- = Ee
- | EE
data FloatExponent = FloatExponent E (Maybe Sign) (NonEmpty DecDigit)
data FloatLiteral a
- = FloatLiteralFull {
  - _floatLiteralAnn :: a
  - _floatLiteralFullLeft :: NonEmpty DecDigit
  - _floatLiteralFullRight :: Maybe (These (NonEmpty DecDigit) FloatExponent)
  }
- | FloatLiteralPoint {
  - _floatLiteralAnn :: a
  - _floatLiteralPointRight :: NonEmpty DecDigit
  - _floatLiteralPointExponent :: Maybe FloatExponent
  }
- | FloatLiteralWhole {
  - _floatLiteralAnn :: a
  - _floatLiteralWholeRight :: NonEmpty DecDigit
  - _floatLiteralWholeExponent :: FloatExponent
  }
data ImagLiteral a
- = ImagLiteralInt {
  - _imagLiteralAnn :: a
  - _unsafeImagLiteralIntValue :: NonEmpty DecDigit
  - _imagLiteralUppercase :: Bool
  }
- | ImagLiteralFloat {
  - _imagLiteralAnn :: a
  - _unsafeImagLiteralFloatValue :: FloatLiteral a
  - _imagLiteralUppercase :: Bool
  }
showIntLiteral :: IntLiteral a -> Text
showFloatLiteral :: FloatLiteral a -> Text
showFloatExponent :: FloatExponent -> Text
showImagLiteral :: ImagLiteral a -> Text

Datatypes

data IntLiteral a Source #

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 Source #
Instance details Defined in Language.Python.Syntax.Numbers Methods fmap :: (a -> b) -> IntLiteral a -> IntLiteral b # (<$) :: a -> IntLiteral b -> IntLiteral a #
Foldable IntLiteral Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Language.Python.Syntax.Numbers Methods liftEq :: (a -> b -> Bool) -> IntLiteral a -> IntLiteral b -> Bool #
Ord1 IntLiteral Source #
Instance details Defined in Language.Python.Syntax.Numbers Methods liftCompare :: (a -> b -> Ordering) -> IntLiteral a -> IntLiteral b -> Ordering #
Eq a => Eq (IntLiteral a) Source #
Instance details Defined in Language.Python.Syntax.Numbers Methods (==) :: IntLiteral a -> IntLiteral a -> Bool # (/=) :: IntLiteral a -> IntLiteral a -> Bool #
Show a => Show (IntLiteral a) Source #
Instance details Defined in Language.Python.Syntax.Numbers Methods showsPrec :: Int -> IntLiteral a -> ShowS # show :: IntLiteral a -> String # showList :: [IntLiteral a] -> ShowS #

data Sign Source #

Positive or negative, as in -7

Constructors

Pos
Neg

Instances

Eq Sign Source #
Instance details Defined in Language.Python.Syntax.Numbers Methods (==) :: Sign -> Sign -> Bool # (/=) :: Sign -> Sign -> Bool #
Ord Sign Source #
Instance details 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 Source #
Instance details Defined in Language.Python.Syntax.Numbers Methods showsPrec :: Int -> Sign -> ShowS # show :: Sign -> String # showList :: [Sign] -> ShowS #

data E Source #

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 Source #
Instance details Defined in Language.Python.Syntax.Numbers Methods (==) :: E -> E -> Bool # (/=) :: E -> E -> Bool #
Ord E Source #
Instance details 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 Source #
Instance details Defined in Language.Python.Syntax.Numbers Methods showsPrec :: Int -> E -> ShowS # show :: E -> String # showList :: [E] -> ShowS #

data FloatExponent Source #

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 Source #
Instance details Defined in Language.Python.Syntax.Numbers Methods (==) :: FloatExponent -> FloatExponent -> Bool # (/=) :: FloatExponent -> FloatExponent -> Bool #
Ord FloatExponent Source #
Instance details 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 Source #
Instance details Defined in Language.Python.Syntax.Numbers Methods showsPrec :: Int -> FloatExponent -> ShowS # show :: FloatExponent -> String # showList :: [FloatExponent] -> ShowS #

data FloatLiteral a Source #

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 Source #
Instance details Defined in Language.Python.Syntax.Numbers Methods fmap :: (a -> b) -> FloatLiteral a -> FloatLiteral b # (<$) :: a -> FloatLiteral b -> FloatLiteral a #
Foldable FloatLiteral Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Language.Python.Syntax.Numbers Methods liftEq :: (a -> b -> Bool) -> FloatLiteral a -> FloatLiteral b -> Bool #
Ord1 FloatLiteral Source #
Instance details Defined in Language.Python.Syntax.Numbers Methods liftCompare :: (a -> b -> Ordering) -> FloatLiteral a -> FloatLiteral b -> Ordering #
Eq a => Eq (FloatLiteral a) Source #
Instance details Defined in Language.Python.Syntax.Numbers Methods (==) :: FloatLiteral a -> FloatLiteral a -> Bool # (/=) :: FloatLiteral a -> FloatLiteral a -> Bool #
Show a => Show (FloatLiteral a) Source #
Instance details Defined in Language.Python.Syntax.Numbers Methods showsPrec :: Int -> FloatLiteral a -> ShowS # show :: FloatLiteral a -> String # showList :: [FloatLiteral a] -> ShowS #

data ImagLiteral a Source #

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 Source #
Instance details Defined in Language.Python.Syntax.Numbers Methods fmap :: (a -> b) -> ImagLiteral a -> ImagLiteral b # (<$) :: a -> ImagLiteral b -> ImagLiteral a #
Foldable ImagLiteral Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Language.Python.Syntax.Numbers Methods liftEq :: (a -> b -> Bool) -> ImagLiteral a -> ImagLiteral b -> Bool #
Ord1 ImagLiteral Source #
Instance details Defined in Language.Python.Syntax.Numbers Methods liftCompare :: (a -> b -> Ordering) -> ImagLiteral a -> ImagLiteral b -> Ordering #
Eq a => Eq (ImagLiteral a) Source #
Instance details Defined in Language.Python.Syntax.Numbers Methods (==) :: ImagLiteral a -> ImagLiteral a -> Bool # (/=) :: ImagLiteral a -> ImagLiteral a -> Bool #
Show a => Show (ImagLiteral a) Source #
Instance details 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 Source #

showFloatLiteral :: FloatLiteral a -> Text Source #

showFloatExponent :: FloatExponent -> Text Source #

showImagLiteral :: ImagLiteral a -> Text Source #