Modulelanguage-c-0.10.2Haskell2010

Language.C.Syntax.Constants

This module provides support for representing, checking and exporting c constants, i.e. integral, float, character and string constants.

Contents

Utilities
C char constants (and multi-character character constants)
C integral constants
C floating point constants
C string literals
Clang C version literals

Synopsis

value escapeChar
value unescapeChar
value unescapeString
newtype Flags
value noFlags
value setFlag
value clearFlag
value testFlag
value cChar
value cChar_w
value cChars
data CChar
value getCChar
value getCCharAsInt
value isWideChar
value showCharConst
data CIntFlag
data CIntRepr
value cInteger
data CInteger
value getCInteger
value readCInteger
value cFloat
data CFloat
value readCFloat
value cString
value cString_w
data CString
value getCString
value showStringLit
value concatCStrings
data ClangCVersion
value readClangCVersion

Packagelanguage-c-0.10.2
Exports33
LanguageHaskell2010
LicenceBSD-3-Clause
SourceConstants.hs

Utilities

valueescapeChar :: Char -> String

valueunescapeChar :: String -> (Char, String)

valueunescapeString :: String -> String

newtypenewtype Flags f

Constructors

Flags Integer

Instances8Generic1, Eq, Data, Ord, Generic, NFData, …

Generic1 FlagsDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Eq (Flags f)Defined in language-c-0.10.2 · Language.C.Syntax.Constants
Data f => Data (Flags f)Defined in language-c-0.10.2 · Language.C.Syntax.Constants
Ord (Flags f)Defined in language-c-0.10.2 · Language.C.Syntax.Constants
Generic (Flags f)Defined in language-c-0.10.2 · Language.C.Syntax.Constants
NFData (Flags f)Defined in language-c-0.10.2 · Language.C.Syntax.Constants
type Rep (Flags f) = D1 ('MetaData "Flags" "Language.C.Syntax.Constants" "language-c-0.10.2-5SKh2MAcfAoqezdkeEOjt" 'True) (C1 ('MetaCons "Flags" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))Defined in language-c-0.10.2 · Language.C.Syntax.Constants
type Rep1 Flags = D1 ('MetaData "Flags" "Language.C.Syntax.Constants" "language-c-0.10.2-5SKh2MAcfAoqezdkeEOjt" 'True) (C1 ('MetaCons "Flags" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))Defined in language-c-0.10.2 · Language.C.Syntax.Constants

valuenoFlags :: Flags f

valuesetFlag :: Enum f => f -> Flags f -> Flags f

valueclearFlag :: Enum f => f -> Flags f -> Flags f

valuetestFlag :: Enum f => f -> Flags f -> Bool

C char constants (and multi-character character constants)

valuecChar :: Char -> CChar

Source#

construct a character constant from a haskell Char Use cchar_w if you want a wide character constant.

valuecChar_w :: Char -> CChar

Source#

construct a wide chararacter constant

valuecChars :: String -> Bool -> CChar

Source#

create a multi-character character constant

datadata CChar

Source#

C char constants (abstract)

Constructors

CChar !Char !Bool
CChars [Char] !Bool

Instances7Eq, Data, Ord, Show, Generic, NFData, …

Eq CCharDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Data CCharDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Ord CCharDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Show CCharDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Generic CCharDefined in language-c-0.10.2 · Language.C.Syntax.Constants
NFData CCharDefined in language-c-0.10.2 · Language.C.Syntax.Constants
type Rep CChar = D1 ('MetaData "CChar" "Language.C.Syntax.Constants" "language-c-0.10.2-5SKh2MAcfAoqezdkeEOjt" 'False) (C1 ('MetaCons "CChar" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Char) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)) :+: C1 ('MetaCons "CChars" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Char]) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)))Defined in language-c-0.10.2 · Language.C.Syntax.Constants

valuegetCChar :: CChar -> String

Source#

get the haskell representation of a char constant

valuegetCCharAsInt :: CChar -> Integer

Source#

get integer value of a C char constant undefined result for multi-char char constants

valueisWideChar :: CChar -> Bool

Source#

return true if the character constant is wide.

valueshowCharConst :: Char -> ShowS

Source#

showCharConst c prepends _a_ String representing the C char constant corresponding to c. If necessary uses octal or hexadecimal escape sequences.

C integral constants

datadata CIntFlag

Source#

datatype representing type flags for integers

FlagUnsigned FlagLong FlagLongLong FlagImag

Instances9Bounded, Enum, Eq, Data, Ord, Show, …

Bounded CIntFlagDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Enum CIntFlagDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Eq CIntFlagDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Data CIntFlagDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Ord CIntFlagDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Show CIntFlagDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Generic CIntFlagDefined in language-c-0.10.2 · Language.C.Syntax.Constants
NFData CIntFlagDefined in language-c-0.10.2 · Language.C.Syntax.Constants
type Rep CIntFlag = D1 ('MetaData "CIntFlag" "Language.C.Syntax.Constants" "language-c-0.10.2-5SKh2MAcfAoqezdkeEOjt" 'False) ((C1 ('MetaCons "FlagUnsigned" 'PrefixI 'False) U1 :+: C1 ('MetaCons "FlagLong" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "FlagLongLong" 'PrefixI 'False) U1 :+: C1 ('MetaCons "FlagImag" 'PrefixI 'False) U1))Defined in language-c-0.10.2 · Language.C.Syntax.Constants

datadata CIntRepr

Source#

datatype for memorizing the representation of an integer

DecRepr HexRepr OctalRepr

Instances8Bounded, Enum, Eq, Data, Ord, Generic, …

Bounded CIntReprDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Enum CIntReprDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Eq CIntReprDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Data CIntReprDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Ord CIntReprDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Generic CIntReprDefined in language-c-0.10.2 · Language.C.Syntax.Constants
NFData CIntReprDefined in language-c-0.10.2 · Language.C.Syntax.Constants
type Rep CIntRepr = D1 ('MetaData "CIntRepr" "Language.C.Syntax.Constants" "language-c-0.10.2-5SKh2MAcfAoqezdkeEOjt" 'False) (C1 ('MetaCons "DecRepr" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "HexRepr" 'PrefixI 'False) U1 :+: C1 ('MetaCons "OctalRepr" 'PrefixI 'False) U1))Defined in language-c-0.10.2 · Language.C.Syntax.Constants

valuecInteger :: Integer -> CInteger

Source#

construct a integer constant (without type flags) from a haskell integer

datadata CInteger

Constructors

CInteger !Integer !CIntRepr !(Flags CIntFlag)

Instances7Eq, Data, Ord, Show, Generic, NFData, …

Eq CIntegerDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Data CIntegerDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Ord CIntegerDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Show CIntegerDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Generic CIntegerDefined in language-c-0.10.2 · Language.C.Syntax.Constants
NFData CIntegerDefined in language-c-0.10.2 · Language.C.Syntax.Constants
type Rep CInteger = D1 ('MetaData "CInteger" "Language.C.Syntax.Constants" "language-c-0.10.2-5SKh2MAcfAoqezdkeEOjt" 'False) (C1 ('MetaCons "CInteger" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CIntRepr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Flags CIntFlag)))))Defined in language-c-0.10.2 · Language.C.Syntax.Constants

valuegetCInteger :: CInteger -> Integer

valuereadCInteger :: CIntRepr -> String -> Either String CInteger

C floating point constants

valuecFloat :: Float -> CFloat

datadata CFloat

Source#

Floats (represented as strings)

Constructors

CFloat !String

Instances7Eq, Data, Ord, Show, Generic, NFData, …

Eq CFloatDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Data CFloatDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Ord CFloatDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Show CFloatDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Generic CFloatDefined in language-c-0.10.2 · Language.C.Syntax.Constants
NFData CFloatDefined in language-c-0.10.2 · Language.C.Syntax.Constants
type Rep CFloat = D1 ('MetaData "CFloat" "Language.C.Syntax.Constants" "language-c-0.10.2-5SKh2MAcfAoqezdkeEOjt" 'False) (C1 ('MetaCons "CFloat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)))Defined in language-c-0.10.2 · Language.C.Syntax.Constants

valuereadCFloat :: String -> CFloat

C string literals

valuecString :: String -> CString

valuecString_w :: String -> CString

datadata CString

Source#

C String literals

Constructors

CString String Bool

Instances7Eq, Data, Ord, Show, Generic, NFData, …

Eq CStringDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Data CStringDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Ord CStringDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Show CStringDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Generic CStringDefined in language-c-0.10.2 · Language.C.Syntax.Constants
NFData CStringDefined in language-c-0.10.2 · Language.C.Syntax.Constants
type Rep CString = D1 ('MetaData "CString" "Language.C.Syntax.Constants" "language-c-0.10.2-5SKh2MAcfAoqezdkeEOjt" 'False) (C1 ('MetaCons "CString" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))Defined in language-c-0.10.2 · Language.C.Syntax.Constants

valuegetCString :: CString -> String

valueshowStringLit :: String -> ShowS

Source#

showStringLiteral s prepends a String representing the C string literal corresponding to s. If necessary it uses octal or hexadecimal escape sequences.

valueconcatCStrings :: [CString] -> CString

Source#

concatenate a list of C string literals

Clang C version literals

datadata ClangCVersion

Source#

Clang dotted version literal https://clang.llvm.org/docs/AttributeReference.html#availability

Constructors

ClangCVersion !String

Instances4Eq, Data, Ord, Show

Eq ClangCVersionDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Data ClangCVersionDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Ord ClangCVersionDefined in language-c-0.10.2 · Language.C.Syntax.Constants
Show ClangCVersionDefined in language-c-0.10.2 · Language.C.Syntax.Constants

valuereadClangCVersion :: String -> ClangCVersion