Copyright | (c) 2007..2008 Duncan Coutts Benedikt Huber |
---|---|
License | BSD-style |
Maintainer | benedikt.huber@gmail.com |
Stability | experimental |
Portability | ghc |
Safe Haskell | None |
Language | Haskell98 |
Language.C.Syntax.Constants
Contents
Description
This module provides support for representing, checking and exporting c constants, i.e. integral, float, character and string constants.
Synopsis
- escapeChar :: Char -> String
- unescapeChar :: String -> (Char, String)
- unescapeString :: String -> String
- newtype Flags f = Flags Integer
- noFlags :: Flags f
- setFlag :: Enum f => f -> Flags f -> Flags f
- clearFlag :: Enum f => f -> Flags f -> Flags f
- testFlag :: Enum f => f -> Flags f -> Bool
- cChar :: Char -> CChar
- cChar_w :: Char -> CChar
- cChars :: String -> Bool -> CChar
- data CChar
- getCChar :: CChar -> String
- getCCharAsInt :: CChar -> Integer
- isWideChar :: CChar -> Bool
- showCharConst :: Char -> ShowS
- data CIntFlag
- data CIntRepr
- cInteger :: Integer -> CInteger
- data CInteger = CInteger !Integer !CIntRepr !(Flags CIntFlag)
- getCInteger :: CInteger -> Integer
- readCInteger :: CIntRepr -> String -> Either String CInteger
- cFloat :: Float -> CFloat
- data CFloat = CFloat !String
- readCFloat :: String -> CFloat
- cString :: String -> CString
- cString_w :: String -> CString
- data CString = CString String Bool
- getCString :: CString -> String
- showStringLit :: String -> ShowS
- concatCStrings :: [CString] -> CString
- data ClangCVersion = ClangCVersion !String
- readClangCVersion :: String -> ClangCVersion
Utilities
escapeChar :: Char -> String Source #
unescapeString :: String -> String Source #
Instances
Eq (Flags f) Source # | |
Data f => Data (Flags f) Source # | |
Defined in Language.C.Syntax.Constants Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Flags f -> c (Flags f) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Flags f) Source # toConstr :: Flags f -> Constr Source # dataTypeOf :: Flags f -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Flags f)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Flags f)) Source # gmapT :: (forall b. Data b => b -> b) -> Flags f -> Flags f Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Flags f -> r Source # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Flags f -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Flags f -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Flags f -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Flags f -> m (Flags f) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Flags f -> m (Flags f) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Flags f -> m (Flags f) Source # | |
Ord (Flags f) Source # | |
Defined in Language.C.Syntax.Constants | |
Generic (Flags f) Source # | |
NFData (Flags f) Source # | |
Defined in Language.C.Syntax.Constants | |
Generic1 Flags Source # | |
type Rep (Flags f) Source # | |
Defined in Language.C.Syntax.Constants | |
type Rep1 Flags Source # | |
Defined in Language.C.Syntax.Constants |
C char constants (and multi-character character constants)
cChar :: Char -> CChar Source #
construct a character constant from a haskell Char
Use cchar_w
if you want a wide character constant.
C char constants (abstract)
Instances
getCCharAsInt :: CChar -> Integer Source #
get integer value of a C char constant undefined result for multi-char char constants
isWideChar :: CChar -> Bool Source #
return true
if the character constant is wide.
showCharConst :: 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
datatype representing type flags for integers
Constructors
FlagUnsigned | |
FlagLong | |
FlagLongLong | |
FlagImag |
Instances
datatype for memorizing the representation of an integer
Instances
cInteger :: Integer -> CInteger Source #
construct a integer constant (without type flags) from a haskell integer
Instances
getCInteger :: CInteger -> Integer Source #
C floating point constants
Floats (represented as strings)
Instances
Eq CFloat Source # | |
Data CFloat Source # | |
Defined in Language.C.Syntax.Constants Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CFloat -> c CFloat Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CFloat Source # toConstr :: CFloat -> Constr Source # dataTypeOf :: CFloat -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CFloat) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CFloat) Source # gmapT :: (forall b. Data b => b -> b) -> CFloat -> CFloat Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CFloat -> r Source # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CFloat -> r Source # gmapQ :: (forall d. Data d => d -> u) -> CFloat -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> CFloat -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CFloat -> m CFloat Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CFloat -> m CFloat Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CFloat -> m CFloat Source # | |
Ord CFloat Source # | |
Show CFloat Source # | |
Generic CFloat Source # | |
NFData CFloat Source # | |
Defined in Language.C.Syntax.Constants | |
type Rep CFloat Source # | |
Defined in Language.C.Syntax.Constants |
readCFloat :: String -> CFloat Source #
C string literals
C String literals
Instances
Eq CString Source # | |
Data CString Source # | |
Defined in Language.C.Syntax.Constants Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CString -> c CString Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CString Source # toConstr :: CString -> Constr Source # dataTypeOf :: CString -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CString) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CString) Source # gmapT :: (forall b. Data b => b -> b) -> CString -> CString Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CString -> r Source # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CString -> r Source # gmapQ :: (forall d. Data d => d -> u) -> CString -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> CString -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CString -> m CString Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CString -> m CString Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CString -> m CString Source # | |
Ord CString Source # | |
Defined in Language.C.Syntax.Constants | |
Show CString Source # | |
Generic CString Source # | |
NFData CString Source # | |
Defined in Language.C.Syntax.Constants | |
type Rep CString Source # | |
Defined in Language.C.Syntax.Constants type Rep CString = D1 (MetaData "CString" "Language.C.Syntax.Constants" "language-c-0.8.2-9HCycZN4u9o56U8HdwrRHa" False) (C1 (MetaCons "CString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) |
getCString :: CString -> String Source #
showStringLit :: 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.
concatCStrings :: [CString] -> CString Source #
concatenate a list of C string literals
Clang C version literals
data ClangCVersion Source #
Clang dotted version literal https://clang.llvm.org/docs/AttributeReference.html#availability
Constructors
ClangCVersion !String |