Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Modulelanguage-c-0.10.2Haskell2010

Language.C.Analysis.ConstEval

Synopsis

data MachineDesc
value intExpr
value sizeofType
value alignofType
value compSizeAndAlign
value roundToAlignment
value intOp
value intUnOp
value withWordBytes
value boolValue
value intValue
value constEval

Packagelanguage-c-0.10.2
Exports12
LanguageHaskell2010
LicenceBSD-3-Clause
SourceConstEval.hs

datadata MachineDesc

Constructors

MachineDesc
- iSize :: IntType -> Integer
- fSize :: FloatType -> Integer
- builtinSize :: BuiltinType -> Integer
- ptrSize :: Integer
- voidSize :: Integer
- iAlign :: IntType -> Integer
- fAlign :: FloatType -> Integer
- builtinAlign :: BuiltinType -> Integer
- ptrAlign :: Integer
- voidAlign :: Integer

valueintExpr :: (Pos n, MonadName m) => n -> Integer -> m CExpr

valuesizeofType

:: (MonadTrav m, CNode n)
=> MachineDesc
-> n
-> Type
-> m Integer

valuealignofType

:: (MonadTrav m, CNode n)
=> MachineDesc
-> n
-> Type
-> m Integer

valuecompSizeAndAlign

:: MonadTrav m
=> MachineDesc
-> CompTypeRef
-> m (Integer, Integer)
(size, alignment)

valueroundToAlignment

:: Integer
The alignment
-> Integer
The value to align
-> Integer
The next multiple of alignment

Find the next multiple of an alignment

valueintOp :: CBinaryOp -> Integer -> Integer -> Integer

valueintUnOp :: CUnaryOp -> Integer -> Maybe Integer

valuewithWordBytes :: Int -> Integer -> Integer

valueboolValue :: CExpr -> Maybe Bool

valueintValue :: CExpr -> Maybe Integer

valueconstEval

:: MonadTrav m
=> MachineDesc
-> Map Ident CExpr
-> CExpr
-> m CExpr