Modulelanguage-c-0.10.2Haskell2010
Language.C.Analysis.TypeCheck
Synopsis
- value pType
- value typeErrorOnLeft
- value typeError
- value notFound
- value checkScalar'
- value checkIntegral'
- value assignCompatible'
- value binopType'
- value conditionalType'
- value checkScalar
- value checkIntegral
- value constType
- value compatible
- value compositeType
- value compositeSize
- value sizeEqual
- value mergeAttrs
- value compositeParamDecl
- value compositeParamDecl'
- value compositeVarDecl
- value compositeDeclAttrs
- value castCompatible
- value assignCompatible
- value binopType
- value conditionalType
- value derefType
- value varAddrType
- value fieldType
- value tagMembers
- value expandAnonymous
- value lookupSUE
- value deepTypeAttrs
- value typeDefAttrs
- value sueAttrs
- Packagelanguage-c-0.10.2
- Exports34
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceTypeCheck.hs
Determine the type of a constant.
Determine whether two types are compatible.
Determine the composite type of two compatible types.
Determine whether two types are compatible in an assignment expression.
Determine the type of a binary operation.
Determine the type of a conditional expression.
Get the type of field m of type t
Get all members of a struct, union, or enum, with their types. Collapse fields of anonymous members.
Expand an anonymous composite type into a list of member names and their associated types.