| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-exactprint-0.6.4/tests/examples/ghc86/ |
| H A D | T6018th.hs | 18 [ PlainTV (mkName "a"), PlainTV (mkName "b"), PlainTV (mkName "c") ]
19 (TyVarSig (KindedTV (mkName "result") (VarT (mkName "k"))))
21 [(mkName "a"), (mkName "b"), (mkName "c") ]))
24 (TySynEqn [ ConT (mkName "Int"), ConT (mkName "Char")
29 (TySynEqn [ ConT (mkName "Char"), ConT (mkName "Bool")
34 (TySynEqn [ ConT (mkName "Bool"), ConT (mkName "Int")
47 [ PlainTV (mkName "a"), KindedTV (mkName "b") (VarT (mkName "k")) ]
49 (Just $ InjectivityAnn (mkName "r") [mkName "a"]))
52 (TySynEqn [ ConT (mkName "Int"), VarT (mkName "b") ]
69 (Just $ InjectivityAnn (mkName "r") [(mkName "a"), (mkName "b")]))
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-exactprint-0.6.4/tests/examples/ghc80/ |
| H A D | T6018th.hs | 18 [ PlainTV (mkName "a"), PlainTV (mkName "b"), PlainTV (mkName "c") ]
19 (TyVarSig (KindedTV (mkName "result") (VarT (mkName "k"))))
21 [(mkName "a"), (mkName "b"), (mkName "c") ])
24 (TySynEqn [ ConT (mkName "Int"), ConT (mkName "Char")
29 (TySynEqn [ ConT (mkName "Char"), ConT (mkName "Bool")
34 (TySynEqn [ ConT (mkName "Bool"), ConT (mkName "Int")
47 [ PlainTV (mkName "a"), KindedTV (mkName "b") (VarT (mkName "k")) ]
49 (Just $ InjectivityAnn (mkName "r") [mkName "a"])
52 (TySynEqn [ ConT (mkName "Int"), VarT (mkName "b") ]
69 (Just $ InjectivityAnn (mkName "r") [(mkName "a"), (mkName "b")])
[all …]
|
| H A D | T10267.hs | 15 SigD (mkName "k")
16 (ForallT [PlainTV (mkName "a")]
18 (AppT (AppT ArrowT (VarT (mkName "a"))) (VarT (mkName "a"))))
19 , FunD (mkName "k")
20 [Clause [] (NormalB (UnboundVarE (mkName "_foo"))) []]
24 SigD (mkName "l")
25 (ForallT [PlainTV (mkName "a")]
27 (AppT (AppT ArrowT (VarT (mkName "a"))) (VarT (mkName "a"))))
28 , FunD (mkName "l")
29 [Clause [VarP (mkName "x")] (NormalB (UnboundVarE (mkName "_"))) []]
|
| H A D | T10945.hs | 8 SigD (mkName "m")
9 (ForallT [PlainTV (mkName "a")]
11 (AppT (AppT ArrowT (VarT (mkName "a"))) (VarT (mkName "a"))))
12 , FunD (mkName "m")
13 [Clause [VarP (mkName "x")] (NormalB (VarE (mkName "x"))) []]
|
| H A D | T8633.hs | 4 t1 = case mkName "^.." of
8 t2 = case mkName "Control.Lens.^.." of
12 t3 = case mkName "Data.Bits..&." of
15 t4 = case mkName "abcde" of
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/shakespeare-2.0.25/Text/ |
| H A D | MkSizeType.hs | 22 where name = mkName $ name'
33 derives = map mkName ["Eq", "Ord"]
37 where showSize = VarE $ mkName "showSize"
38 x = mkName "x"
72 fun = mkName fun'
73 v1 = mkName "v1"
74 v2 = mkName "v2"
80 fun = mkName fun'
81 v = mkName "v"
87 fun = mkName fun'
[all …]
|
| /dports/finance/hs-hledger/hledger-1.19/_cabal_deps/shakespeare-2.0.25/Text/ |
| H A D | MkSizeType.hs | 22 where name = mkName $ name'
33 derives = map mkName ["Eq", "Ord"]
37 where showSize = VarE $ mkName "showSize"
38 x = mkName "x"
72 fun = mkName fun'
73 v1 = mkName "v1"
74 v2 = mkName "v2"
80 fun = mkName fun'
81 v = mkName "v"
87 fun = mkName fun'
[all …]
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/shakespeare-2.0.25/Text/ |
| H A D | MkSizeType.hs | 22 where name = mkName $ name'
33 derives = map mkName ["Eq", "Ord"]
37 where showSize = VarE $ mkName "showSize"
38 x = mkName "x"
72 fun = mkName fun'
73 v1 = mkName "v1"
74 v2 = mkName "v2"
80 fun = mkName fun'
81 v = mkName "v"
87 fun = mkName fun'
[all …]
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/shakespeare-2.0.24/Text/ |
| H A D | MkSizeType.hs | 22 where name = mkName $ name'
33 derives = map mkName ["Eq", "Ord"]
37 where showSize = VarE $ mkName "showSize"
38 x = mkName "x"
72 fun = mkName fun'
73 v1 = mkName "v1"
74 v2 = mkName "v2"
80 fun = mkName fun'
81 v = mkName "v"
87 fun = mkName fun'
[all …]
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/shakespeare-2.0.24.1/Text/ |
| H A D | MkSizeType.hs | 22 where name = mkName $ name'
33 derives = map mkName ["Eq", "Ord"]
37 where showSize = VarE $ mkName "showSize"
38 x = mkName "x"
72 fun = mkName fun'
73 v1 = mkName "v1"
74 v2 = mkName "v2"
80 fun = mkName fun'
81 v = mkName "v"
87 fun = mkName fun'
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-exactprint-0.6.4/tests/examples/ghc810/ |
| H A D | TH_unresolvedInfix_Lib.hs | 29 n = conE (mkName "N")
30 plus = conE (mkName ":+")
31 times = conE (mkName ":*")
38 plus2 = varE (mkName "+:")
39 times2 = varE (mkName "*:")
49 plus' = mkName ":+"
50 times' = mkName ":*"
86 int = conT (mkName "Int")
87 tyPlus = mkName "+"
88 tyTimes = mkName "*"
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/jose-0.8.4/src/Crypto/JOSE/ |
| H A D | TH.hs | 44 conize = mkName . capitalize . sanitize
47 guardPred s = [e| $(varE $ mkName "s") == s |]
72 parseJSONClauseQ vs = clause [varP $ mkName "s"] (guardedBody vs) []
86 aesonInstance s n = appT (conT n) (conT $ mkName s)
101 derive = map mkName ["Eq", "Ord", "Show"]
104 dataD (cxt []) (mkName s) [] (map conQ vs) derive
106 dataD (cxt []) (mkName s) [] Nothing (map conQ vs) (mapM conT derive)
108 …dataD (cxt []) (mkName s) [] Nothing (map conQ vs) [return (DerivClause Nothing (map ConT derive))]
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/contravariant-extras-0.3.5.2/library/Contravariant/Extras/ |
| H A D | TH.hs | 28 mkName (showString baseName (show arity))
36 map (Compat.specifiedPlainTV . mkName) ("a" : bs)
50 VarT (mkName "a")
57 VarT (mkName "a")
68 VarT (mkName (showString "b" (show index)))
76 VarT (mkName (showString "b" (show index)))
110 VarP (mkName (showString "v" (show index)))
184 VarE (mkName (showString "f" (show (arity - index + 1))))
|
| /dports/devel/hs-hls-install/haskell-language-server-1.4.0/plugins/hls-splice-plugin/test/testdata/ |
| H A D | TDeclKindError.error.hs | 4 import Language.Haskell.TH ( mkName, clause, normalB, funD, sigD )
9 [sigD (mkName "foo") [t|Int|]
10 ,funD (mkName "foo") [clause [] (normalB [|42|]) []]
11 ,sigD (mkName "bar") [t|Int|]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/plugins/hls-splice-plugin/test/testdata/ |
| H A D | TDeclKindError.error.hs | 4 import Language.Haskell.TH ( mkName, clause, normalB, funD, sigD )
9 [sigD (mkName "foo") [t|Int|]
10 ,funD (mkName "foo") [clause [] (normalB [|42|]) []]
11 ,sigD (mkName "bar") [t|Int|]
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/shakespeare-2.0.25/Text/Internal/ |
| H A D | CssCommon.hs | 55 absoluteSizeE = varE $ mkName "absoluteSize"
57 "cm" -> appE absoluteSizeE (conE $ mkName "Centimeter")
58 "em" -> conE $ mkName "EmSize"
59 "ex" -> conE $ mkName "ExSize"
60 "in" -> appE absoluteSizeE (conE $ mkName "Inch")
61 "mm" -> appE absoluteSizeE (conE $ mkName "Millimeter")
62 "pc" -> appE absoluteSizeE (conE $ mkName "Pica")
63 "pt" -> appE absoluteSizeE (conE $ mkName "Point")
64 "px" -> conE $ mkName "PixelSize"
65 "%" -> varE $ mkName "percentageSize"
|
| /dports/finance/hs-hledger/hledger-1.19/_cabal_deps/shakespeare-2.0.25/Text/Internal/ |
| H A D | CssCommon.hs | 55 absoluteSizeE = varE $ mkName "absoluteSize"
57 "cm" -> appE absoluteSizeE (conE $ mkName "Centimeter")
58 "em" -> conE $ mkName "EmSize"
59 "ex" -> conE $ mkName "ExSize"
60 "in" -> appE absoluteSizeE (conE $ mkName "Inch")
61 "mm" -> appE absoluteSizeE (conE $ mkName "Millimeter")
62 "pc" -> appE absoluteSizeE (conE $ mkName "Pica")
63 "pt" -> appE absoluteSizeE (conE $ mkName "Point")
64 "px" -> conE $ mkName "PixelSize"
65 "%" -> varE $ mkName "percentageSize"
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/shakespeare-2.0.25/Text/Internal/ |
| H A D | CssCommon.hs | 55 absoluteSizeE = varE $ mkName "absoluteSize"
57 "cm" -> appE absoluteSizeE (conE $ mkName "Centimeter")
58 "em" -> conE $ mkName "EmSize"
59 "ex" -> conE $ mkName "ExSize"
60 "in" -> appE absoluteSizeE (conE $ mkName "Inch")
61 "mm" -> appE absoluteSizeE (conE $ mkName "Millimeter")
62 "pc" -> appE absoluteSizeE (conE $ mkName "Pica")
63 "pt" -> appE absoluteSizeE (conE $ mkName "Point")
64 "px" -> conE $ mkName "PixelSize"
65 "%" -> varE $ mkName "percentageSize"
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/shakespeare-2.0.24/Text/Internal/ |
| H A D | CssCommon.hs | 55 absoluteSizeE = varE $ mkName "absoluteSize"
57 "cm" -> appE absoluteSizeE (conE $ mkName "Centimeter")
58 "em" -> conE $ mkName "EmSize"
59 "ex" -> conE $ mkName "ExSize"
60 "in" -> appE absoluteSizeE (conE $ mkName "Inch")
61 "mm" -> appE absoluteSizeE (conE $ mkName "Millimeter")
62 "pc" -> appE absoluteSizeE (conE $ mkName "Pica")
63 "pt" -> appE absoluteSizeE (conE $ mkName "Point")
64 "px" -> conE $ mkName "PixelSize"
65 "%" -> varE $ mkName "percentageSize"
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/shakespeare-2.0.24.1/Text/Internal/ |
| H A D | CssCommon.hs | 55 absoluteSizeE = varE $ mkName "absoluteSize"
57 "cm" -> appE absoluteSizeE (conE $ mkName "Centimeter")
58 "em" -> conE $ mkName "EmSize"
59 "ex" -> conE $ mkName "ExSize"
60 "in" -> appE absoluteSizeE (conE $ mkName "Inch")
61 "mm" -> appE absoluteSizeE (conE $ mkName "Millimeter")
62 "pc" -> appE absoluteSizeE (conE $ mkName "Pica")
63 "pt" -> appE absoluteSizeE (conE $ mkName "Point")
64 "px" -> conE $ mkName "PixelSize"
65 "%" -> varE $ mkName "percentageSize"
|
| /dports/devel/hs-ShellCheck/ShellCheck-0.8.0/_cabal_deps/th-abstraction-0.4.3.0/test/ |
| H A D | Main.hs | 149 let a = mkName "a"
196 let a = mkName "a"
250 let a = mkName "a"
300 x = mkName "x"
444 let a = mkName "a"
466 let c = mkName "c"
513 let [a,k] = map mkName ["a","k"]
662 let b = mkName "b"
815 a = mkName "a"
1092 let a = mkName "a"
[all …]
|
| /dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/th-abstraction-0.3.2.0/test/ |
| H A D | Main.hs | 146 let a = mkName "a"
193 let a = mkName "a"
247 let a = mkName "a"
297 x = mkName "x"
441 let a = mkName "a"
463 let c = mkName "c"
510 let [a,k] = map mkName ["a","k"]
660 let b = mkName "b"
813 a = mkName "a"
841 { datatypeName = mkName "Foo"
[all …]
|
| /dports/converters/hs-aeson-pretty/aeson-pretty-0.8.8/_cabal_deps/th-abstraction-0.3.2.0/test/ |
| H A D | Main.hs | 146 let a = mkName "a"
193 let a = mkName "a"
247 let a = mkName "a"
297 x = mkName "x"
441 let a = mkName "a"
463 let c = mkName "c"
510 let [a,k] = map mkName ["a","k"]
660 let b = mkName "b"
813 a = mkName "a"
841 { datatypeName = mkName "Foo"
[all …]
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/th-abstraction-0.4.2.0/test/ |
| H A D | Main.hs | 147 let a = mkName "a"
194 let a = mkName "a"
248 let a = mkName "a"
298 x = mkName "x"
442 let a = mkName "a"
464 let c = mkName "c"
511 let [a,k] = map mkName ["a","k"]
660 let b = mkName "b"
813 a = mkName "a"
841 { datatypeName = mkName "Foo"
[all …]
|
| /dports/finance/hs-hledger/hledger-1.19/_cabal_deps/th-abstraction-0.3.2.0/test/ |
| H A D | Main.hs | 146 let a = mkName "a"
193 let a = mkName "a"
247 let a = mkName "a"
297 x = mkName "x"
441 let a = mkName "a"
463 let c = mkName "c"
510 let [a,k] = map mkName ["a","k"]
660 let b = mkName "b"
813 a = mkName "a"
841 { datatypeName = mkName "Foo"
[all …]
|