| Copyright | (c) Michal Konecny |
|---|---|
| License | BSD3 |
| Maintainer | mikkonecny@gmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Numeric.OrdGenericBool
Contents
Description
Order ops with generic return type.
Originally developed for semi-decidable comparisons that return Kleenean instead of Bool.
Use in combination with:
import Prelude hiding ((==),(/=),(),(<=),(),(>=),abs,max,min,not,(&&),(||)) import qualified Prelude as P
The usual comparison operators are still available using the P prefix.
Synopsis
- (==) :: HasEqAsymmetric t t => t -> t -> EqCompareType t t
- (/=) :: HasEqAsymmetric t t => t -> t -> EqCompareType t t
- (<) :: HasOrderAsymmetric t t => t -> t -> OrderCompareType t t
- (<=) :: HasOrderAsymmetric t t => t -> t -> OrderCompareType t t
- (>) :: HasOrderAsymmetric t t => t -> t -> OrderCompareType t t
- (>=) :: HasOrderAsymmetric t t => t -> t -> OrderCompareType t t
- abs :: CanAbsSameType t => t -> t
- max :: CanMinMaxSameType t => t -> t -> t
- min :: CanMinMaxSameType t => t -> t -> t
- not :: CanNegSameType t => t -> t
- (&&) :: CanAndOrSameType t => t -> t -> t
- (||) :: CanAndOrSameType t => t -> t -> t
order operators
(==) :: HasEqAsymmetric t t => t -> t -> EqCompareType t t infix 4 Source #
(/=) :: HasEqAsymmetric t t => t -> t -> EqCompareType t t infix 4 Source #
(<) :: HasOrderAsymmetric t t => t -> t -> OrderCompareType t t infix 4 Source #
(<=) :: HasOrderAsymmetric t t => t -> t -> OrderCompareType t t infix 4 Source #
(>) :: HasOrderAsymmetric t t => t -> t -> OrderCompareType t t infix 4 Source #
(>=) :: HasOrderAsymmetric t t => t -> t -> OrderCompareType t t infix 4 Source #
abs :: CanAbsSameType t => t -> t Source #
max :: CanMinMaxSameType t => t -> t -> t Source #
min :: CanMinMaxSameType t => t -> t -> t Source #
logical operators
not :: CanNegSameType t => t -> t Source #
(&&) :: CanAndOrSameType t => t -> t -> t infixr 3 Source #
(||) :: CanAndOrSameType t => t -> t -> t infixr 2 Source #