Language.C.Analysis.TypeCheck · language-c-0.9.3

valuepType :: Type -> String

#

valuetypeErrorOnLeft :: MonadCError m => NodeInfo -> Either String a -> m a

#

valuetypeError :: MonadCError m => NodeInfo -> String -> m a

#

valuenotFound :: Ident -> Either String a

#

valuecheckScalar' :: MonadCError m => NodeInfo -> Type -> m ()

#

valuecheckIntegral' :: MonadCError m => NodeInfo -> Type -> m ()

#

valueassignCompatible'

:: MonadCError m
=> NodeInfo
-> CAssignOp
-> Type
-> Type
-> m ()

#

valuebinopType'

:: MonadCError m
=> NodeInfo
-> CBinaryOp
-> Type
-> Type
-> m Type

#

valueconditionalType' :: MonadCError m => NodeInfo -> Type -> Type -> m Type

#

valuecheckScalar :: Type -> Either String ()

#

valuecheckIntegral :: Type -> Either String ()

#

valueconstType :: (MonadCError m, MonadName m) => CConst -> m Type

#

Determine the type of a constant.

valuecompatible :: Type -> Type -> Either String ()

#

Determine whether two types are compatible.

valuecompositeType :: Type -> Type -> Either String Type

#

Determine the composite type of two compatible types.

valuecompositeSize :: ArraySize -> ArraySize -> Either String ArraySize

#

valuesizeEqual :: CExpr -> CExpr -> Bool

#

valuemergeAttrs :: Attributes -> Attributes -> Attributes

#

valuecompositeParamDecl :: ParamDecl -> ParamDecl -> Either String ParamDecl

#

valuecompositeParamDecl'

#

valuecompositeVarDecl :: VarDecl -> VarDecl -> Either String VarDecl

#

valuecompositeDeclAttrs :: DeclAttrs -> DeclAttrs -> DeclAttrs

#

valuecastCompatible :: Type -> Type -> Either String ()

#

valueassignCompatible :: CAssignOp -> Type -> Type -> Either String ()

#

Determine whether two types are compatible in an assignment expression.

valuebinopType :: CBinaryOp -> Type -> Type -> Either String Type

#

Determine the type of a binary operation.

valueconditionalType :: Type -> Type -> Either String Type

#

Determine the type of a conditional expression.

valuederefType :: Type -> Either String Type

#

valuevarAddrType :: IdentDecl -> Either String Type

#

valuefieldType

:: (MonadCError m, MonadSymtab m)
=> NodeInfo
-> Ident
-> Type
-> m Type

#

Get the type of field m of type t

valuetagMembers

:: (MonadCError m, MonadSymtab m)
=> NodeInfo
-> TagDef
-> m [(Ident, Type)]

#

Get all members of a struct, union, or enum, with their types. Collapse fields of anonymous members.

valueexpandAnonymous

:: (MonadCError m, MonadSymtab m)
=> NodeInfo
-> (VarName, Type)
-> m [(Ident, Type)]

#

Expand an anonymous composite type into a list of member names and their associated types.

valuelookupSUE

:: (MonadCError m, MonadSymtab m)
=> NodeInfo
-> SUERef
-> m TagDef

#

valuedeepTypeAttrs :: (MonadCError m, MonadSymtab m) => Type -> m Attributes

#

valuetypeDefAttrs

:: (MonadCError m, MonadSymtab m)
=> NodeInfo
-> Ident
-> m Attributes

#

valuesueAttrs

:: (MonadCError m, MonadSymtab m)
=> NodeInfo
-> SUERef
-> m Attributes

#