Copyright	Copyright (c) 2016 the Hakaru team
License	BSD3
Maintainer	zsulliva@indiana.edu
Stability	experimental
Portability	GHC-only An AST for the C Family and preprocessor. Much of this was originally based
Safe Haskell	Safe
Language	Haskell2010

Language.Hakaru.CodeGen.AST

Description

on Manuel M T Chakravarty and Benedikt Hubar's "language-c" package.

It is an AST for the C99 standard and should compile with the -pedantic flag

Documentation

data Preprocessor Source #

Constructors

PPDefine String String
PPInclude String
PPUndef String
PPIf String
PPIfDef String
PPIfNDef String
PPElse String
PPElif String
PPEndif String
PPError String
PPPragma [String]

Instances

Eq Preprocessor Source #
Instance details Methods (==) :: Preprocessor -> Preprocessor -> Bool # (/=) :: Preprocessor -> Preprocessor -> Bool #
Ord Preprocessor Source #
Instance details Methods compare :: Preprocessor -> Preprocessor -> Ordering # (<) :: Preprocessor -> Preprocessor -> Bool # (<=) :: Preprocessor -> Preprocessor -> Bool # (>) :: Preprocessor -> Preprocessor -> Bool # (>=) :: Preprocessor -> Preprocessor -> Bool # max :: Preprocessor -> Preprocessor -> Preprocessor # min :: Preprocessor -> Preprocessor -> Preprocessor #
Show Preprocessor Source #
Instance details Methods showsPrec :: Int -> Preprocessor -> ShowS # show :: Preprocessor -> String # showList :: [Preprocessor] -> ShowS #
Pretty Preprocessor Source #
Instance details Methods pretty :: Preprocessor -> Doc Source # prettyPrec :: Int -> Preprocessor -> Doc

data Ident Source #

Constructors

Ident String

Instances

Eq Ident Source #
Instance details Methods (==) :: Ident -> Ident -> Bool # (/=) :: Ident -> Ident -> Bool #
Ord Ident Source #
Instance details Methods compare :: Ident -> Ident -> Ordering # (<) :: Ident -> Ident -> Bool # (<=) :: Ident -> Ident -> Bool # (>) :: Ident -> Ident -> Bool # (>=) :: Ident -> Ident -> Bool # max :: Ident -> Ident -> Ident # min :: Ident -> Ident -> Ident #
Show Ident Source #
Instance details Methods showsPrec :: Int -> Ident -> ShowS # show :: Ident -> String # showList :: [Ident] -> ShowS #
Pretty Ident Source #
Instance details Methods pretty :: Ident -> Doc Source # prettyPrec :: Int -> Ident -> Doc

data CAST Source #

Constructors

CAST [CExtDecl]

Instances

Eq CAST Source #
Instance details Methods (==) :: CAST -> CAST -> Bool # (/=) :: CAST -> CAST -> Bool #
Ord CAST Source #
Instance details Methods compare :: CAST -> CAST -> Ordering # (<) :: CAST -> CAST -> Bool # (<=) :: CAST -> CAST -> Bool # (>) :: CAST -> CAST -> Bool # (>=) :: CAST -> CAST -> Bool # max :: CAST -> CAST -> CAST # min :: CAST -> CAST -> CAST #
Show CAST Source #
Instance details Methods showsPrec :: Int -> CAST -> ShowS # show :: CAST -> String # showList :: [CAST] -> ShowS #
Pretty CAST Source #
Instance details Methods pretty :: CAST -> Doc Source # prettyPrec :: Int -> CAST -> Doc

data CExtDecl Source #

Constructors

CDeclExt CDecl
CFunDefExt CFunDef
CCommentExt String
CPPExt Preprocessor

Instances

Eq CExtDecl Source #
Instance details Methods (==) :: CExtDecl -> CExtDecl -> Bool # (/=) :: CExtDecl -> CExtDecl -> Bool #
Ord CExtDecl Source #
Instance details Methods compare :: CExtDecl -> CExtDecl -> Ordering # (<) :: CExtDecl -> CExtDecl -> Bool # (<=) :: CExtDecl -> CExtDecl -> Bool # (>) :: CExtDecl -> CExtDecl -> Bool # (>=) :: CExtDecl -> CExtDecl -> Bool # max :: CExtDecl -> CExtDecl -> CExtDecl # min :: CExtDecl -> CExtDecl -> CExtDecl #
Show CExtDecl Source #
Instance details Methods showsPrec :: Int -> CExtDecl -> ShowS # show :: CExtDecl -> String # showList :: [CExtDecl] -> ShowS #
Pretty CExtDecl Source #
Instance details Methods pretty :: CExtDecl -> Doc Source # prettyPrec :: Int -> CExtDecl -> Doc

data CFunDef Source #

Constructors

CFunDef [CDeclSpec] CDeclr [CDecl] CStat

Instances

Eq CFunDef Source #
Instance details Methods (==) :: CFunDef -> CFunDef -> Bool # (/=) :: CFunDef -> CFunDef -> Bool #
Ord CFunDef Source #
Instance details Methods compare :: CFunDef -> CFunDef -> Ordering # (<) :: CFunDef -> CFunDef -> Bool # (<=) :: CFunDef -> CFunDef -> Bool # (>) :: CFunDef -> CFunDef -> Bool # (>=) :: CFunDef -> CFunDef -> Bool # max :: CFunDef -> CFunDef -> CFunDef # min :: CFunDef -> CFunDef -> CFunDef #
Show CFunDef Source #
Instance details Methods showsPrec :: Int -> CFunDef -> ShowS # show :: CFunDef -> String # showList :: [CFunDef] -> ShowS #
Pretty CFunDef Source #
Instance details Methods pretty :: CFunDef -> Doc Source # prettyPrec :: Int -> CFunDef -> Doc

data CDecl Source #

Constructors

CDecl [CDeclSpec] [(CDeclr, Maybe CInit)]

Instances

Eq CDecl Source #
Instance details Methods (==) :: CDecl -> CDecl -> Bool # (/=) :: CDecl -> CDecl -> Bool #
Ord CDecl Source #
Instance details Methods compare :: CDecl -> CDecl -> Ordering # (<) :: CDecl -> CDecl -> Bool # (<=) :: CDecl -> CDecl -> Bool # (>) :: CDecl -> CDecl -> Bool # (>=) :: CDecl -> CDecl -> Bool # max :: CDecl -> CDecl -> CDecl # min :: CDecl -> CDecl -> CDecl #
Show CDecl Source #
Instance details Methods showsPrec :: Int -> CDecl -> ShowS # show :: CDecl -> String # showList :: [CDecl] -> ShowS #
Pretty CDecl Source #
Instance details Methods pretty :: CDecl -> Doc Source # prettyPrec :: Int -> CDecl -> Doc

data CDeclr Source #

Constructors

CDeclr (Maybe CPtrDeclr) CDirectDeclr

Instances

Eq CDeclr Source #
Instance details Methods (==) :: CDeclr -> CDeclr -> Bool # (/=) :: CDeclr -> CDeclr -> Bool #
Ord CDeclr Source #
Instance details Methods compare :: CDeclr -> CDeclr -> Ordering # (<) :: CDeclr -> CDeclr -> Bool # (<=) :: CDeclr -> CDeclr -> Bool # (>) :: CDeclr -> CDeclr -> Bool # (>=) :: CDeclr -> CDeclr -> Bool # max :: CDeclr -> CDeclr -> CDeclr # min :: CDeclr -> CDeclr -> CDeclr #
Show CDeclr Source #
Instance details Methods showsPrec :: Int -> CDeclr -> ShowS # show :: CDeclr -> String # showList :: [CDeclr] -> ShowS #
Pretty CDeclr Source #
Instance details Methods pretty :: CDeclr -> Doc Source # prettyPrec :: Int -> CDeclr -> Doc

data CDeclSpec Source #

Constructors

CStorageSpec CStorageSpec
CTypeSpec CTypeSpec
CTypeQual CTypeQual
CFunSpec CFunSpec

Instances

Eq CDeclSpec Source #
Instance details Methods (==) :: CDeclSpec -> CDeclSpec -> Bool # (/=) :: CDeclSpec -> CDeclSpec -> Bool #
Ord CDeclSpec Source #
Instance details Methods compare :: CDeclSpec -> CDeclSpec -> Ordering # (<) :: CDeclSpec -> CDeclSpec -> Bool # (<=) :: CDeclSpec -> CDeclSpec -> Bool # (>) :: CDeclSpec -> CDeclSpec -> Bool # (>=) :: CDeclSpec -> CDeclSpec -> Bool # max :: CDeclSpec -> CDeclSpec -> CDeclSpec # min :: CDeclSpec -> CDeclSpec -> CDeclSpec #
Show CDeclSpec Source #
Instance details Methods showsPrec :: Int -> CDeclSpec -> ShowS # show :: CDeclSpec -> String # showList :: [CDeclSpec] -> ShowS #
Pretty CDeclSpec Source #
Instance details Methods pretty :: CDeclSpec -> Doc Source # prettyPrec :: Int -> CDeclSpec -> Doc

data CStorageSpec Source #

Constructors

CTypeDef
CExtern
CStatic
CAuto
CRegister

Instances

Eq CStorageSpec Source #
Instance details Methods (==) :: CStorageSpec -> CStorageSpec -> Bool # (/=) :: CStorageSpec -> CStorageSpec -> Bool #
Ord CStorageSpec Source #
Instance details Methods compare :: CStorageSpec -> CStorageSpec -> Ordering # (<) :: CStorageSpec -> CStorageSpec -> Bool # (<=) :: CStorageSpec -> CStorageSpec -> Bool # (>) :: CStorageSpec -> CStorageSpec -> Bool # (>=) :: CStorageSpec -> CStorageSpec -> Bool # max :: CStorageSpec -> CStorageSpec -> CStorageSpec # min :: CStorageSpec -> CStorageSpec -> CStorageSpec #
Show CStorageSpec Source #
Instance details Methods showsPrec :: Int -> CStorageSpec -> ShowS # show :: CStorageSpec -> String # showList :: [CStorageSpec] -> ShowS #
Pretty CStorageSpec Source #
Instance details Methods pretty :: CStorageSpec -> Doc Source # prettyPrec :: Int -> CStorageSpec -> Doc

data CTypeQual Source #

Constructors

CConstQual
CVolatQual

Instances

Eq CTypeQual Source #
Instance details Methods (==) :: CTypeQual -> CTypeQual -> Bool # (/=) :: CTypeQual -> CTypeQual -> Bool #
Ord CTypeQual Source #
Instance details Methods compare :: CTypeQual -> CTypeQual -> Ordering # (<) :: CTypeQual -> CTypeQual -> Bool # (<=) :: CTypeQual -> CTypeQual -> Bool # (>) :: CTypeQual -> CTypeQual -> Bool # (>=) :: CTypeQual -> CTypeQual -> Bool # max :: CTypeQual -> CTypeQual -> CTypeQual # min :: CTypeQual -> CTypeQual -> CTypeQual #
Show CTypeQual Source #
Instance details Methods showsPrec :: Int -> CTypeQual -> ShowS # show :: CTypeQual -> String # showList :: [CTypeQual] -> ShowS #
Pretty CTypeQual Source #
Instance details Methods pretty :: CTypeQual -> Doc Source # prettyPrec :: Int -> CTypeQual -> Doc

data CDirectDeclr Source #

Constructors

CDDeclrIdent Ident
CDDeclrArr CDirectDeclr (Maybe CExpr)
CDDeclrFun CDirectDeclr [[CTypeSpec]]
CDDeclrRec CDeclr

Instances

Eq CDirectDeclr Source #
Instance details Methods (==) :: CDirectDeclr -> CDirectDeclr -> Bool # (/=) :: CDirectDeclr -> CDirectDeclr -> Bool #
Ord CDirectDeclr Source #
Instance details Methods compare :: CDirectDeclr -> CDirectDeclr -> Ordering # (<) :: CDirectDeclr -> CDirectDeclr -> Bool # (<=) :: CDirectDeclr -> CDirectDeclr -> Bool # (>) :: CDirectDeclr -> CDirectDeclr -> Bool # (>=) :: CDirectDeclr -> CDirectDeclr -> Bool # max :: CDirectDeclr -> CDirectDeclr -> CDirectDeclr # min :: CDirectDeclr -> CDirectDeclr -> CDirectDeclr #
Show CDirectDeclr Source #
Instance details Methods showsPrec :: Int -> CDirectDeclr -> ShowS # show :: CDirectDeclr -> String # showList :: [CDirectDeclr] -> ShowS #
Pretty CDirectDeclr Source #
Instance details Methods pretty :: CDirectDeclr -> Doc Source # prettyPrec :: Int -> CDirectDeclr -> Doc

data CTypeSpec Source #

Constructors

CVoid
CChar
CShort
CInt
CLong
CFloat
CDouble
CSigned
CUnsigned
CSUType CSUSpec
CTypeDefType Ident
CEnumType CEnum

Instances

Eq CTypeSpec Source #
Instance details Methods (==) :: CTypeSpec -> CTypeSpec -> Bool # (/=) :: CTypeSpec -> CTypeSpec -> Bool #
Ord CTypeSpec Source #
Instance details Methods compare :: CTypeSpec -> CTypeSpec -> Ordering # (<) :: CTypeSpec -> CTypeSpec -> Bool # (<=) :: CTypeSpec -> CTypeSpec -> Bool # (>) :: CTypeSpec -> CTypeSpec -> Bool # (>=) :: CTypeSpec -> CTypeSpec -> Bool # max :: CTypeSpec -> CTypeSpec -> CTypeSpec # min :: CTypeSpec -> CTypeSpec -> CTypeSpec #
Show CTypeSpec Source #
Instance details Methods showsPrec :: Int -> CTypeSpec -> ShowS # show :: CTypeSpec -> String # showList :: [CTypeSpec] -> ShowS #
Pretty CTypeSpec Source #
Instance details Methods pretty :: CTypeSpec -> Doc Source # prettyPrec :: Int -> CTypeSpec -> Doc

data CTypeName Source #

Constructors

CTypeName [CTypeSpec] Bool

Instances

Eq CTypeName Source #
Instance details Methods (==) :: CTypeName -> CTypeName -> Bool # (/=) :: CTypeName -> CTypeName -> Bool #
Ord CTypeName Source #
Instance details Methods compare :: CTypeName -> CTypeName -> Ordering # (<) :: CTypeName -> CTypeName -> Bool # (<=) :: CTypeName -> CTypeName -> Bool # (>) :: CTypeName -> CTypeName -> Bool # (>=) :: CTypeName -> CTypeName -> Bool # max :: CTypeName -> CTypeName -> CTypeName # min :: CTypeName -> CTypeName -> CTypeName #
Show CTypeName Source #
Instance details Methods showsPrec :: Int -> CTypeName -> ShowS # show :: CTypeName -> String # showList :: [CTypeName] -> ShowS #
Pretty CTypeName Source #
Instance details Methods pretty :: CTypeName -> Doc Source # prettyPrec :: Int -> CTypeName -> Doc

data CSUSpec Source #

Constructors

CSUSpec CSUTag (Maybe Ident) [CDecl]

Instances

Eq CSUSpec Source #
Instance details Methods (==) :: CSUSpec -> CSUSpec -> Bool # (/=) :: CSUSpec -> CSUSpec -> Bool #
Ord CSUSpec Source #
Instance details Methods compare :: CSUSpec -> CSUSpec -> Ordering # (<) :: CSUSpec -> CSUSpec -> Bool # (<=) :: CSUSpec -> CSUSpec -> Bool # (>) :: CSUSpec -> CSUSpec -> Bool # (>=) :: CSUSpec -> CSUSpec -> Bool # max :: CSUSpec -> CSUSpec -> CSUSpec # min :: CSUSpec -> CSUSpec -> CSUSpec #
Show CSUSpec Source #
Instance details Methods showsPrec :: Int -> CSUSpec -> ShowS # show :: CSUSpec -> String # showList :: [CSUSpec] -> ShowS #
Pretty CSUSpec Source #
Instance details Methods pretty :: CSUSpec -> Doc Source # prettyPrec :: Int -> CSUSpec -> Doc

data CSUTag Source #

Constructors

CStructTag
CUnionTag

Instances

Eq CSUTag Source #
Instance details Methods (==) :: CSUTag -> CSUTag -> Bool # (/=) :: CSUTag -> CSUTag -> Bool #
Ord CSUTag Source #
Instance details Methods compare :: CSUTag -> CSUTag -> Ordering # (<) :: CSUTag -> CSUTag -> Bool # (<=) :: CSUTag -> CSUTag -> Bool # (>) :: CSUTag -> CSUTag -> Bool # (>=) :: CSUTag -> CSUTag -> Bool # max :: CSUTag -> CSUTag -> CSUTag # min :: CSUTag -> CSUTag -> CSUTag #
Show CSUTag Source #
Instance details Methods showsPrec :: Int -> CSUTag -> ShowS # show :: CSUTag -> String # showList :: [CSUTag] -> ShowS #
Pretty CSUTag Source #
Instance details Methods pretty :: CSUTag -> Doc Source # prettyPrec :: Int -> CSUTag -> Doc

data CEnum Source #

Constructors

CEnum (Maybe Ident) [(Ident, Maybe CExpr)]

Instances

Eq CEnum Source #
Instance details Methods (==) :: CEnum -> CEnum -> Bool # (/=) :: CEnum -> CEnum -> Bool #
Ord CEnum Source #
Instance details Methods compare :: CEnum -> CEnum -> Ordering # (<) :: CEnum -> CEnum -> Bool # (<=) :: CEnum -> CEnum -> Bool # (>) :: CEnum -> CEnum -> Bool # (>=) :: CEnum -> CEnum -> Bool # max :: CEnum -> CEnum -> CEnum # min :: CEnum -> CEnum -> CEnum #
Show CEnum Source #
Instance details Methods showsPrec :: Int -> CEnum -> ShowS # show :: CEnum -> String # showList :: [CEnum] -> ShowS #
Pretty CEnum Source #
Instance details Methods pretty :: CEnum -> Doc Source # prettyPrec :: Int -> CEnum -> Doc

data CInit Source #

Constructors

CInitExpr CExpr
CInitList [([CPartDesig], CInit)]

Instances

Eq CInit Source #
Instance details Methods (==) :: CInit -> CInit -> Bool # (/=) :: CInit -> CInit -> Bool #
Ord CInit Source #
Instance details Methods compare :: CInit -> CInit -> Ordering # (<) :: CInit -> CInit -> Bool # (<=) :: CInit -> CInit -> Bool # (>) :: CInit -> CInit -> Bool # (>=) :: CInit -> CInit -> Bool # max :: CInit -> CInit -> CInit # min :: CInit -> CInit -> CInit #
Show CInit Source #
Instance details Methods showsPrec :: Int -> CInit -> ShowS # show :: CInit -> String # showList :: [CInit] -> ShowS #
Pretty CInit Source #
Instance details Methods pretty :: CInit -> Doc Source # prettyPrec :: Int -> CInit -> Doc

data CPartDesig Source #

Constructors

CArrDesig CExpr
CMemberDesig CExpr

Instances

Eq CPartDesig Source #
Instance details Methods (==) :: CPartDesig -> CPartDesig -> Bool # (/=) :: CPartDesig -> CPartDesig -> Bool #
Ord CPartDesig Source #
Instance details Methods compare :: CPartDesig -> CPartDesig -> Ordering # (<) :: CPartDesig -> CPartDesig -> Bool # (<=) :: CPartDesig -> CPartDesig -> Bool # (>) :: CPartDesig -> CPartDesig -> Bool # (>=) :: CPartDesig -> CPartDesig -> Bool # max :: CPartDesig -> CPartDesig -> CPartDesig # min :: CPartDesig -> CPartDesig -> CPartDesig #
Show CPartDesig Source #
Instance details Methods showsPrec :: Int -> CPartDesig -> ShowS # show :: CPartDesig -> String # showList :: [CPartDesig] -> ShowS #
Pretty CPartDesig Source #
Instance details Methods pretty :: CPartDesig -> Doc Source # prettyPrec :: Int -> CPartDesig -> Doc

data CFunSpec Source #

Constructors

Inline

Instances

Eq CFunSpec Source #
Instance details Methods (==) :: CFunSpec -> CFunSpec -> Bool # (/=) :: CFunSpec -> CFunSpec -> Bool #
Ord CFunSpec Source #
Instance details Methods compare :: CFunSpec -> CFunSpec -> Ordering # (<) :: CFunSpec -> CFunSpec -> Bool # (<=) :: CFunSpec -> CFunSpec -> Bool # (>) :: CFunSpec -> CFunSpec -> Bool # (>=) :: CFunSpec -> CFunSpec -> Bool # max :: CFunSpec -> CFunSpec -> CFunSpec # min :: CFunSpec -> CFunSpec -> CFunSpec #
Show CFunSpec Source #
Instance details Methods showsPrec :: Int -> CFunSpec -> ShowS # show :: CFunSpec -> String # showList :: [CFunSpec] -> ShowS #

data CPtrDeclr Source #

Constructors

CPtrDeclr [CTypeQual]

Instances

Eq CPtrDeclr Source #
Instance details Methods (==) :: CPtrDeclr -> CPtrDeclr -> Bool # (/=) :: CPtrDeclr -> CPtrDeclr -> Bool #
Ord CPtrDeclr Source #
Instance details Methods compare :: CPtrDeclr -> CPtrDeclr -> Ordering # (<) :: CPtrDeclr -> CPtrDeclr -> Bool # (<=) :: CPtrDeclr -> CPtrDeclr -> Bool # (>) :: CPtrDeclr -> CPtrDeclr -> Bool # (>=) :: CPtrDeclr -> CPtrDeclr -> Bool # max :: CPtrDeclr -> CPtrDeclr -> CPtrDeclr # min :: CPtrDeclr -> CPtrDeclr -> CPtrDeclr #
Show CPtrDeclr Source #
Instance details Methods showsPrec :: Int -> CPtrDeclr -> ShowS # show :: CPtrDeclr -> String # showList :: [CPtrDeclr] -> ShowS #
Pretty CPtrDeclr Source #
Instance details Methods pretty :: CPtrDeclr -> Doc Source # prettyPrec :: Int -> CPtrDeclr -> Doc

data CStat Source #

Constructors

CLabel Ident CStat
CGoto Ident
CSwitch CExpr CStat
CCase CExpr CStat
CDefault CStat
CExpr (Maybe CExpr)
CCompound [CCompoundBlockItem]
CIf CExpr CStat (Maybe CStat)
CWhile CExpr CStat Bool
CFor (Maybe CExpr) (Maybe CExpr) (Maybe CExpr) CStat
CCont
CBreak
CReturn (Maybe CExpr)
CComment String
CPPStat Preprocessor

Instances

Eq CStat Source #
Instance details Methods (==) :: CStat -> CStat -> Bool # (/=) :: CStat -> CStat -> Bool #
Ord CStat Source #
Instance details Methods compare :: CStat -> CStat -> Ordering # (<) :: CStat -> CStat -> Bool # (<=) :: CStat -> CStat -> Bool # (>) :: CStat -> CStat -> Bool # (>=) :: CStat -> CStat -> Bool # max :: CStat -> CStat -> CStat # min :: CStat -> CStat -> CStat #
Show CStat Source #
Instance details Methods showsPrec :: Int -> CStat -> ShowS # show :: CStat -> String # showList :: [CStat] -> ShowS #
Pretty CStat Source #
Instance details Methods pretty :: CStat -> Doc Source # prettyPrec :: Int -> CStat -> Doc

data CCompoundBlockItem Source #

Constructors

CBlockStat CStat
CBlockDecl CDecl

Instances

Eq CCompoundBlockItem Source #
Instance details Methods (==) :: CCompoundBlockItem -> CCompoundBlockItem -> Bool # (/=) :: CCompoundBlockItem -> CCompoundBlockItem -> Bool #
Ord CCompoundBlockItem Source #
Instance details Methods compare :: CCompoundBlockItem -> CCompoundBlockItem -> Ordering # (<) :: CCompoundBlockItem -> CCompoundBlockItem -> Bool # (<=) :: CCompoundBlockItem -> CCompoundBlockItem -> Bool # (>) :: CCompoundBlockItem -> CCompoundBlockItem -> Bool # (>=) :: CCompoundBlockItem -> CCompoundBlockItem -> Bool # max :: CCompoundBlockItem -> CCompoundBlockItem -> CCompoundBlockItem # min :: CCompoundBlockItem -> CCompoundBlockItem -> CCompoundBlockItem #
Show CCompoundBlockItem Source #
Instance details Methods showsPrec :: Int -> CCompoundBlockItem -> ShowS # show :: CCompoundBlockItem -> String # showList :: [CCompoundBlockItem] -> ShowS #
Pretty CCompoundBlockItem Source #
Instance details Methods pretty :: CCompoundBlockItem -> Doc Source # prettyPrec :: Int -> CCompoundBlockItem -> Doc

data CExpr Source #

Instances

Eq CExpr Source #
Instance details Methods (==) :: CExpr -> CExpr -> Bool # (/=) :: CExpr -> CExpr -> Bool #
Ord CExpr Source #
Instance details Methods compare :: CExpr -> CExpr -> Ordering # (<) :: CExpr -> CExpr -> Bool # (<=) :: CExpr -> CExpr -> Bool # (>) :: CExpr -> CExpr -> Bool # (>=) :: CExpr -> CExpr -> Bool # max :: CExpr -> CExpr -> CExpr # min :: CExpr -> CExpr -> CExpr #
Show CExpr Source #
Instance details Methods showsPrec :: Int -> CExpr -> ShowS # show :: CExpr -> String # showList :: [CExpr] -> ShowS #
Pretty CExpr Source #
Instance details Methods pretty :: CExpr -> Doc Source # prettyPrec :: Int -> CExpr -> Doc

data CConst Source #

Constructors

CIntConst Integer
CCharConst Char
CFloatConst Float
CStringConst String

Instances

Eq CConst Source #
Instance details Methods (==) :: CConst -> CConst -> Bool # (/=) :: CConst -> CConst -> Bool #
Ord CConst Source #
Instance details Methods compare :: CConst -> CConst -> Ordering # (<) :: CConst -> CConst -> Bool # (<=) :: CConst -> CConst -> Bool # (>) :: CConst -> CConst -> Bool # (>=) :: CConst -> CConst -> Bool # max :: CConst -> CConst -> CConst # min :: CConst -> CConst -> CConst #
Show CConst Source #
Instance details Methods showsPrec :: Int -> CConst -> ShowS # show :: CConst -> String # showList :: [CConst] -> ShowS #
Pretty CConst Source #
Instance details Methods pretty :: CConst -> Doc Source # prettyPrec :: Int -> CConst -> Doc

data CUnaryOp Source #

Constructors

CPreIncOp
CPreDecOp
CPostIncOp
CPostDecOp
CAdrOp
CIndOp
CPlusOp
CMinOp
CCompOp
CNegOp

Instances

Eq CUnaryOp Source #
Instance details Methods (==) :: CUnaryOp -> CUnaryOp -> Bool # (/=) :: CUnaryOp -> CUnaryOp -> Bool #
Ord CUnaryOp Source #
Instance details Methods compare :: CUnaryOp -> CUnaryOp -> Ordering # (<) :: CUnaryOp -> CUnaryOp -> Bool # (<=) :: CUnaryOp -> CUnaryOp -> Bool # (>) :: CUnaryOp -> CUnaryOp -> Bool # (>=) :: CUnaryOp -> CUnaryOp -> Bool # max :: CUnaryOp -> CUnaryOp -> CUnaryOp # min :: CUnaryOp -> CUnaryOp -> CUnaryOp #
Show CUnaryOp Source #
Instance details Methods showsPrec :: Int -> CUnaryOp -> ShowS # show :: CUnaryOp -> String # showList :: [CUnaryOp] -> ShowS #
Pretty CUnaryOp Source #
Instance details Methods pretty :: CUnaryOp -> Doc Source # prettyPrec :: Int -> CUnaryOp -> Doc

data CBinaryOp Source #

Constructors

CMulOp
CDivOp
CRmdOp
CAddOp
CSubOp
CShlOp
CShrOp
CLeOp
CGrOp
CLeqOp
CGeqOp
CEqOp
CNeqOp
CAndOp
CXorOp
COrOp
CLndOp
CLorOp

Instances

Eq CBinaryOp Source #
Instance details Methods (==) :: CBinaryOp -> CBinaryOp -> Bool # (/=) :: CBinaryOp -> CBinaryOp -> Bool #
Ord CBinaryOp Source #
Instance details Methods compare :: CBinaryOp -> CBinaryOp -> Ordering # (<) :: CBinaryOp -> CBinaryOp -> Bool # (<=) :: CBinaryOp -> CBinaryOp -> Bool # (>) :: CBinaryOp -> CBinaryOp -> Bool # (>=) :: CBinaryOp -> CBinaryOp -> Bool # max :: CBinaryOp -> CBinaryOp -> CBinaryOp # min :: CBinaryOp -> CBinaryOp -> CBinaryOp #
Show CBinaryOp Source #
Instance details Methods showsPrec :: Int -> CBinaryOp -> ShowS # show :: CBinaryOp -> String # showList :: [CBinaryOp] -> ShowS #
Pretty CBinaryOp Source #
Instance details Methods pretty :: CBinaryOp -> Doc Source # prettyPrec :: Int -> CBinaryOp -> Doc

data CAssignOp Source #

Constructors

CAssignOp
CMulAssOp
CDivAssOp
CRmdAssOp
CAddAssOp
CSubAssOp
CShlAssOp
CShrAssOp
CAndAssOp
CXorAssOp
COrAssOp

Instances

Eq CAssignOp Source #
Instance details Methods (==) :: CAssignOp -> CAssignOp -> Bool # (/=) :: CAssignOp -> CAssignOp -> Bool #
Ord CAssignOp Source #
Instance details Methods compare :: CAssignOp -> CAssignOp -> Ordering # (<) :: CAssignOp -> CAssignOp -> Bool # (<=) :: CAssignOp -> CAssignOp -> Bool # (>) :: CAssignOp -> CAssignOp -> Bool # (>=) :: CAssignOp -> CAssignOp -> Bool # max :: CAssignOp -> CAssignOp -> CAssignOp # min :: CAssignOp -> CAssignOp -> CAssignOp #
Show CAssignOp Source #
Instance details Methods showsPrec :: Int -> CAssignOp -> ShowS # show :: CAssignOp -> String # showList :: [CAssignOp] -> ShowS #
Pretty CAssignOp Source #
Instance details Methods pretty :: CAssignOp -> Doc Source # prettyPrec :: Int -> CAssignOp -> Doc

(.>.) :: CExpr -> CExpr -> CExpr Source #

(.<.) :: CExpr -> CExpr -> CExpr Source #

(.==.) :: CExpr -> CExpr -> CExpr Source #

(.!=.) :: CExpr -> CExpr -> CExpr Source #

(.||.) :: CExpr -> CExpr -> CExpr Source #

(.&&.) :: CExpr -> CExpr -> CExpr Source #

(.*.) :: CExpr -> CExpr -> CExpr Source #

(./.) :: CExpr -> CExpr -> CExpr Source #

(.-.) :: CExpr -> CExpr -> CExpr Source #

(.+.) :: CExpr -> CExpr -> CExpr Source #

(.=.) :: CExpr -> CExpr -> CExpr Source #

(.+=.) :: CExpr -> CExpr -> CExpr Source #

(.*=.) :: CExpr -> CExpr -> CExpr Source #

(.>=.) :: CExpr -> CExpr -> CExpr Source #

(.<=.) :: CExpr -> CExpr -> CExpr Source #

(...) :: CExpr -> String -> CExpr Source #

(.->.) :: CExpr -> String -> CExpr Source #

seqCStat :: [CStat] -> CStat Source #

indirect :: CExpr -> CExpr Source #

address :: CExpr -> CExpr Source #

index :: CExpr -> CExpr -> CExpr Source #

intE :: Integer -> CExpr Source #

charE :: Char -> CExpr Source #

floatE :: Float -> CExpr Source #

stringE :: String -> CExpr Source #

mkCallE :: String -> [CExpr] -> CExpr Source #

mkUnaryE :: String -> CExpr -> CExpr Source #

nullE :: CExpr Source #

cNameStream :: [String] Source #

CComma [CExpr]
CAssign CAssignOp CExpr CExpr
CCond CExpr CExpr CExpr
CBinary CBinaryOp CExpr CExpr
CCast CTypeName CExpr
CUnary CUnaryOp CExpr
CSizeOfExpr CExpr
CSizeOfType CTypeName
CIndex CExpr CExpr
CCall CExpr [CExpr]
CMember CExpr Ident Bool
CVar Ident
CConstant CConst
CCompoundLit CDecl CInit