Ivory.Opts.ConstFoldComp

Documentation

data CfVal

Constant-folded values.

Constructors

CfBool Bool

CfInteger MaxMin Integer

CfFloat Float

CfDouble Double

CfExpr Expr

Instances

Eq CfVal

Defined in Ivory.Opts.ConstFoldComp

Methods

(==) :: CfVal -> CfVal -> Bool

(/=) :: CfVal -> CfVal -> Bool

Show CfVal

Defined in Ivory.Opts.ConstFoldComp

Methods

showsPrec :: Int -> CfVal -> ShowS

show :: CfVal -> String

showList :: [CfVal] -> ShowS

err :: String -> a

toExpr :: CfVal -> Expr

Convert back to an expression.

destLit :: Expr -> Maybe Literal

Literal expression destructor.

destBoolLit :: Expr -> Maybe Bool

Boolean literal destructor.

destIntegerLit :: Expr -> Maybe Integer

Integer literal destructor.

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

Constant folding for unary operations that require a floating instance.

cfFloatingB :: ExpOp -> [CfVal] -> CfVal

cfIntOp2 :: Type -> ExpOp -> [CfVal] -> CfVal