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-Inferred
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

Instances details

Eq Preprocessor Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: Preprocessor -> Preprocessor -> Bool # (/=) :: Preprocessor -> Preprocessor -> Bool #
Ord Preprocessor Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> Preprocessor -> ShowS # show :: Preprocessor -> String # showList :: [Preprocessor] -> ShowS #
Pretty Preprocessor Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty Methods pretty :: Preprocessor -> Doc Source # prettyPrec :: Int -> Preprocessor -> Doc

data Ident Source #

Constructors

Ident String

Instances

Instances details

Eq Ident Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: Ident -> Ident -> Bool # (/=) :: Ident -> Ident -> Bool #
Ord Ident Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> Ident -> ShowS # show :: Ident -> String # showList :: [Ident] -> ShowS #
Pretty Ident Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty Methods pretty :: Ident -> Doc Source # prettyPrec :: Int -> Ident -> Doc

data CAST Source #

Constructors

CAST [CExtDecl]

Instances

Instances details

Eq CAST Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CAST -> CAST -> Bool # (/=) :: CAST -> CAST -> Bool #
Ord CAST Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CAST -> ShowS # show :: CAST -> String # showList :: [CAST] -> ShowS #
Pretty CAST Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty Methods pretty :: CAST -> Doc Source # prettyPrec :: Int -> CAST -> Doc

data CExtDecl Source #

Constructors

CDeclExt CDecl
CFunDefExt CFunDef
CCommentExt String
CPPExt Preprocessor

Instances

Instances details

Eq CExtDecl Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CExtDecl -> CExtDecl -> Bool # (/=) :: CExtDecl -> CExtDecl -> Bool #
Ord CExtDecl Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CExtDecl -> ShowS # show :: CExtDecl -> String # showList :: [CExtDecl] -> ShowS #
Pretty CExtDecl Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty Methods pretty :: CExtDecl -> Doc Source # prettyPrec :: Int -> CExtDecl -> Doc

data CFunDef Source #

Constructors

CFunDef [CDeclSpec] CDeclr [CDecl] CStat

Instances

Instances details

Eq CFunDef Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CFunDef -> CFunDef -> Bool # (/=) :: CFunDef -> CFunDef -> Bool #
Ord CFunDef Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CFunDef -> ShowS # show :: CFunDef -> String # showList :: [CFunDef] -> ShowS #
Pretty CFunDef Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty Methods pretty :: CFunDef -> Doc Source # prettyPrec :: Int -> CFunDef -> Doc

data CDecl Source #

Constructors

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

Instances

Instances details

Eq CDecl Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CDecl -> CDecl -> Bool # (/=) :: CDecl -> CDecl -> Bool #
Ord CDecl Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CDecl -> ShowS # show :: CDecl -> String # showList :: [CDecl] -> ShowS #
Pretty CDecl Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty Methods pretty :: CDecl -> Doc Source # prettyPrec :: Int -> CDecl -> Doc

data CDeclr Source #

Constructors

CDeclr (Maybe CPtrDeclr) CDirectDeclr

Instances

Instances details

Eq CDeclr Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CDeclr -> CDeclr -> Bool # (/=) :: CDeclr -> CDeclr -> Bool #
Ord CDeclr Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CDeclr -> ShowS # show :: CDeclr -> String # showList :: [CDeclr] -> ShowS #
Pretty CDeclr Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty Methods pretty :: CDeclr -> Doc Source # prettyPrec :: Int -> CDeclr -> Doc

data CDeclSpec Source #

Constructors

CStorageSpec CStorageSpec
CTypeSpec CTypeSpec
CTypeQual CTypeQual
CFunSpec CFunSpec

Instances

Instances details

Eq CDeclSpec Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CDeclSpec -> CDeclSpec -> Bool # (/=) :: CDeclSpec -> CDeclSpec -> Bool #
Ord CDeclSpec Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CDeclSpec -> ShowS # show :: CDeclSpec -> String # showList :: [CDeclSpec] -> ShowS #
Pretty CDeclSpec Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty Methods pretty :: CDeclSpec -> Doc Source # prettyPrec :: Int -> CDeclSpec -> Doc

data CStorageSpec Source #

Constructors

CTypeDef
CExtern
CStatic
CAuto
CRegister

Instances

Instances details

Eq CStorageSpec Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CStorageSpec -> CStorageSpec -> Bool # (/=) :: CStorageSpec -> CStorageSpec -> Bool #
Ord CStorageSpec Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CStorageSpec -> ShowS # show :: CStorageSpec -> String # showList :: [CStorageSpec] -> ShowS #
Pretty CStorageSpec Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty Methods pretty :: CStorageSpec -> Doc Source # prettyPrec :: Int -> CStorageSpec -> Doc

data CTypeQual Source #

Constructors

CConstQual
CVolatQual

Instances

Instances details

Eq CTypeQual Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CTypeQual -> CTypeQual -> Bool # (/=) :: CTypeQual -> CTypeQual -> Bool #
Ord CTypeQual Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CTypeQual -> ShowS # show :: CTypeQual -> String # showList :: [CTypeQual] -> ShowS #
Pretty CTypeQual Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty 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

Instances details

Eq CDirectDeclr Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CDirectDeclr -> CDirectDeclr -> Bool # (/=) :: CDirectDeclr -> CDirectDeclr -> Bool #
Ord CDirectDeclr Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CDirectDeclr -> ShowS # show :: CDirectDeclr -> String # showList :: [CDirectDeclr] -> ShowS #
Pretty CDirectDeclr Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty 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

Instances details

Eq CTypeSpec Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CTypeSpec -> CTypeSpec -> Bool # (/=) :: CTypeSpec -> CTypeSpec -> Bool #
Ord CTypeSpec Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CTypeSpec -> ShowS # show :: CTypeSpec -> String # showList :: [CTypeSpec] -> ShowS #
Pretty CTypeSpec Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty Methods pretty :: CTypeSpec -> Doc Source # prettyPrec :: Int -> CTypeSpec -> Doc

data CTypeName Source #

Constructors

CTypeName [CTypeSpec] Bool

Instances

Instances details

Eq CTypeName Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CTypeName -> CTypeName -> Bool # (/=) :: CTypeName -> CTypeName -> Bool #
Ord CTypeName Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CTypeName -> ShowS # show :: CTypeName -> String # showList :: [CTypeName] -> ShowS #
Pretty CTypeName Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty Methods pretty :: CTypeName -> Doc Source # prettyPrec :: Int -> CTypeName -> Doc

data CSUSpec Source #

Constructors

CSUSpec CSUTag (Maybe Ident) [CDecl]

Instances

Instances details

Eq CSUSpec Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CSUSpec -> CSUSpec -> Bool # (/=) :: CSUSpec -> CSUSpec -> Bool #
Ord CSUSpec Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CSUSpec -> ShowS # show :: CSUSpec -> String # showList :: [CSUSpec] -> ShowS #
Pretty CSUSpec Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty Methods pretty :: CSUSpec -> Doc Source # prettyPrec :: Int -> CSUSpec -> Doc

data CSUTag Source #

Constructors

CStructTag
CUnionTag

Instances

Instances details

Eq CSUTag Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CSUTag -> CSUTag -> Bool # (/=) :: CSUTag -> CSUTag -> Bool #
Ord CSUTag Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CSUTag -> ShowS # show :: CSUTag -> String # showList :: [CSUTag] -> ShowS #
Pretty CSUTag Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty Methods pretty :: CSUTag -> Doc Source # prettyPrec :: Int -> CSUTag -> Doc

data CEnum Source #

Constructors

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

Instances

Instances details

Eq CEnum Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CEnum -> CEnum -> Bool # (/=) :: CEnum -> CEnum -> Bool #
Ord CEnum Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CEnum -> ShowS # show :: CEnum -> String # showList :: [CEnum] -> ShowS #
Pretty CEnum Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty Methods pretty :: CEnum -> Doc Source # prettyPrec :: Int -> CEnum -> Doc

data CInit Source #

Constructors

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

Instances

Instances details

Eq CInit Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CInit -> CInit -> Bool # (/=) :: CInit -> CInit -> Bool #
Ord CInit Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CInit -> ShowS # show :: CInit -> String # showList :: [CInit] -> ShowS #
Pretty CInit Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty Methods pretty :: CInit -> Doc Source # prettyPrec :: Int -> CInit -> Doc

data CPartDesig Source #

Constructors

CArrDesig CExpr
CMemberDesig CExpr

Instances

Instances details

Eq CPartDesig Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CPartDesig -> CPartDesig -> Bool # (/=) :: CPartDesig -> CPartDesig -> Bool #
Ord CPartDesig Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CPartDesig -> ShowS # show :: CPartDesig -> String # showList :: [CPartDesig] -> ShowS #
Pretty CPartDesig Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty Methods pretty :: CPartDesig -> Doc Source # prettyPrec :: Int -> CPartDesig -> Doc

data CFunSpec Source #

Constructors

Inline

Instances

Instances details

Eq CFunSpec Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CFunSpec -> CFunSpec -> Bool # (/=) :: CFunSpec -> CFunSpec -> Bool #
Ord CFunSpec Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CFunSpec -> ShowS # show :: CFunSpec -> String # showList :: [CFunSpec] -> ShowS #

data CPtrDeclr Source #

Constructors

CPtrDeclr [CTypeQual]

Instances

Instances details

Eq CPtrDeclr Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CPtrDeclr -> CPtrDeclr -> Bool # (/=) :: CPtrDeclr -> CPtrDeclr -> Bool #
Ord CPtrDeclr Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CPtrDeclr -> ShowS # show :: CPtrDeclr -> String # showList :: [CPtrDeclr] -> ShowS #
Pretty CPtrDeclr Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty 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

Instances details

Eq CStat Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CStat -> CStat -> Bool # (/=) :: CStat -> CStat -> Bool #
Ord CStat Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CStat -> ShowS # show :: CStat -> String # showList :: [CStat] -> ShowS #
Pretty CStat Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty Methods pretty :: CStat -> Doc Source # prettyPrec :: Int -> CStat -> Doc

data CCompoundBlockItem Source #

Constructors

CBlockStat CStat
CBlockDecl CDecl

Instances

Instances details

Eq CCompoundBlockItem Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CCompoundBlockItem -> CCompoundBlockItem -> Bool # (/=) :: CCompoundBlockItem -> CCompoundBlockItem -> Bool #
Ord CCompoundBlockItem Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CCompoundBlockItem -> ShowS # show :: CCompoundBlockItem -> String # showList :: [CCompoundBlockItem] -> ShowS #
Pretty CCompoundBlockItem Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty Methods pretty :: CCompoundBlockItem -> Doc Source # prettyPrec :: Int -> CCompoundBlockItem -> Doc

data CExpr Source #

Instances

Instances details

Eq CExpr Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CExpr -> CExpr -> Bool # (/=) :: CExpr -> CExpr -> Bool #
Ord CExpr Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CExpr -> ShowS # show :: CExpr -> String # showList :: [CExpr] -> ShowS #
Pretty CExpr Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty Methods pretty :: CExpr -> Doc Source # prettyPrec :: Int -> CExpr -> Doc

data CConst Source #

Constructors

CIntConst Integer
CCharConst Char
CFloatConst Float
CStringConst String

Instances

Instances details

Eq CConst Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CConst -> CConst -> Bool # (/=) :: CConst -> CConst -> Bool #
Ord CConst Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CConst -> ShowS # show :: CConst -> String # showList :: [CConst] -> ShowS #
Pretty CConst Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty Methods pretty :: CConst -> Doc Source # prettyPrec :: Int -> CConst -> Doc

data CUnaryOp Source #

Constructors

CPreIncOp
CPreDecOp
CPostIncOp
CPostDecOp
CAdrOp
CIndOp
CPlusOp
CMinOp
CCompOp
CNegOp

Instances

Instances details

Eq CUnaryOp Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CUnaryOp -> CUnaryOp -> Bool # (/=) :: CUnaryOp -> CUnaryOp -> Bool #
Ord CUnaryOp Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CUnaryOp -> ShowS # show :: CUnaryOp -> String # showList :: [CUnaryOp] -> ShowS #
Pretty CUnaryOp Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty 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

Instances details

Eq CBinaryOp Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CBinaryOp -> CBinaryOp -> Bool # (/=) :: CBinaryOp -> CBinaryOp -> Bool #
Ord CBinaryOp Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CBinaryOp -> ShowS # show :: CBinaryOp -> String # showList :: [CBinaryOp] -> ShowS #
Pretty CBinaryOp Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty 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

Instances details

Eq CAssignOp Source #
Instance details Defined in Language.Hakaru.CodeGen.AST Methods (==) :: CAssignOp -> CAssignOp -> Bool # (/=) :: CAssignOp -> CAssignOp -> Bool #
Ord CAssignOp Source #
Instance details Defined in Language.Hakaru.CodeGen.AST 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 Defined in Language.Hakaru.CodeGen.AST Methods showsPrec :: Int -> CAssignOp -> ShowS # show :: CAssignOp -> String # showList :: [CAssignOp] -> ShowS #
Pretty CAssignOp Source #
Instance details Defined in Language.Hakaru.CodeGen.Pretty 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