Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x7a6c33e2026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · 7a6c33e · 2026-10-12

Modulelanguage-c-0.10.2Haskell2010

Language.C.Analysis.ConstEval

1 type
11 values

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