Modulelanguage-c-0.10.2Haskell2010

Language.C.Syntax.Ops

Unary, binary and asssignment operators. Exported via AST.

Contents

Assignment operators
Binary operators
Unary operators

Synopsis

data CAssignOp
value assignBinop
data CBinaryOp
value isCmpOp
value isPtrOp
value isBitOp
value isLogicOp
data CUnaryOp
value isEffectfulOp

Packagelanguage-c-0.10.2
Exports9
LanguageHaskell2010
LicenceBSD-3-Clause
SourceOps.hs

Assignment operators

datadata CAssignOp

Source#

C assignment operators (K&R A7.17)

Constructors

CAssignOp
CMulAssOp
CDivAssOp
CRmdAssOp
remainder and assignment
CAddAssOp
CSubAssOp
CShlAssOp
CShrAssOp
CAndAssOp
CXorAssOp
COrAssOp

Instances8Eq, Data, Ord, Show, Generic, NFData, …

Eq CAssignOpDefined in language-c-0.10.2 · Language.C.Syntax.Ops
Data CAssignOpDefined in language-c-0.10.2 · Language.C.Syntax.Ops
Ord CAssignOpDefined in language-c-0.10.2 · Language.C.Syntax.Ops
Show CAssignOpDefined in language-c-0.10.2 · Language.C.Syntax.Ops
Generic CAssignOpDefined in language-c-0.10.2 · Language.C.Syntax.Ops
NFData CAssignOpDefined in language-c-0.10.2 · Language.C.Syntax.Ops
Pretty CAssignOpDefined in language-c-0.10.2 · Language.C.Pretty
type Rep CAssignOp = D1 ('MetaData "CAssignOp" "Language.C.Syntax.Ops" "language-c-0.10.2-GV9xFXxPCjFBov5bgCAm25" 'False) (((C1 ('MetaCons "CAssignOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "CMulAssOp" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "CDivAssOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "CRmdAssOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "CAddAssOp" 'PrefixI 'False) U1))) :+: ((C1 ('MetaCons "CSubAssOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "CShlAssOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "CShrAssOp" 'PrefixI 'False) U1)) :+: (C1 ('MetaCons "CAndAssOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "CXorAssOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "COrAssOp" 'PrefixI 'False) U1))))Defined in language-c-0.10.2 · Language.C.Syntax.Ops

valueassignBinop :: CAssignOp -> CBinaryOp

Binary operators

datadata CBinaryOp

Source#

C binary operators (K&R A7.6-15)

Constructors

CMulOp
CDivOp
CRmdOp
remainder of division
CAddOp
CSubOp
CShlOp
shift left
CShrOp
shift right
CLeOp
less
CGrOp
greater
CLeqOp
less or equal
CGeqOp
greater or equal
CEqOp
equal
CNeqOp
not equal
CAndOp
bitwise and
CXorOp
exclusive bitwise or
COrOp
inclusive bitwise or
CLndOp
logical and
CLorOp
logical or

Instances8Eq, Data, Ord, Show, Generic, NFData, …

Eq CBinaryOpDefined in language-c-0.10.2 · Language.C.Syntax.Ops
Data CBinaryOpDefined in language-c-0.10.2 · Language.C.Syntax.Ops
Ord CBinaryOpDefined in language-c-0.10.2 · Language.C.Syntax.Ops
Show CBinaryOpDefined in language-c-0.10.2 · Language.C.Syntax.Ops
Generic CBinaryOpDefined in language-c-0.10.2 · Language.C.Syntax.Ops
NFData CBinaryOpDefined in language-c-0.10.2 · Language.C.Syntax.Ops
Pretty CBinaryOpDefined in language-c-0.10.2 · Language.C.Pretty
type Rep CBinaryOp = D1 ('MetaData "CBinaryOp" "Language.C.Syntax.Ops" "language-c-0.10.2-GV9xFXxPCjFBov5bgCAm25" 'False) ((((C1 ('MetaCons "CMulOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "CDivOp" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "CRmdOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "CAddOp" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "CSubOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "CShlOp" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "CShrOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "CLeOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "CGrOp" 'PrefixI 'False) U1)))) :+: (((C1 ('MetaCons "CLeqOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "CGeqOp" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "CEqOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "CNeqOp" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "CAndOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "CXorOp" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "COrOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "CLndOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "CLorOp" 'PrefixI 'False) U1)))))Defined in language-c-0.10.2 · Language.C.Syntax.Ops

valueisCmpOp :: CBinaryOp -> Bool

valueisPtrOp :: CBinaryOp -> Bool

valueisBitOp :: CBinaryOp -> Bool

valueisLogicOp :: CBinaryOp -> Bool

Unary operators

datadata CUnaryOp

Source#

C unary operator (K&R A7.3-4)

Constructors

CPreIncOp
prefix increment operator
CPreDecOp
prefix decrement operator
CPostIncOp
postfix increment operator
CPostDecOp
postfix decrement operator
CAdrOp
address operator
CIndOp
indirection operator
CPlusOp
prefix plus
CMinOp
prefix minus
CCompOp
one's complement
CNegOp
logical negation

Instances8Eq, Data, Ord, Show, Generic, NFData, …

Eq CUnaryOpDefined in language-c-0.10.2 · Language.C.Syntax.Ops
Data CUnaryOpDefined in language-c-0.10.2 · Language.C.Syntax.Ops
Ord CUnaryOpDefined in language-c-0.10.2 · Language.C.Syntax.Ops
Show CUnaryOpDefined in language-c-0.10.2 · Language.C.Syntax.Ops
Generic CUnaryOpDefined in language-c-0.10.2 · Language.C.Syntax.Ops
NFData CUnaryOpDefined in language-c-0.10.2 · Language.C.Syntax.Ops
Pretty CUnaryOpDefined in language-c-0.10.2 · Language.C.Pretty
type Rep CUnaryOp = D1 ('MetaData "CUnaryOp" "Language.C.Syntax.Ops" "language-c-0.10.2-GV9xFXxPCjFBov5bgCAm25" 'False) (((C1 ('MetaCons "CPreIncOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "CPreDecOp" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "CPostIncOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "CPostDecOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "CAdrOp" 'PrefixI 'False) U1))) :+: ((C1 ('MetaCons "CIndOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "CPlusOp" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "CMinOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "CCompOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "CNegOp" 'PrefixI 'False) U1))))Defined in language-c-0.10.2 · Language.C.Syntax.Ops

valueisEffectfulOp :: CUnaryOp -> Bool