Safe Haskell | None |
---|
Documentation
class Expression t e | e -> t whereSource
toConstant :: e -> Maybe (Number, t)Source
toExpression :: Number -> t -> eSource
createBinOp :: BinOp -> Ty -> Ty -> Ty -> e -> e -> t -> eSource
createUnOp :: UnOp -> Ty -> Ty -> e -> t -> eSource
fromUnOp :: e -> Maybe (UnOp, Ty, Ty, e, t)Source
fromBinOp :: e -> Maybe (BinOp, Ty, Ty, Ty, e, e, t)Source
caseEquals :: e -> (Number, t) -> e -> e -> eSource
equalsExpression :: e -> e -> BoolSource