| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Data.GADT.Compare.TH
Documentation
class DeriveGCompare t where #
Methods
deriveGCompare :: t -> Q [Dec] #
Instances
| DeriveGCompare Dec # | |
Defined in Data.GADT.Compare.TH Methods deriveGCompare :: Dec -> Q [Dec] # | |
| DeriveGCompare Name # | |
Defined in Data.GADT.Compare.TH Methods deriveGCompare :: Name -> Q [Dec] # | |
| DeriveGCompare t => DeriveGCompare [t] # | |
Defined in Data.GADT.Compare.TH Methods deriveGCompare :: [t] -> Q [Dec] # | |
| DeriveGCompare t => DeriveGCompare (Q t) # | |
Defined in Data.GADT.Compare.TH Methods deriveGCompare :: Q t -> Q [Dec] # | |
data GComparing a b t #
Instances
| Monad (GComparing a b) # | |
Defined in Data.GADT.Compare.TH 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 # fail :: String -> GComparing a b a0 # | |
| Functor (GComparing a b) # | |
Defined in Data.GADT.Compare.TH Methods fmap :: (a0 -> b0) -> GComparing a b a0 -> GComparing a b b0 # (<$) :: a0 -> GComparing a b b0 -> GComparing a b a0 # | |
| Applicative (GComparing a b) # | |
Defined in Data.GADT.Compare.TH 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 # | |
runGComparing :: GComparing a b (GOrdering a b) -> GOrdering a b #
geq' :: GCompare t => t a -> t b -> GComparing x y (a := b) #
compare' :: Ord a1 => a1 -> a1 -> GComparing a2 b () #