Language.C.Data

Common data types for Language.C: Identifiers, unique names, source code locations, ast node attributes and extensible errors.

Input stream

module Language.C.Data.InputStream

Identifiers

data SUERef

References uniquely determining a struct, union or enum type. Those are either identified by an string identifier, or by a unique name (anonymous types).

Constructors

AnonymousRef Name

NamedRef Ident

Instances

Eq SUERef

Defined in Language.C.Data.Ident

Methods

(==) :: SUERef -> SUERef -> Bool

(/=) :: SUERef -> SUERef -> Bool

Data SUERef

Defined in Language.C.Data.Ident

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SUERef -> c SUERef

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SUERef

toConstr :: SUERef -> Constr

dataTypeOf :: SUERef -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SUERef)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SUERef)

gmapT :: (forall b. Data b => b -> b) -> SUERef -> SUERef

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SUERef -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SUERef -> r

gmapQ :: (forall d. Data d => d -> u) -> SUERef -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SUERef -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SUERef -> m SUERef

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SUERef -> m SUERef

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SUERef -> m SUERef

Ord SUERef

Defined in Language.C.Data.Ident

Methods

compare :: SUERef -> SUERef -> Ordering

(<) :: SUERef -> SUERef -> Bool

(<=) :: SUERef -> SUERef -> Bool

(>) :: SUERef -> SUERef -> Bool

(>=) :: SUERef -> SUERef -> Bool

max :: SUERef -> SUERef -> SUERef

min :: SUERef -> SUERef -> SUERef

Show SUERef

Defined in Language.C.Data.Ident

Methods

showsPrec :: Int -> SUERef -> ShowS

show :: SUERef -> String

showList :: [SUERef] -> ShowS

Generic SUERef

Defined in Language.C.Data.Ident

Associated Types

type Rep SUERef :: Type -> Type

Methods

from :: SUERef -> Rep SUERef x

to :: Rep SUERef x -> SUERef

NFData SUERef

Defined in Language.C.Data.Ident

Methods

rnf :: SUERef -> ()

Pretty SUERef

Defined in Language.C.Analysis.Debug

Methods

pretty :: SUERef -> Doc

prettyPrec :: Int -> SUERef -> Doc

type Rep SUERef

Defined in Language.C.Data.Ident

type Rep SUERef = D1 ('MetaData "SUERef" "Language.C.Data.Ident" "language-c-0.9-inplace" 'False) (C1 ('MetaCons "AnonymousRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :+: C1 ('MetaCons "NamedRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)))

isAnonymousRef :: SUERef -> Bool

Return true if the struct/union/enum reference is anonymous.

sueRefToString :: SUERef -> String

string of a SUE ref (empty if anonymous)

data Ident

C identifiers

Instances

Eq Ident

Defined in Language.C.Data.Ident

Methods

(==) :: Ident -> Ident -> Bool

(/=) :: Ident -> Ident -> Bool

Data Ident

Defined in Language.C.Data.Ident

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ident -> c Ident

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Ident

toConstr :: Ident -> Constr

dataTypeOf :: Ident -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Ident)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Ident)

gmapT :: (forall b. Data b => b -> b) -> Ident -> Ident

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ident -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ident -> r

gmapQ :: (forall d. Data d => d -> u) -> Ident -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Ident -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ident -> m Ident

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ident -> m Ident

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ident -> m Ident

Ord Ident

Defined in Language.C.Data.Ident

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

Defined in Language.C.Data.Ident

Methods

showsPrec :: Int -> Ident -> ShowS

show :: Ident -> String

showList :: [Ident] -> ShowS

Generic Ident

Defined in Language.C.Data.Ident

Associated Types

type Rep Ident :: Type -> Type

Methods

from :: Ident -> Rep Ident x

to :: Rep Ident x -> Ident

NFData Ident

Defined in Language.C.Data.Ident

Methods

rnf :: Ident -> ()

Pos Ident

Defined in Language.C.Data.Ident

Methods

posOf :: Ident -> Position

CNode Ident

Defined in Language.C.Data.Ident

Methods

nodeInfo :: Ident -> NodeInfo

Pretty Ident

Defined in Language.C.Analysis.Debug

Methods

pretty :: Ident -> Doc

prettyPrec :: Int -> Ident -> Doc

type Rep Ident

Defined in Language.C.Data.Ident

type Rep Ident = D1 ('MetaData "Ident" "Language.C.Data.Ident" "language-c-0.9-inplace" 'False) (C1 ('MetaCons "Ident" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NodeInfo))))

mkIdent :: Position -> String -> Name -> Ident

build an identifier from a string.

• only minimal error checking, e.g., the characters of the identifier are not checked for being alphanumerical only; the correct lexis of the identifier should be ensured by the caller, e.g., the scanner.
• for reasons of simplicity the complete lexeme is hashed.

identToString :: Ident -> String

string of an identifier

internalIdent :: String -> Ident

returns an internal identifier (has internal position and no unique name)

isInternalIdent :: Ident -> Bool

return True if the given identifier is internal

builtinIdent :: String -> Ident

returns a builtin identifier (has builtin position and no unique name)

Unqiue names

newtype Name

Name is a unique identifier

Constructors

Name

Fields

• nameId :: Int

Instances

Enum Name

Defined in Language.C.Data.Name

Methods

succ :: Name -> Name

pred :: Name -> Name

toEnum :: Int -> Name

fromEnum :: Name -> Int

enumFrom :: Name -> [Name]

enumFromThen :: Name -> Name -> [Name]

enumFromTo :: Name -> Name -> [Name]

enumFromThenTo :: Name -> Name -> Name -> [Name]

Eq Name

Defined in Language.C.Data.Name

Methods

(==) :: Name -> Name -> Bool

(/=) :: Name -> Name -> Bool

Data Name

Defined in Language.C.Data.Name

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Name -> c Name

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Name

toConstr :: Name -> Constr

dataTypeOf :: Name -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Name)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Name)

gmapT :: (forall b. Data b => b -> b) -> Name -> Name

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Name -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Name -> r

gmapQ :: (forall d. Data d => d -> u) -> Name -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Name -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Name -> m Name

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Name -> m Name

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Name -> m Name

Ord Name

Defined in Language.C.Data.Name

Methods

compare :: Name -> Name -> Ordering

(<) :: Name -> Name -> Bool

(<=) :: Name -> Name -> Bool

(>) :: Name -> Name -> Bool

(>=) :: Name -> Name -> Bool

max :: Name -> Name -> Name

min :: Name -> Name -> Name

Read Name

Defined in Language.C.Data.Name

Methods

readsPrec :: Int -> ReadS Name

readList :: ReadS [Name]

readPrec :: ReadPrec Name

readListPrec :: ReadPrec [Name]

Show Name

Defined in Language.C.Data.Name

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

Ix Name

Defined in Language.C.Data.Name

Methods

range :: (Name, Name) -> [Name]

index :: (Name, Name) -> Name -> Int

unsafeIndex :: (Name, Name) -> Name -> Int

inRange :: (Name, Name) -> Name -> Bool

rangeSize :: (Name, Name) -> Int

unsafeRangeSize :: (Name, Name) -> Int

Generic Name

Defined in Language.C.Data.Name

Associated Types

type Rep Name :: Type -> Type

Methods

from :: Name -> Rep Name x

to :: Rep Name x -> Name

NFData Name

Defined in Language.C.Data.Name

Methods

rnf :: Name -> ()

type Rep Name

Defined in Language.C.Data.Name

type Rep Name = D1 ('MetaData "Name" "Language.C.Data.Name" "language-c-0.9-inplace" 'True) (C1 ('MetaCons "Name" 'PrefixI 'True) (S1 ('MetaSel ('Just "nameId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

newNameSupply :: [Name]

return an infinite stream of Names starting with nameId 0

Source code positions

data Position

uniform representation of source file positions

Instances

Eq Position

Defined in Language.C.Data.Position

Methods

(==) :: Position -> Position -> Bool

(/=) :: Position -> Position -> Bool

Data Position

Defined in Language.C.Data.Position

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Position -> c Position

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Position

toConstr :: Position -> Constr

dataTypeOf :: Position -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Position)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Position)

gmapT :: (forall b. Data b => b -> b) -> Position -> Position

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Position -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Position -> r

gmapQ :: (forall d. Data d => d -> u) -> Position -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Position -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Position -> m Position

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Position -> m Position

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Position -> m Position

Ord Position

Defined in Language.C.Data.Position

Methods

compare :: Position -> Position -> Ordering

(<) :: Position -> Position -> Bool

(<=) :: Position -> Position -> Bool

(>) :: Position -> Position -> Bool

(>=) :: Position -> Position -> Bool

max :: Position -> Position -> Position

min :: Position -> Position -> Position

Show Position

Defined in Language.C.Data.Position

Methods

showsPrec :: Int -> Position -> ShowS

show :: Position -> String

showList :: [Position] -> ShowS

Generic Position

Defined in Language.C.Data.Position

Associated Types

type Rep Position :: Type -> Type

Methods

from :: Position -> Rep Position x

to :: Rep Position x -> Position

NFData Position

Defined in Language.C.Data.Position

Methods

rnf :: Position -> ()

type Rep Position

Defined in Language.C.Data.Position

type Rep Position

posFile :: Position -> String

posParent :: Position -> Maybe Position

class Pos a where

class of type which aggregate a source code location

Methods

posOf :: a -> Position

Instances

Pos NodeInfo

Defined in Language.C.Data.Node

Methods

posOf :: NodeInfo -> Position

Pos Ident

Defined in Language.C.Data.Ident

Methods

posOf :: Ident -> Position

Pos Attr

Defined in Language.C.Analysis.SemRep

Methods

posOf :: Attr -> Position

Pos Enumerator

Defined in Language.C.Analysis.SemRep

Methods

posOf :: Enumerator -> Position

Pos EnumType

Defined in Language.C.Analysis.SemRep

Methods

posOf :: EnumType -> Position

Pos CompType

Defined in Language.C.Analysis.SemRep

Methods

posOf :: CompType -> Position

Pos EnumTypeRef

Defined in Language.C.Analysis.SemRep

Methods

posOf :: EnumTypeRef -> Position

Pos CompTypeRef

Defined in Language.C.Analysis.SemRep

Methods

posOf :: CompTypeRef -> Position

Pos TypeDefRef

Defined in Language.C.Analysis.SemRep

Methods

posOf :: TypeDefRef -> Position

Pos TypeDef

Defined in Language.C.Analysis.SemRep

Methods

posOf :: TypeDef -> Position

Pos MemberDecl

Defined in Language.C.Analysis.SemRep

Methods

posOf :: MemberDecl -> Position

Pos ParamDecl

Defined in Language.C.Analysis.SemRep

Methods

posOf :: ParamDecl -> Position

Pos FunDef

Defined in Language.C.Analysis.SemRep

Methods

posOf :: FunDef -> Position

Pos ObjDef

Defined in Language.C.Analysis.SemRep

Methods

posOf :: ObjDef -> Position

Pos Decl

Defined in Language.C.Analysis.SemRep

Methods

posOf :: Decl -> Position

Pos DeclEvent

Defined in Language.C.Analysis.SemRep

Methods

posOf :: DeclEvent -> Position

Pos IdentDecl

Defined in Language.C.Analysis.SemRep

Methods

posOf :: IdentDecl -> Position

Pos TagDef

Defined in Language.C.Analysis.SemRep

Methods

posOf :: TagDef -> Position

Pos a => Pos [a]

Defined in Language.C.Parser.Parser

Methods

posOf :: [a] -> Position

CNode t1 => Pos (CStringLiteral t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CStringLiteral t1 -> Position

CNode t1 => Pos (CConstant t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CConstant t1 -> Position

CNode t1 => Pos (CBuiltinThing t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CBuiltinThing t1 -> Position

CNode t1 => Pos (CExpression t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CExpression t1 -> Position

CNode t1 => Pos (CAttribute t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CAttribute t1 -> Position

CNode t1 => Pos (CPartDesignator t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CPartDesignator t1 -> Position

CNode t1 => Pos (CInitializer t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CInitializer t1 -> Position

CNode t1 => Pos (CEnumeration t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CEnumeration t1 -> Position

CNode t1 => Pos (CStructureUnion t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CStructureUnion t1 -> Position

CNode t1 => Pos (CAlignmentSpecifier t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CAlignmentSpecifier t1 -> Position

CNode t1 => Pos (CFunctionSpecifier t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CFunctionSpecifier t1 -> Position

CNode t1 => Pos (CTypeQualifier t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CTypeQualifier t1 -> Position

CNode t1 => Pos (CTypeSpecifier t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CTypeSpecifier t1 -> Position

CNode t1 => Pos (CStorageSpecifier t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CStorageSpecifier t1 -> Position

CNode t1 => Pos (CDeclarationSpecifier t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CDeclarationSpecifier t1 -> Position

CNode t1 => Pos (CCompoundBlockItem t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CCompoundBlockItem t1 -> Position

CNode t1 => Pos (CAssemblyOperand t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CAssemblyOperand t1 -> Position

CNode t1 => Pos (CAssemblyStatement t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CAssemblyStatement t1 -> Position

CNode t1 => Pos (CStatement t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CStatement t1 -> Position

CNode t1 => Pos (CDerivedDeclarator t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CDerivedDeclarator t1 -> Position

CNode t1 => Pos (CDeclarator t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CDeclarator t1 -> Position

CNode t1 => Pos (CDeclaration t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CDeclaration t1 -> Position

CNode t1 => Pos (CFunctionDef t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CFunctionDef t1 -> Position

CNode t1 => Pos (CExternalDeclaration t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CExternalDeclaration t1 -> Position

CNode t1 => Pos (CTranslationUnit t1)

Defined in Language.C.Syntax.AST

Methods

posOf :: CTranslationUnit t1 -> Position

initPos :: FilePath -> Position

initialize a Position to the start of the translation unit starting in the given file

nopos :: Position

no position (for unknown position information)

builtinPos :: Position

position attached to built-in objects

internalPos :: Position

position used for internal errors

isSourcePos :: Position -> Bool

returns True if the given position refers to an actual source file

isBuiltinPos :: Position -> Bool

returns True if the given position refers to a builtin definition

isInternalPos :: Position -> Bool

returns True if the given position is internal

Syntax tree nodes

data NodeInfo

Parsed entity attribute

Constructors

OnlyPos Position !PosLength

NodeInfo Position !PosLength !Name

Instances

Eq NodeInfo

Defined in Language.C.Data.Node

Methods

(==) :: NodeInfo -> NodeInfo -> Bool

(/=) :: NodeInfo -> NodeInfo -> Bool

Data NodeInfo

Defined in Language.C.Data.Node

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NodeInfo -> c NodeInfo

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NodeInfo

toConstr :: NodeInfo -> Constr

dataTypeOf :: NodeInfo -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NodeInfo)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NodeInfo)

gmapT :: (forall b. Data b => b -> b) -> NodeInfo -> NodeInfo

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NodeInfo -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NodeInfo -> r

gmapQ :: (forall d. Data d => d -> u) -> NodeInfo -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> NodeInfo -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NodeInfo -> m NodeInfo

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NodeInfo -> m NodeInfo

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NodeInfo -> m NodeInfo

Ord NodeInfo

Defined in Language.C.Data.Node

Methods

compare :: NodeInfo -> NodeInfo -> Ordering

(<) :: NodeInfo -> NodeInfo -> Bool

(<=) :: NodeInfo -> NodeInfo -> Bool

(>) :: NodeInfo -> NodeInfo -> Bool

(>=) :: NodeInfo -> NodeInfo -> Bool

max :: NodeInfo -> NodeInfo -> NodeInfo

min :: NodeInfo -> NodeInfo -> NodeInfo

Show NodeInfo

Defined in Language.C.Data.Node

Methods

showsPrec :: Int -> NodeInfo -> ShowS

show :: NodeInfo -> String

showList :: [NodeInfo] -> ShowS

Generic NodeInfo

Defined in Language.C.Data.Node

Associated Types

type Rep NodeInfo :: Type -> Type

Methods

from :: NodeInfo -> Rep NodeInfo x

to :: Rep NodeInfo x -> NodeInfo

NFData NodeInfo

Defined in Language.C.Data.Node

Methods

rnf :: NodeInfo -> ()

Pos NodeInfo

Defined in Language.C.Data.Node

Methods

posOf :: NodeInfo -> Position

CNode NodeInfo

Defined in Language.C.Data.Node

Methods

nodeInfo :: NodeInfo -> NodeInfo

Pretty CStrLit

Defined in Language.C.Pretty

Methods

pretty :: CStrLit -> Doc

prettyPrec :: Int -> CStrLit -> Doc

Pretty CConst

Defined in Language.C.Pretty

Methods

pretty :: CConst -> Doc

prettyPrec :: Int -> CConst -> Doc

Pretty CBuiltin

Defined in Language.C.Pretty

Methods

pretty :: CBuiltin -> Doc

prettyPrec :: Int -> CBuiltin -> Doc

Pretty CExpr

Defined in Language.C.Pretty

Methods

pretty :: CExpr -> Doc

prettyPrec :: Int -> CExpr -> Doc

Pretty CAttr

Defined in Language.C.Pretty

Methods

pretty :: CAttr -> Doc

prettyPrec :: Int -> CAttr -> Doc

Pretty CDesignator

Defined in Language.C.Pretty

Methods

pretty :: CDesignator -> Doc

prettyPrec :: Int -> CDesignator -> Doc

Pretty CInit

Defined in Language.C.Pretty

Methods

pretty :: CInit -> Doc

prettyPrec :: Int -> CInit -> Doc

Pretty CEnum

Defined in Language.C.Pretty

Methods

pretty :: CEnum -> Doc

prettyPrec :: Int -> CEnum -> Doc

Pretty CStructUnion

Defined in Language.C.Pretty

Methods

pretty :: CStructUnion -> Doc

prettyPrec :: Int -> CStructUnion -> Doc

Pretty CAlignSpec

Defined in Language.C.Pretty

Methods

pretty :: CAlignSpec -> Doc

prettyPrec :: Int -> CAlignSpec -> Doc

Pretty CFunSpec

Defined in Language.C.Pretty

Methods

pretty :: CFunSpec -> Doc

prettyPrec :: Int -> CFunSpec -> Doc

Pretty CTypeQual

Defined in Language.C.Pretty

Methods

pretty :: CTypeQual -> Doc

prettyPrec :: Int -> CTypeQual -> Doc

Pretty CTypeSpec

Defined in Language.C.Pretty

Methods

pretty :: CTypeSpec -> Doc

prettyPrec :: Int -> CTypeSpec -> Doc

Pretty CStorageSpec

Defined in Language.C.Pretty

Methods

pretty :: CStorageSpec -> Doc

prettyPrec :: Int -> CStorageSpec -> Doc

Pretty CDeclSpec

Defined in Language.C.Pretty

Methods

pretty :: CDeclSpec -> Doc

prettyPrec :: Int -> CDeclSpec -> Doc

Pretty CBlockItem

Defined in Language.C.Pretty

Methods

pretty :: CBlockItem -> Doc

prettyPrec :: Int -> CBlockItem -> Doc

Pretty CAsmOperand

Defined in Language.C.Pretty

Methods

pretty :: CAsmOperand -> Doc

prettyPrec :: Int -> CAsmOperand -> Doc

Pretty CAsmStmt

Defined in Language.C.Pretty

Methods

pretty :: CAsmStmt -> Doc

prettyPrec :: Int -> CAsmStmt -> Doc

Pretty CStat

Defined in Language.C.Pretty

Methods

pretty :: CStat -> Doc

prettyPrec :: Int -> CStat -> Doc

Pretty CArrSize

Defined in Language.C.Pretty

Methods

pretty :: CArrSize -> Doc

prettyPrec :: Int -> CArrSize -> Doc

Pretty CDeclr

Defined in Language.C.Pretty

Methods

pretty :: CDeclr -> Doc

prettyPrec :: Int -> CDeclr -> Doc

Pretty CDecl

Defined in Language.C.Pretty

Methods

pretty :: CDecl -> Doc

prettyPrec :: Int -> CDecl -> Doc

Pretty CFunDef

Defined in Language.C.Pretty

Methods

pretty :: CFunDef -> Doc

prettyPrec :: Int -> CFunDef -> Doc

Pretty CExtDecl

Defined in Language.C.Pretty

Methods

pretty :: CExtDecl -> Doc

prettyPrec :: Int -> CExtDecl -> Doc

Pretty CTranslUnit

Defined in Language.C.Pretty

Methods

pretty :: CTranslUnit -> Doc

prettyPrec :: Int -> CTranslUnit -> Doc

type Rep NodeInfo

Defined in Language.C.Data.Node

type Rep NodeInfo = D1 ('MetaData "NodeInfo" "Language.C.Data.Node" "language-c-0.9-inplace" 'False) (C1 ('MetaCons "OnlyPos" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 PosLength)) :+: C1 ('MetaCons "NodeInfo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 PosLength) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Name))))

class CNode a where

a class for convenient access to the attributes of an attributed object

Methods

nodeInfo :: a -> NodeInfo

Instances

CNode NodeInfo

Defined in Language.C.Data.Node

Methods

nodeInfo :: NodeInfo -> NodeInfo

CNode Ident

Defined in Language.C.Data.Ident

Methods

nodeInfo :: Ident -> NodeInfo

CNode Attr

Defined in Language.C.Analysis.SemRep

Methods

nodeInfo :: Attr -> NodeInfo

CNode Enumerator

Defined in Language.C.Analysis.SemRep

Methods

nodeInfo :: Enumerator -> NodeInfo

CNode EnumType

Defined in Language.C.Analysis.SemRep

Methods

nodeInfo :: EnumType -> NodeInfo

CNode CompType

Defined in Language.C.Analysis.SemRep

Methods

nodeInfo :: CompType -> NodeInfo

CNode EnumTypeRef

Defined in Language.C.Analysis.SemRep

Methods

nodeInfo :: EnumTypeRef -> NodeInfo

CNode CompTypeRef

Defined in Language.C.Analysis.SemRep

Methods

nodeInfo :: CompTypeRef -> NodeInfo

CNode TypeDefRef

Defined in Language.C.Analysis.SemRep

Methods

nodeInfo :: TypeDefRef -> NodeInfo

CNode TypeDef

Defined in Language.C.Analysis.SemRep

Methods

nodeInfo :: TypeDef -> NodeInfo

CNode MemberDecl

Defined in Language.C.Analysis.SemRep

Methods

nodeInfo :: MemberDecl -> NodeInfo

CNode ParamDecl

Defined in Language.C.Analysis.SemRep

Methods

nodeInfo :: ParamDecl -> NodeInfo

CNode FunDef

Defined in Language.C.Analysis.SemRep

Methods

nodeInfo :: FunDef -> NodeInfo

CNode ObjDef

Defined in Language.C.Analysis.SemRep

Methods

nodeInfo :: ObjDef -> NodeInfo

CNode Decl

Defined in Language.C.Analysis.SemRep

Methods

nodeInfo :: Decl -> NodeInfo

CNode DeclEvent

Defined in Language.C.Analysis.SemRep

Methods

nodeInfo :: DeclEvent -> NodeInfo

CNode IdentDecl

Defined in Language.C.Analysis.SemRep

Methods

nodeInfo :: IdentDecl -> NodeInfo

CNode TagDef

Defined in Language.C.Analysis.SemRep

Methods

nodeInfo :: TagDef -> NodeInfo

CNode TagFwdDecl

Defined in Language.C.Analysis.DefTable

Methods

nodeInfo :: TagFwdDecl -> NodeInfo

CNode t1 => CNode (CStringLiteral t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CStringLiteral t1 -> NodeInfo

CNode t1 => CNode (CConstant t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CConstant t1 -> NodeInfo

CNode t1 => CNode (CBuiltinThing t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CBuiltinThing t1 -> NodeInfo

CNode t1 => CNode (CExpression t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CExpression t1 -> NodeInfo

CNode t1 => CNode (CAttribute t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CAttribute t1 -> NodeInfo

CNode t1 => CNode (CPartDesignator t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CPartDesignator t1 -> NodeInfo

CNode t1 => CNode (CInitializer t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CInitializer t1 -> NodeInfo

CNode t1 => CNode (CEnumeration t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CEnumeration t1 -> NodeInfo

CNode t1 => CNode (CStructureUnion t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CStructureUnion t1 -> NodeInfo

CNode t1 => CNode (CAlignmentSpecifier t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CAlignmentSpecifier t1 -> NodeInfo

CNode t1 => CNode (CFunctionSpecifier t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CFunctionSpecifier t1 -> NodeInfo

CNode t1 => CNode (CTypeQualifier t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CTypeQualifier t1 -> NodeInfo

CNode t1 => CNode (CTypeSpecifier t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CTypeSpecifier t1 -> NodeInfo

CNode t1 => CNode (CStorageSpecifier t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CStorageSpecifier t1 -> NodeInfo

CNode t1 => CNode (CDeclarationSpecifier t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CDeclarationSpecifier t1 -> NodeInfo

CNode t1 => CNode (CCompoundBlockItem t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CCompoundBlockItem t1 -> NodeInfo

CNode t1 => CNode (CAssemblyOperand t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CAssemblyOperand t1 -> NodeInfo

CNode t1 => CNode (CAssemblyStatement t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CAssemblyStatement t1 -> NodeInfo

CNode t1 => CNode (CStatement t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CStatement t1 -> NodeInfo

CNode t1 => CNode (CDerivedDeclarator t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CDerivedDeclarator t1 -> NodeInfo

CNode t1 => CNode (CDeclarator t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CDeclarator t1 -> NodeInfo

CNode t1 => CNode (CDeclaration t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CDeclaration t1 -> NodeInfo

CNode t1 => CNode (CFunctionDef t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CFunctionDef t1 -> NodeInfo

CNode t1 => CNode (CExternalDeclaration t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CExternalDeclaration t1 -> NodeInfo

CNode t1 => CNode (CTranslationUnit t1)

Defined in Language.C.Syntax.AST

Methods

nodeInfo :: CTranslationUnit t1 -> NodeInfo

(CNode a, CNode b) => CNode (Either a b)

Defined in Language.C.Data.Node

Methods

nodeInfo :: Either a b -> NodeInfo

fileOfNode :: CNode a => a -> Maybe FilePath

posOfNode :: NodeInfo -> Position

nameOfNode :: NodeInfo -> Maybe Name

undefNode :: NodeInfo

create a node with neither name nor positional information

mkNodeInfoOnlyPos :: Position -> NodeInfo

| Given only a source position, create a new node attribute

mkNodeInfo :: Position -> Name -> NodeInfo

Given a source position and a unique name, create a new attribute identifier

internalNode :: NodeInfo

Deprecated: use undefNode instead

Extensible errors

module Language.C.Data.Error