Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class DeriveGCompare t where Source #
deriveGCompare :: t -> Q [Dec] Source #
Instances
DeriveGCompare Dec Source # | |
Defined in Data.GADT.Compare.TH | |
DeriveGCompare Name Source # | |
Defined in Data.GADT.Compare.TH | |
DeriveGCompare t => DeriveGCompare (Q t) Source # | |
Defined in Data.GADT.Compare.TH | |
DeriveGCompare t => DeriveGCompare [t] Source # | |
Defined in Data.GADT.Compare.TH deriveGCompare :: [t] -> Q [Dec] Source # |
data GComparing a b t Source #
Instances
Applicative (GComparing a b) Source # | |
Defined in Data.GADT.Compare.Monad pure :: a0 -> GComparing a b a0 # (<*>) :: GComparing a b (a0 -> b0) -> GComparing a b a0 -> GComparing a b b0 # liftA2 :: (a0 -> b0 -> c) -> GComparing a b a0 -> GComparing a b b0 -> GComparing a b c # (*>) :: GComparing a b a0 -> GComparing a b b0 -> GComparing a b b0 # (<*) :: GComparing a b a0 -> GComparing a b b0 -> GComparing a b a0 # | |
Functor (GComparing a b) Source # | |
Defined in Data.GADT.Compare.Monad fmap :: (a0 -> b0) -> GComparing a b a0 -> GComparing a b b0 # (<$) :: a0 -> GComparing a b b0 -> GComparing a b a0 # | |
Monad (GComparing a b) Source # | |
Defined in Data.GADT.Compare.Monad (>>=) :: GComparing a b a0 -> (a0 -> GComparing a b b0) -> GComparing a b b0 # (>>) :: GComparing a b a0 -> GComparing a b b0 -> GComparing a b b0 # return :: a0 -> GComparing a b a0 # |
runGComparing :: forall {k} {a :: k} {b :: k}. GComparing a b (GOrdering a b) -> GOrdering a b Source #
compare' :: forall {k} {a} {a :: k} {b :: k}. Ord a => a -> a -> GComparing a b () Source #