Copyright | (c) Justin Le 2018 |
---|---|
License | BSD-3 |
Maintainer | justin@jle.im |
Stability | unstable |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Data.Ord.OneLiner
Description
Derived methods for Eq
and Ord
, using Generics.OneLiner and
GHC.Generics.
Can be used for any types (deriving Generic
) where every field is an
instance of Eq
(or Ord
).
Also includes a newtype wrapper that imbues any such data type with
instant Eq
and Ord
instances, which can one day be used with
DerivingVia syntax to derive instances automatically.
- newtype GOrd a = GOrd {
- getGOrd :: a
- gEquals :: forall a. (ADT a, Constraints a Eq) => a -> a -> Bool
- gNotEquals :: forall a. (ADT a, Constraints a Eq) => a -> a -> Bool
- gCompare :: forall a. (ADT a, Constraints a Ord) => a -> a -> Ordering
- gLTE :: forall a. (ADT a, Constraints a Ord) => a -> a -> Bool
- gLT :: forall a. (ADT a, Constraints a Ord) => a -> a -> Bool
- gGTE :: forall a. (ADT a, Constraints a Ord) => a -> a -> Bool
- gGT :: forall a. (ADT a, Constraints a Ord) => a -> a -> Bool
- gMax :: forall a. (ADT a, Constraints a Ord) => a -> a -> a
- gMin :: forall a. (ADT a, Constraints a Ord) => a -> a -> a
Newtype wrapper
Generics-derived methods
Eq
gNotEquals :: forall a. (ADT a, Constraints a Eq) => a -> a -> Bool #
Ord
gMax :: forall a. (ADT a, Constraints a Ord) => a -> a -> a #