Safe Haskell	None
Language	Haskell98

Data.GADT.Compare.TH

Documentation

Minimal complete definition

Methods

Instances

DeriveGEQ Dec Source #
Methods deriveGEq :: Dec -> Q [Dec] Source #
DeriveGEQ Name Source #
Methods deriveGEq :: Name -> Q [Dec] Source #
DeriveGEQ t => DeriveGEQ [t] Source #
Methods deriveGEq :: [t] -> Q [Dec] Source #
DeriveGEQ t => DeriveGEQ (Q t) Source #
Methods deriveGEq :: Q t -> Q [Dec] Source #

Minimal complete definition

Methods

Instances

DeriveGCompare Dec Source #
Methods deriveGCompare :: Dec -> Q [Dec] Source #
DeriveGCompare Name Source #
Methods deriveGCompare :: Name -> Q [Dec] Source #
DeriveGCompare t => DeriveGCompare [t] Source #
Methods deriveGCompare :: [t] -> Q [Dec] Source #
DeriveGCompare t => DeriveGCompare (Q t) Source #
Methods deriveGCompare :: Q t -> Q [Dec] Source #

Instances

Monad (GComparing k a b) Source #
Methods (>>=) :: GComparing k a b a -> (a -> GComparing k a b b) -> GComparing k a b b # (>>) :: GComparing k a b a -> GComparing k a b b -> GComparing k a b b # return :: a -> GComparing k a b a # fail :: String -> GComparing k a b a #
Functor (GComparing k a b) Source #
Methods fmap :: (a -> b) -> GComparing k a b a -> GComparing k a b b # (<$) :: a -> GComparing k a b b -> GComparing k a b a #
Applicative (GComparing k a b) Source #
Methods pure :: a -> GComparing k a b a # (<>) :: GComparing k a b (a -> b) -> GComparing k a b a -> GComparing k a b b # liftA2 :: (a -> b -> c) -> GComparing k a b a -> GComparing k a b b -> GComparing k a b c # (>) :: GComparing k a b a -> GComparing k a b b -> GComparing k a b b # (<*) :: GComparing k a b a -> GComparing k a b b -> GComparing k a b a #

geq' :: GCompare t => t a -> t b -> GComparing x y (a := b) Source #

compare' :: Ord a1 => a1 -> a1 -> GComparing k a2 b () Source #