Cmm.OpEval

Documentation

class Expression t e | e -> t where

Methods

toConstant :: e -> Maybe (Number, t)

toExpression :: Number -> t -> e

toBool :: Bool -> e

createBinOp :: BinOp -> Ty -> Ty -> Ty -> e -> e -> t -> e

createUnOp :: UnOp -> Ty -> Ty -> e -> t -> e

fromUnOp :: e -> Maybe (UnOp, Ty, Ty, e, t)

fromBinOp :: e -> Maybe (BinOp, Ty, Ty, Ty, e, e, t)

caseEquals :: e -> (Number, t) -> e -> e -> e

equalsExpression :: e -> e -> Bool

Instances

Expression E E

convOp :: ConvOp -> Ty -> Ty -> Maybe ConvOp

convNumber :: ConvOp -> Ty -> Ty -> Number -> Number

convCombine :: Ty -> ConvOp -> Ty -> ConvOp -> Ty -> Maybe ConvOp

binOp :: Expression t e => BinOp -> Ty -> Ty -> Ty -> e -> e -> t -> Maybe e

binOp' :: Expression t e => BinOp -> Ty -> Ty -> Ty -> e -> e -> t -> e

unOp :: Expression t e => UnOp -> Ty -> Ty -> e -> t -> Maybe e