language-c-0.8.3: Analysis and generation of C code
Safe HaskellNone
LanguageHaskell98

Language.C.Analysis.ConstEval

Documentation

data MachineDesc #

Constructors

MachineDesc 

Fields

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

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

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

compSize :: MonadTrav m => MachineDesc -> CompTypeRef -> m Integer #

intOp :: CBinaryOp -> Integer -> Integer -> Integer #

intUnOp :: CUnaryOp -> Integer -> Maybe Integer #

withWordBytes :: Int -> Integer -> Integer #

boolValue :: CExpr -> Maybe Bool #

intValue :: CExpr -> Maybe Integer #