Copyright	(C) CSIRO 2017-2019
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 :: Ann a
  - _unsafeIntLiteralDecValue :: NonEmpty DecDigit
  }
- | IntLiteralBin {
  - _intLiteralAnn :: Ann a
  - _unsafeIntLiteralBinUppercase :: Bool
  - _unsafeIntLiteralBinValue :: NonEmpty BinDigit
  }
- | IntLiteralOct {
  - _intLiteralAnn :: Ann a
  - _unsafeIntLiteralOctUppercase :: Bool
  - _unsafeIntLiteralOctValue :: NonEmpty OctDigit
  }
- | IntLiteralHex {
  - _intLiteralAnn :: Ann 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 :: Ann a
  - _floatLiteralFullLeft :: NonEmpty DecDigit
  - _floatLiteralFullRight :: Maybe (These (NonEmpty DecDigit) FloatExponent)
  }
- | FloatLiteralPoint {
  - _floatLiteralAnn :: Ann a
  - _floatLiteralPointRight :: NonEmpty DecDigit
  - _floatLiteralPointExponent :: Maybe FloatExponent
  }
- | FloatLiteralWhole {
  }
data ImagLiteral a
- = ImagLiteralInt {
  - _imagLiteralAnn :: Ann a
  - _unsafeImagLiteralIntValue :: NonEmpty DecDigit
  - _imagLiteralUppercase :: Bool
  }
- | ImagLiteralFloat {
  - _imagLiteralAnn :: Ann 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 #

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 :: Ann a _unsafeIntLiteralDecValue :: NonEmpty DecDigit
IntLiteralBin	Binary 0b10110
Fields _intLiteralAnn :: Ann a _unsafeIntLiteralBinUppercase :: Bool _unsafeIntLiteralBinValue :: NonEmpty BinDigit
IntLiteralOct	Octal 0o1367
Fields _intLiteralAnn :: Ann a _unsafeIntLiteralOctUppercase :: Bool _unsafeIntLiteralOctValue :: NonEmpty OctDigit
IntLiteralHex	Mixed-case hexadecimal 0x18B4f
Fields _intLiteralAnn :: Ann a _unsafeIntLiteralHexUppercase :: Bool _unsafeIntLiteralHexValue :: NonEmpty HeXDigit

Instances

Functor IntLiteral #
Instance details Defined in Language.Python.Syntax.Numbers Methods fmap :: (a -> b) -> IntLiteral a -> IntLiteral b # (<$) :: a -> IntLiteral b -> IntLiteral a #
Foldable IntLiteral #
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 #
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 #
Instance details Defined in Language.Python.Syntax.Numbers Methods liftEq :: (a -> b -> Bool) -> IntLiteral a -> IntLiteral b -> Bool #
Ord1 IntLiteral #
Instance details Defined in Language.Python.Syntax.Numbers Methods liftCompare :: (a -> b -> Ordering) -> IntLiteral a -> IntLiteral b -> Ordering #
HasAnn IntLiteral #
Instance details Defined in Language.Python.Syntax.Numbers Methods annot :: Functor f => (Ann a -> f (Ann a)) -> IntLiteral a -> f (IntLiteral a) #
Eq a => Eq (IntLiteral a) #
Instance details Defined in Language.Python.Syntax.Numbers Methods (==) :: IntLiteral a -> IntLiteral a -> Bool # (/=) :: IntLiteral a -> IntLiteral a -> Bool #
Show a => Show (IntLiteral a) #
Instance details Defined in Language.Python.Syntax.Numbers Methods showsPrec :: Int -> IntLiteral a -> ShowS # show :: IntLiteral a -> String # showList :: [IntLiteral a] -> ShowS #
Generic (IntLiteral a) #
Instance details Defined in Language.Python.Syntax.Numbers Associated Types type Rep (IntLiteral a) :: * -> * # Methods from :: IntLiteral a -> Rep (IntLiteral a) x # to :: Rep (IntLiteral a) x -> IntLiteral a #
type Rep (IntLiteral a) #
Instance details Defined in Language.Python.Syntax.Numbers type Rep (IntLiteral a) = D1 (MetaData "IntLiteral" "Language.Python.Syntax.Numbers" "hpython-0.1.0.1-inplace" False) ((C1 (MetaCons "IntLiteralDec" PrefixI True) (S1 (MetaSel (Just "_intLiteralAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: S1 (MetaSel (Just "_unsafeIntLiteralDecValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty DecDigit))) :+: C1 (MetaCons "IntLiteralBin" PrefixI True) (S1 (MetaSel (Just "_intLiteralAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: (S1 (MetaSel (Just "_unsafeIntLiteralBinUppercase") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: S1 (MetaSel (Just "_unsafeIntLiteralBinValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty BinDigit))))) :+: (C1 (MetaCons "IntLiteralOct" PrefixI True) (S1 (MetaSel (Just "_intLiteralAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: (S1 (MetaSel (Just "_unsafeIntLiteralOctUppercase") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: S1 (MetaSel (Just "_unsafeIntLiteralOctValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty OctDigit)))) :+: C1 (MetaCons "IntLiteralHex" PrefixI True) (S1 (MetaSel (Just "_intLiteralAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: (S1 (MetaSel (Just "_unsafeIntLiteralHexUppercase") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :*: S1 (MetaSel (Just "_unsafeIntLiteralHexValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty HeXDigit))))))

data Sign #

Positive or negative, as in -7

Constructors

Pos
Neg

Instances

Eq Sign #
Instance details Defined in Language.Python.Syntax.Numbers Methods (==) :: Sign -> Sign -> Bool # (/=) :: Sign -> Sign -> Bool #
Ord Sign #
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 #
Instance details Defined in Language.Python.Syntax.Numbers Methods showsPrec :: Int -> Sign -> ShowS # show :: Sign -> String # showList :: [Sign] -> ShowS #
Generic Sign #
Instance details Defined in Language.Python.Syntax.Numbers Associated Types type Rep Sign :: * -> * # Methods from :: Sign -> Rep Sign x # to :: Rep Sign x -> Sign #
type Rep Sign #
Instance details Defined in Language.Python.Syntax.Numbers type Rep Sign = D1 (MetaData "Sign" "Language.Python.Syntax.Numbers" "hpython-0.1.0.1-inplace" False) (C1 (MetaCons "Pos" PrefixI False) (U1 :: * -> ) :+: C1 (MetaCons "Neg" PrefixI False) (U1 :: -> *))

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 #
Instance details Defined in Language.Python.Syntax.Numbers Methods (==) :: E -> E -> Bool # (/=) :: E -> E -> Bool #
Ord E #
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 #
Instance details Defined in Language.Python.Syntax.Numbers Methods showsPrec :: Int -> E -> ShowS # show :: E -> String # showList :: [E] -> ShowS #
Generic E #
Instance details Defined in Language.Python.Syntax.Numbers Associated Types type Rep E :: * -> * # Methods from :: E -> Rep E x # to :: Rep E x -> E #
type Rep E #
Instance details Defined in Language.Python.Syntax.Numbers type Rep E = D1 (MetaData "E" "Language.Python.Syntax.Numbers" "hpython-0.1.0.1-inplace" False) (C1 (MetaCons "Ee" PrefixI False) (U1 :: * -> ) :+: C1 (MetaCons "EE" PrefixI False) (U1 :: -> *))

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 #
Instance details Defined in Language.Python.Syntax.Numbers Methods (==) :: FloatExponent -> FloatExponent -> Bool # (/=) :: FloatExponent -> FloatExponent -> Bool #
Ord FloatExponent #
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 #
Instance details Defined in Language.Python.Syntax.Numbers Methods showsPrec :: Int -> FloatExponent -> ShowS # show :: FloatExponent -> String # showList :: [FloatExponent] -> ShowS #
Generic FloatExponent #
Instance details Defined in Language.Python.Syntax.Numbers Associated Types type Rep FloatExponent :: * -> * # Methods from :: FloatExponent -> Rep FloatExponent x # to :: Rep FloatExponent x -> FloatExponent #
type Rep FloatExponent #
Instance details Defined in Language.Python.Syntax.Numbers type Rep FloatExponent = D1 (MetaData "FloatExponent" "Language.Python.Syntax.Numbers" "hpython-0.1.0.1-inplace" False) (C1 (MetaCons "FloatExponent" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 E) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Sign)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty DecDigit)))))

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 :: Ann a _floatLiteralFullLeft :: NonEmpty DecDigit _floatLiteralFullRight :: Maybe (These (NonEmpty DecDigit) FloatExponent)
FloatLiteralPoint	Floats that begin with a decimal point .12 .12e34
Fields _floatLiteralAnn :: Ann a _floatLiteralPointRight :: NonEmpty DecDigit _floatLiteralPointExponent :: Maybe FloatExponent
FloatLiteralWhole	Floats with no decimal points 12e34
Fields _floatLiteralAnn :: Ann a _floatLiteralWholeRight :: NonEmpty DecDigit _floatLiteralWholeExponent :: FloatExponent

Instances

Functor FloatLiteral #
Instance details Defined in Language.Python.Syntax.Numbers Methods fmap :: (a -> b) -> FloatLiteral a -> FloatLiteral b # (<$) :: a -> FloatLiteral b -> FloatLiteral a #
Foldable FloatLiteral #
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 #
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 #
Instance details Defined in Language.Python.Syntax.Numbers Methods liftEq :: (a -> b -> Bool) -> FloatLiteral a -> FloatLiteral b -> Bool #
Ord1 FloatLiteral #
Instance details Defined in Language.Python.Syntax.Numbers Methods liftCompare :: (a -> b -> Ordering) -> FloatLiteral a -> FloatLiteral b -> Ordering #
HasAnn FloatLiteral #
Instance details Defined in Language.Python.Syntax.Numbers Methods annot :: Functor f => (Ann a -> f (Ann a)) -> FloatLiteral a -> f (FloatLiteral a) #
Eq a => Eq (FloatLiteral a) #
Instance details Defined in Language.Python.Syntax.Numbers Methods (==) :: FloatLiteral a -> FloatLiteral a -> Bool # (/=) :: FloatLiteral a -> FloatLiteral a -> Bool #
Show a => Show (FloatLiteral a) #
Instance details Defined in Language.Python.Syntax.Numbers Methods showsPrec :: Int -> FloatLiteral a -> ShowS # show :: FloatLiteral a -> String # showList :: [FloatLiteral a] -> ShowS #
Generic (FloatLiteral a) #
Instance details Defined in Language.Python.Syntax.Numbers Associated Types type Rep (FloatLiteral a) :: * -> * # Methods from :: FloatLiteral a -> Rep (FloatLiteral a) x # to :: Rep (FloatLiteral a) x -> FloatLiteral a #
type Rep (FloatLiteral a) #
Instance details Defined in Language.Python.Syntax.Numbers type Rep (FloatLiteral a) = D1 (MetaData "FloatLiteral" "Language.Python.Syntax.Numbers" "hpython-0.1.0.1-inplace" False) (C1 (MetaCons "FloatLiteralFull" PrefixI True) (S1 (MetaSel (Just "_floatLiteralAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: (S1 (MetaSel (Just "_floatLiteralFullLeft") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty DecDigit)) :: S1 (MetaSel (Just "_floatLiteralFullRight") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (These (NonEmpty DecDigit) FloatExponent))))) :+: (C1 (MetaCons "FloatLiteralPoint" PrefixI True) (S1 (MetaSel (Just "_floatLiteralAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: (S1 (MetaSel (Just "_floatLiteralPointRight") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty DecDigit)) :: S1 (MetaSel (Just "_floatLiteralPointExponent") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe FloatExponent)))) :+: C1 (MetaCons "FloatLiteralWhole" PrefixI True) (S1 (MetaSel (Just "_floatLiteralAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: (S1 (MetaSel (Just "_floatLiteralWholeRight") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty DecDigit)) :: S1 (MetaSel (Just "_floatLiteralWholeExponent") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FloatExponent)))))

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 :: Ann a _unsafeImagLiteralIntValue :: NonEmpty DecDigit _imagLiteralUppercase :: Bool
ImagLiteralFloat	A float followed by a 'j' 12.j 12.3j .3j
Fields _imagLiteralAnn :: Ann a _unsafeImagLiteralFloatValue :: FloatLiteral a _imagLiteralUppercase :: Bool

Instances

Functor ImagLiteral #
Instance details Defined in Language.Python.Syntax.Numbers Methods fmap :: (a -> b) -> ImagLiteral a -> ImagLiteral b # (<$) :: a -> ImagLiteral b -> ImagLiteral a #
Foldable ImagLiteral #
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 #
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 #
Instance details Defined in Language.Python.Syntax.Numbers Methods liftEq :: (a -> b -> Bool) -> ImagLiteral a -> ImagLiteral b -> Bool #
Ord1 ImagLiteral #
Instance details Defined in Language.Python.Syntax.Numbers Methods liftCompare :: (a -> b -> Ordering) -> ImagLiteral a -> ImagLiteral b -> Ordering #
HasAnn ImagLiteral #
Instance details Defined in Language.Python.Syntax.Numbers Methods annot :: Functor f => (Ann a -> f (Ann a)) -> ImagLiteral a -> f (ImagLiteral a) #
Eq a => Eq (ImagLiteral a) #
Instance details Defined in Language.Python.Syntax.Numbers Methods (==) :: ImagLiteral a -> ImagLiteral a -> Bool # (/=) :: ImagLiteral a -> ImagLiteral a -> Bool #
Show a => Show (ImagLiteral a) #
Instance details Defined in Language.Python.Syntax.Numbers Methods showsPrec :: Int -> ImagLiteral a -> ShowS # show :: ImagLiteral a -> String # showList :: [ImagLiteral a] -> ShowS #
Generic (ImagLiteral a) #
Instance details Defined in Language.Python.Syntax.Numbers Associated Types type Rep (ImagLiteral a) :: * -> * # Methods from :: ImagLiteral a -> Rep (ImagLiteral a) x # to :: Rep (ImagLiteral a) x -> ImagLiteral a #
type Rep (ImagLiteral a) #
Instance details Defined in Language.Python.Syntax.Numbers type Rep (ImagLiteral a) = D1 (MetaData "ImagLiteral" "Language.Python.Syntax.Numbers" "hpython-0.1.0.1-inplace" False) (C1 (MetaCons "ImagLiteralInt" PrefixI True) (S1 (MetaSel (Just "_imagLiteralAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: (S1 (MetaSel (Just "_unsafeImagLiteralIntValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty DecDigit)) :: S1 (MetaSel (Just "_imagLiteralUppercase") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) :+: C1 (MetaCons "ImagLiteralFloat" PrefixI True) (S1 (MetaSel (Just "_imagLiteralAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Ann a)) :: (S1 (MetaSel (Just "_unsafeImagLiteralFloatValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (FloatLiteral a)) :: S1 (MetaSel (Just "_imagLiteralUppercase") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))))

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 #