Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data CfVal
- err :: String -> a
- toExpr :: CfVal -> Expr
- destLit :: Expr -> Maybe Literal
- destBoolLit :: Expr -> Maybe Bool
- destIntegerLit :: Expr -> Maybe Integer
- isLitValue :: Integer -> CfVal -> Bool
- mkCfArgs :: Type -> [Expr] -> [CfVal]
- cfNum :: Type -> ExpOp -> [CfVal] -> CfVal
- cfBitAnd :: Type -> [CfVal] -> CfVal
- cfBitOr :: Type -> [CfVal] -> CfVal
- cfFloating :: ExpOp -> [CfVal] -> CfVal
- cfFloatingB :: ExpOp -> [CfVal] -> CfVal
- cfIntOp2 :: Type -> ExpOp -> [CfVal] -> CfVal