Home
last modified time | relevance | path

Searched refs:makeGT (Results 1 – 5 of 5) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/deriving-compat-0.5.10/src/Data/Ord/
H A DDeriving.hs17 , makeGT
/dports/devel/hs-threadscope/threadscope-0.2.14/_cabal_deps/gtk2hs-buildtools-0.13.8.0/hierarchyGen/
H A DTypeGen.hs266 ss " = EQ".makeGT obj preds
268 makeGT obj [] = id function
269 makeGT obj (pr:eds) = indent 1.ss "compare ".ss obj.ss "Tag ". function
271 ss " = GT".makeGT obj eds
/dports/x11/conlecterm/conlecterm-1.4.3.0/_cabal_deps/gtk2hs-buildtools-0.13.8.0/hierarchyGen/
H A DTypeGen.hs266 ss " = EQ".makeGT obj preds
268 makeGT obj [] = id function
269 makeGT obj (pr:eds) = indent 1.ss "compare ".ss obj.ss "Tag ". function
271 ss " = GT".makeGT obj eds
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/deriving-compat-0.5.10/tests/Types/
H A DEqOrd.hs168 (<) = $(makeGT ''TyConWrap)
228 (<) = $(makeGT 'TyFamilyWrap1)
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/deriving-compat-0.5.10/src/Data/Ord/Deriving/
H A DInternal.hs22 , makeGT
75 makeGT :: Name -> Q Exp
76 makeGT = makeOrdFun OrdGT [ match (conP gtDataName []) (normalB $ conE trueDataName) [] function