Searched refs:makeGT (Results 1 – 5 of 5) sorted by relevance
17 , makeGT
266 ss " = EQ".makeGT obj preds268 makeGT obj [] = id function269 makeGT obj (pr:eds) = indent 1.ss "compare ".ss obj.ss "Tag ". function271 ss " = GT".makeGT obj eds
168 (<) = $(makeGT ''TyConWrap)228 (<) = $(makeGT 'TyFamilyWrap1)
22 , makeGT75 makeGT :: Name -> Q Exp76 makeGT = makeOrdFun OrdGT [ match (conP gtDataName []) (normalB $ conE trueDataName) [] function