| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.Katydid.Relapse.Exprs.Compare
Description
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.