Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

This module contains the Relapse compare expressions: equal, not equal, greater than, greater than or equal, less than and less than or equal.

## Synopsis

- mkEqExpr :: [AnyExpr] -> Either String AnyExpr
- eqExpr :: Eq a => Expr a -> Expr a -> Expr Bool
- mkNeExpr :: [AnyExpr] -> Either String AnyExpr
- neExpr :: Eq a => Expr a -> Expr a -> Expr Bool
- mkGeExpr :: [AnyExpr] -> Either String AnyExpr
- geExpr :: Ord a => Expr a -> Expr a -> Expr Bool
- mkLeExpr :: [AnyExpr] -> Either String AnyExpr
- leExpr :: Ord a => Expr a -> Expr a -> Expr Bool
- mkGtExpr :: [AnyExpr] -> Either String AnyExpr
- gtExpr :: Ord a => Expr a -> Expr a -> Expr Bool
- mkLtExpr :: [AnyExpr] -> Either String AnyExpr
- ltExpr :: Ord a => Expr a -> Expr a -> Expr Bool

# Documentation

mkEqExpr :: [AnyExpr] -> Either String AnyExpr Source #

mkEqExpr dynamically creates an eq (equal) expression, if the two input types are the same.

eqExpr :: Eq a => Expr a -> Expr a -> Expr Bool Source #

eqExpr creates an eq (equal) expression that returns true if the two evaluated input expressions are equal and both don't evaluate to an error.

mkNeExpr :: [AnyExpr] -> Either String AnyExpr Source #

mkNeExpr dynamically creates a ne (not equal) expression, if the two input types are the same.

neExpr :: Eq a => Expr a -> Expr a -> Expr Bool Source #

neExpr creates a ne (not equal) expression that returns true if the two evaluated input expressions are not equal and both don't evaluate to an error.

mkGeExpr :: [AnyExpr] -> Either String AnyExpr Source #

mkGeExpr dynamically creates a ge (greater than or equal) expression, if the two input types are the same.

geExpr :: Ord a => Expr a -> Expr a -> Expr Bool Source #

geExpr creates a ge (greater than or equal) expression that returns true if the first evaluated expression is greater than or equal to the second and both don't evaluate to an error.

mkLeExpr :: [AnyExpr] -> Either String AnyExpr Source #

mkLeExpr dynamically creates a le (less than or equal) expression, if the two input types are the same.

leExpr :: Ord a => Expr a -> Expr a -> Expr Bool Source #

leExpr creates a le (less than or equal) expression that returns true if the first evaluated expression is less than or equal to the second and both don't evaluate to an error.

mkGtExpr :: [AnyExpr] -> Either String AnyExpr Source #

mkGtExpr dynamically creates a gt (greater than) expression, if the two input types are the same.

gtExpr :: Ord a => Expr a -> Expr a -> Expr Bool Source #

gtExpr creates a gt (greater than) expression that returns true if the first evaluated expression is greater than the second and both don't evaluate to an error.