logfloat-0.9.0: Log-domain floating point numbers Source code Contents Index

Data.Number.PartialOrd Portability portable Stability provisional Maintainer wren@community.haskell.org

Description

The Prelude's Ord class for dealing with ordered types is often onerous to use because it requires Eq as well as a total ordering. While such total orderings are common, partial orderings are moreso. This module presents a class for partially ordered types.

Synopsis

class PartialOrd a where cmp :: a -> a -> Maybe Ordering gt :: a -> a -> Maybe Bool ge :: a -> a -> Maybe Bool eq :: a -> a -> Maybe Bool ne :: a -> a -> Maybe Bool le :: a -> a -> Maybe Bool lt :: a -> a -> Maybe Bool

Documentation

class PartialOrd a where Source

This class defines a partially ordered type. The method names were chosen so as not to conflict with Ord and Eq. We use Maybe instead of defining new types PartialOrdering and FuzzyBool because this way should make the class easier to use. Methods cmp :: a -> a -> Maybe Ordering Source gt :: a -> a -> Maybe Bool Source ge :: a -> a -> Maybe Bool Source eq :: a -> a -> Maybe Bool Source ne :: a -> a -> Maybe Bool Source le :: a -> a -> Maybe Bool Source lt :: a -> a -> Maybe Bool Source

Produced by Haddock version 2.3.0