| 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.Strings
Contents
Description
Python string literals.
See https://docs.python.org/3.5/reference/lexical_analysis.html#string-and-bytes-literals
Synopsis
- data PyChar
- = Char_newline
- | Char_octal1 OctDigit
- | Char_octal2 OctDigit OctDigit
- | Char_octal3 OctDigit OctDigit OctDigit
- | Char_hex HeXDigit HeXDigit
- | Char_uni16 HeXDigit HeXDigit HeXDigit HeXDigit
- | Char_uni32 HeXDigit HeXDigit HeXDigit HeXDigit HeXDigit HeXDigit HeXDigit HeXDigit
- | Char_esc_bslash
- | Char_esc_singlequote
- | Char_esc_doublequote
- | Char_esc_a
- | Char_esc_b
- | Char_esc_f
- | Char_esc_n
- | Char_esc_r
- | Char_esc_t
- | Char_esc_v
- | Char_lit Char
- fromHaskellString :: String -> [PyChar]
- data QuoteType
- data StringType
- data StringPrefix
- data RawStringPrefix
- data BytesPrefix
- data RawBytesPrefix
- hasPrefix :: StringLiteral a -> Bool
- data StringLiteral a
- = RawStringLiteral { }
- | StringLiteral { }
- | RawBytesLiteral { }
- | BytesLiteral { }
- stringLiteralStringType :: forall a. Lens' (StringLiteral a) StringType
- stringLiteralQuoteType :: forall a. Lens' (StringLiteral a) QuoteType
- stringLiteralValue :: forall a. Lens' (StringLiteral a) [PyChar]
- stringLiteralWhitespace :: forall a. Lens' (StringLiteral a) [Whitespace]
- showQuoteType :: QuoteType -> Char
- showStringPrefix :: StringPrefix -> Text
- showRawStringPrefix :: RawStringPrefix -> Text
- showBytesPrefix :: BytesPrefix -> Text
- showRawBytesPrefix :: RawBytesPrefix -> Text
- isEscape :: PyChar -> Bool
Datatypes
Characters
A character in a string literal. This is a large sum type, with a
catch-all of a Haskell Char.
Constructors
Instances
fromHaskellString :: String -> [PyChar] #
Convert a Haskell string to a list of PyChar. This is useful when
writing Python in Haskell.
String information
Double or single quotation marks?
"Double quotes" """Double quotes""" 'Single quotes' '''Single quotes'''
Constructors
| SingleQuote | |
| DoubleQuote |
Instances
| Eq QuoteType # | |
| Ord QuoteType # | |
| Show QuoteType # | |
| Generic QuoteType # | |
| type Rep QuoteType # | |
data StringType #
Three pairs of quotations or one?
"""Long string""" '''Also long string''' "Short string" 'Also short string'
Constructors
| ShortString | |
| LongString |
Instances
| Eq StringType # | |
Defined in Language.Python.Syntax.Strings | |
| Ord StringType # | |
Defined in Language.Python.Syntax.Strings Methods compare :: StringType -> StringType -> Ordering # (<) :: StringType -> StringType -> Bool # (<=) :: StringType -> StringType -> Bool # (>) :: StringType -> StringType -> Bool # (>=) :: StringType -> StringType -> Bool # max :: StringType -> StringType -> StringType # min :: StringType -> StringType -> StringType # | |
| Show StringType # | |
Defined in Language.Python.Syntax.Strings Methods showsPrec :: Int -> StringType -> ShowS # show :: StringType -> String # showList :: [StringType] -> ShowS # | |
| Generic StringType # | |
Defined in Language.Python.Syntax.Strings Associated Types type Rep StringType :: * -> * # | |
| type Rep StringType # | |
String prefixes
data StringPrefix #
In Python 3.5, a prefix of u or U is allowed, but doesn't have any
meaning. They exist for backwards compatibility with Python 2.
Instances
| Eq StringPrefix # | |
Defined in Language.Python.Syntax.Strings | |
| Ord StringPrefix # | |
Defined in Language.Python.Syntax.Strings Methods compare :: StringPrefix -> StringPrefix -> Ordering # (<) :: StringPrefix -> StringPrefix -> Bool # (<=) :: StringPrefix -> StringPrefix -> Bool # (>) :: StringPrefix -> StringPrefix -> Bool # (>=) :: StringPrefix -> StringPrefix -> Bool # max :: StringPrefix -> StringPrefix -> StringPrefix # min :: StringPrefix -> StringPrefix -> StringPrefix # | |
| Show StringPrefix # | |
Defined in Language.Python.Syntax.Strings Methods showsPrec :: Int -> StringPrefix -> ShowS # show :: StringPrefix -> String # showList :: [StringPrefix] -> ShowS # | |
| Generic StringPrefix # | |
Defined in Language.Python.Syntax.Strings Associated Types type Rep StringPrefix :: * -> * # | |
| type Rep StringPrefix # | |
data RawStringPrefix #
Raw strings are prefixed with either r or R.
Instances
data BytesPrefix #
This prefix indicates it's a bytes literal rather than a string literal.
Instances
| Eq BytesPrefix # | |
Defined in Language.Python.Syntax.Strings | |
| Ord BytesPrefix # | |
Defined in Language.Python.Syntax.Strings Methods compare :: BytesPrefix -> BytesPrefix -> Ordering # (<) :: BytesPrefix -> BytesPrefix -> Bool # (<=) :: BytesPrefix -> BytesPrefix -> Bool # (>) :: BytesPrefix -> BytesPrefix -> Bool # (>=) :: BytesPrefix -> BytesPrefix -> Bool # max :: BytesPrefix -> BytesPrefix -> BytesPrefix # min :: BytesPrefix -> BytesPrefix -> BytesPrefix # | |
| Show BytesPrefix # | |
Defined in Language.Python.Syntax.Strings Methods showsPrec :: Int -> BytesPrefix -> ShowS # show :: BytesPrefix -> String # showList :: [BytesPrefix] -> ShowS # | |
| Generic BytesPrefix # | |
Defined in Language.Python.Syntax.Strings Associated Types type Rep BytesPrefix :: * -> * # | |
| type Rep BytesPrefix # | |
data RawBytesPrefix #
A string of raw bytes can be indicated by a number of prefixes
Instances
hasPrefix :: StringLiteral a -> Bool #
Most types of StringLiteral have prefixes. Plain old strings may have
an optional prefix, but it is meaningless.
String literals
data StringLiteral a #
A StringLiteral, complete with a prefix, information about
quote type and number, and a list of PyChars.
Like many other data types in hpython, it has an annotation and trailing whitespace.
Constructors
| RawStringLiteral | |
| StringLiteral | |
| RawBytesLiteral | |
| BytesLiteral | |
Instances
Lenses
stringLiteralStringType :: forall a. Lens' (StringLiteral a) StringType #
stringLiteralQuoteType :: forall a. Lens' (StringLiteral a) QuoteType #
stringLiteralValue :: forall a. Lens' (StringLiteral a) [PyChar] #
stringLiteralWhitespace :: forall a. Lens' (StringLiteral a) [Whitespace] #
Rendering
showQuoteType :: QuoteType -> Char #
showStringPrefix :: StringPrefix -> Text #
showBytesPrefix :: BytesPrefix -> Text #