 | derive-gadt-0.1.1: Instance deriving for (a subset of) GADTs. | Source code | Contents | Index |
| Language.Haskell.Derive.Gadt.Class.Ord |
| deriveOrdGadts :: String -> Q [Dec] | Source |
| deriveOrdGadtInfo :: GadtInfo -> Q [Dec] | Source |
| deriveOrdConsQ :: Type -> [(String, Int)] -> Q [Dec] | Source |
| mkCompareE :: Type -> [(String, Int)] -> Name -> Name -> ExpQ | Source |
| mkGo :: [(String, Int)] -> Q [Dec] | Source |
| mkTagMap :: [String] -> Q [Dec] | Source |
| mkCompareSame :: String -> Int -> ClauseQ | Source |
| mkCompareDiff :: ClauseQ | Source |