dependent-sum-template-0.0.0.5: Template Haskell code to generate instances of classes in dependent-sum package

Safe HaskellNone
LanguageHaskell98

Data.GADT.Compare.TH

Documentation

runGComparing :: GComparing k t t1 (GOrdering k t t1) -> GOrdering k t t1 Source

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

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