| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.GADT.Compare.TH
Documentation
class DeriveGCompare t where Source #
Methods
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 Methods deriveGCompare :: [t] -> Q [Dec] Source # | |
compare' :: forall {k} {a1} {a2 :: k} {b :: k}. Ord a1 => a1 -> a1 -> GComparing a2 b () Source #
geq' :: forall {k1} {k2} t (a :: k1) (b :: k1) (x :: k2) (y :: k2). GCompare t => t a -> t b -> GComparing x y (a :~: b) Source #
runGComparing :: forall {k} {a :: k} {b :: k}. GComparing a b (GOrdering a b) -> GOrdering a b Source #
data GComparing (a :: k) (b :: k) t Source #
Instances
| Applicative (GComparing a b) Source # | |
Defined in Data.GADT.Compare.Monad Methods 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 Methods 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 Methods (>>=) :: 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 # | |