Stage1: Lay the ground work for all sorts of Template Haskell hackery in the later stages. Only a handful of class specifications in this file are for later public consumption, and none of those are fleshed out here.
This multiple-stage implementation is necessitated by the way Template Haskell is implemented in GHC.
|mkXT :: Name -> DecQ|
|mkHT :: Name -> DecQ|
|class LSN a d a' | a -> d a', d a' -> a|
|class Trichotomy n s | n -> s|
|class TEven a b | a -> b|
|class TSucc n m | n -> m, m -> n|
|class TAddC' a b c d | a b c -> d|
|class TNF' a b c | a -> b c|
|class THex a where|
|class SHR1 a b c | a b -> c|
|Produced by Haddock version 0.8|