language-c-0.4.7: Analysis and generation of C code

Safe Haskell	None
Language	Haskell98

Language.C.Analysis.TypeCheck

Synopsis

Documentation

pType :: Type -> String Source

typeErrorOnLeft :: MonadCError m => NodeInfo -> Either String a -> m a Source

typeError :: MonadCError m => NodeInfo -> String -> m a Source

notFound :: Ident -> Either String a Source

checkScalar' :: MonadCError m => NodeInfo -> Type -> m () Source

checkIntegral' :: MonadCError m => NodeInfo -> Type -> m () Source

assignCompatible' :: MonadCError m => NodeInfo -> CAssignOp -> Type -> Type -> m () Source

binopType' :: MonadCError m => NodeInfo -> CBinaryOp -> Type -> Type -> m Type Source

conditionalType' :: MonadCError m => NodeInfo -> Type -> Type -> m Type Source

checkScalar :: Type -> Either String () Source

checkIntegral :: Type -> Either String () Source

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

Determine the type of a constant.

compatible :: Type -> Type -> Either String () Source

Determine whether two types are compatible.

compositeType :: Type -> Type -> Either String Type Source

Determine the composite type of two compatible types.

compositeSize :: ArraySize -> ArraySize -> Either String ArraySize Source

sizeEqual :: CExpr -> CExpr -> Bool Source

mergeAttrs :: Attributes -> Attributes -> Attributes Source

compositeParamDecl :: ParamDecl -> ParamDecl -> Either String ParamDecl Source

compositeParamDecl' :: (VarDecl -> NodeInfo -> ParamDecl) -> VarDecl -> VarDecl -> NodeInfo -> Either String ParamDecl Source

compositeVarDecl :: VarDecl -> VarDecl -> Either String VarDecl Source

compositeDeclAttrs :: DeclAttrs -> DeclAttrs -> DeclAttrs Source

castCompatible :: Type -> Type -> Either String () Source

assignCompatible :: CAssignOp -> Type -> Type -> Either String () Source

Determine whether two types are compatible in an assignment expression.

binopType :: CBinaryOp -> Type -> Type -> Either String Type Source

Determine the type of a binary operation.

conditionalType :: Type -> Type -> Either String Type Source

Determine the type of a conditional expression.

derefType :: Type -> Either String Type Source

varAddrType :: IdentDecl -> Either String Type Source

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

Get the type of field m of type t

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

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

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

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

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

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

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

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