Home
last modified time | relevance | path

Searched refs:TH (Results 1 – 25 of 4522) sorted by relevance

12345678910>>...181

/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/libraries/ghci/GHCi/TH/
H A DBinary.hs15 import qualified Language.Haskell.TH as TH
16 import qualified Language.Haskell.TH.Syntax as TH
19 instance Binary TH.Loc
20 instance Binary TH.Name
26 instance Binary TH.Info
27 instance Binary TH.Type
31 instance Binary TH.Role
32 instance Binary TH.Lit
35 instance Binary TH.Pat
36 instance Binary TH.Exp
[all …]
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/libraries/ghci/GHCi/TH/
H A DBinary.hs15 import qualified Language.Haskell.TH as TH
16 import qualified Language.Haskell.TH.Syntax as TH
19 instance Binary TH.Loc
20 instance Binary TH.Name
26 instance Binary TH.Info
27 instance Binary TH.Type
31 instance Binary TH.Role
32 instance Binary TH.Lit
35 instance Binary TH.Pat
36 instance Binary TH.Exp
[all …]
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/libraries/ghci/GHCi/TH/
H A DBinary.hs15 import qualified Language.Haskell.TH as TH
16 import qualified Language.Haskell.TH.Syntax as TH
19 instance Binary TH.Loc
20 instance Binary TH.Name
26 instance Binary TH.Info
27 instance Binary TH.Type
30 instance Binary TH.Role
31 instance Binary TH.Lit
34 instance Binary TH.Pat
35 instance Binary TH.Exp
[all …]
/dports/lang/ghc/ghc-8.10.7/libraries/ghci/GHCi/TH/
H A DBinary.hs15 import qualified Language.Haskell.TH as TH
16 import qualified Language.Haskell.TH.Syntax as TH
19 instance Binary TH.Loc
20 instance Binary TH.Name
26 instance Binary TH.Info
27 instance Binary TH.Type
30 instance Binary TH.Role
31 instance Binary TH.Lit
34 instance Binary TH.Pat
35 instance Binary TH.Exp
[all …]
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/haskell-src-meta-0.8.7/src/Language/Haskell/Meta/Syntax/
H A DTranslate.hs23 import qualified Language.Haskell.TH.Lib as TH
24 import qualified Language.Haskell.TH.Syntax as TH
218 TH.IntegerL z -> TH.IntegerL (negate z)
219 TH.RationalL q -> TH.RationalL (negate q)
220 TH.IntPrimL z' -> TH.IntPrimL (negate z')
221 TH.FloatPrimL r' -> TH.FloatPrimL (negate r')
222 TH.DoublePrimL r'' -> TH.DoublePrimL (negate r'')
560 foldAppT :: TH.Type -> [TH.Type] -> TH.Type
613 TH.InlineP (toName qn) TH.Inline TH.ConLike (transAct act)
617 inline | b = TH.Inline | otherwise = TH.NoInline
[all …]
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/
H A DClient.hs33 import qualified "template-haskell" Language.Haskell.TH as TH
63 declareSymbolic :: Bool -> TH.Name -> TH.Q [TH.Dec]
85 sType <- TH.conT ''SBV `TH.appT` typeCon
88 where nm = TH.mkName $ 's' : TH.nameBase c
89 def = TH.FunD nm [TH.Clause [] (TH.NormalB body) []]
90 body = TH.AppE (TH.VarE 'literal) (TH.ConE c)
99 mkSymbolicEnumeration :: TH.Name -> TH.Q [TH.Dec]
103 mkUninterpretedSort :: TH.Name -> TH.Q [TH.Dec]
107 ensureEnumeration :: TH.Name -> TH.Q [TH.Name]
109 c <- TH.reify nm
[all …]
/dports/lang/ghc/ghc-8.8.4-boot/libraries/template-haskell/dist-install/build/
H A D.depend-v.haskell2 …ell/dist-install/build/Language/Haskell/TH/LanguageExtensions.o : libraries/template-haskell/Langu…
5 …e-haskell/dist-install/build/Language/Haskell/TH/Lib/Map.o : libraries/template-haskell/Language/H…
8 …e-haskell/dist-install/build/Language/Haskell/TH/Syntax.o : libraries/template-haskell/Language/Ha…
29 …te-haskell/dist-install/build/Language/Haskell/TH/Quote.o : libraries/template-haskell/Language/Ha…
33 …e-haskell/dist-install/build/Language/Haskell/TH/PprLib.o : libraries/template-haskell/Language/Ha…
41 …ate-haskell/dist-install/build/Language/Haskell/TH/Ppr.o : libraries/template-haskell/Language/Has…
52 …askell/dist-install/build/Language/Haskell/TH/Lib/Internal.o : libraries/template-haskell/Language…
59 …ate-haskell/dist-install/build/Language/Haskell/TH/Lib.o : libraries/template-haskell/Language/Has…
65 …plate-haskell/dist-install/build/Language/Haskell/TH.o : libraries/template-haskell/Language/Haske…
67 …ell/dist-install/build/Language/Haskell/TH.o : libraries/template-haskell/dist-install/build/Langu…
[all …]
/dports/lang/ghc/ghc-8.8.4-boot/libraries/template-haskell/dist-boot/build/
H A D.depend-v.haskell2 …askell/dist-boot/build/Language/Haskell/TH/LanguageExtensions.o : libraries/template-haskell/Langu…
5 …late-haskell/dist-boot/build/Language/Haskell/TH/Lib/Map.o : libraries/template-haskell/Language/H…
8 …late-haskell/dist-boot/build/Language/Haskell/TH/Syntax.o : libraries/template-haskell/Language/Ha…
29 …plate-haskell/dist-boot/build/Language/Haskell/TH/Quote.o : libraries/template-haskell/Language/Ha…
33 …late-haskell/dist-boot/build/Language/Haskell/TH/PprLib.o : libraries/template-haskell/Language/Ha…
41 …mplate-haskell/dist-boot/build/Language/Haskell/TH/Ppr.o : libraries/template-haskell/Language/Has…
59 …mplate-haskell/dist-boot/build/Language/Haskell/TH/Lib.o : libraries/template-haskell/Language/Has…
65 …template-haskell/dist-boot/build/Language/Haskell/TH.o : libraries/template-haskell/Language/Haske…
67 …-haskell/dist-boot/build/Language/Haskell/TH.o : libraries/template-haskell/dist-boot/build/Langua…
68 …-haskell/dist-boot/build/Language/Haskell/TH.o : libraries/template-haskell/dist-boot/build/Langua…
[all …]
/dports/lang/ghc/ghc-8.10.7/compiler/deSugar/
H A DDsMeta.hs2052 repPrec :: Core TH.Name -> Core [(TH.Name,TH.PatQ)] -> DsM (Core TH.PatQ)
2055 repPinfix :: Core TH.PatQ -> Core TH.Name -> Core TH.PatQ -> DsM (Core TH.PatQ)
2111 repUnboxedSum :: Core TH.ExpQ -> TH.SumAlt -> TH.SumArity -> DsM (Core TH.ExpQ)
2119 repCond :: Core TH.ExpQ -> Core TH.ExpQ -> Core TH.ExpQ -> DsM (Core TH.ExpQ)
2122 repMultiIf :: Core [TH.Q (TH.Guard, TH.Exp)] -> DsM (Core TH.ExpQ)
2146 repRecCon :: Core TH.Name -> Core [TH.Q TH.FieldExp]-> DsM (Core TH.ExpQ)
2149 repRecUpd :: Core TH.ExpQ -> Core [TH.Q TH.FieldExp] -> DsM (Core TH.ExpQ)
2152 repFieldExp :: Core TH.Name -> Core TH.ExpQ -> DsM (Core (TH.Q TH.FieldExp))
2168 repGuarded :: Core [TH.Q (TH.Guard, TH.Exp)] -> DsM (Core TH.BodyQ)
2181 repNormalGE :: Core TH.ExpQ -> Core TH.ExpQ -> DsM (Core (TH.Q (TH.Guard, TH.Exp)))
[all …]
/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/
H A DTcSplice.hs118 import qualified Language.Haskell.TH as TH
1288 reifyInstances :: TH.Name -> [TH.Type] -> TcM [TH.Dec]
1385 ppr_ns (TH.Name _ (TH.NameG TH.DataName _pkg _mod)) = text "data"
1386 ppr_ns (TH.Name _ (TH.NameG TH.TcClsName _pkg _mod)) = text "tc"
1387 ppr_ns (TH.Name _ (TH.NameG TH.VarName _pkg _mod)) = text "var"
1390 reify :: TH.Name -> TcM TH.Info
1733 reifyDefImpl :: TH.Name -> [TH.Name] -> Type -> TcM TH.Dec
1735 TH.TySynInstD . TH.TySynEqn Nothing (mkThAppTs (TH.ConT n) (map TH.VarT args))
1738 tfNames :: TH.Dec -> (TH.Name, [TH.Name])
2110 = TH.Name (TH.mkOccName occ_str) (TH.NameQ (TH.mkModName mod_str))
[all …]
/dports/lang/racket-minimal/racket-8.3/src/expander/boot/
H A Dplace-primitive.rkt9 (define-values (struct:TH-place-channel TH-place-channel TH-place-channel?
10 TH-place-channel-ref TH-place-channel-set!)
11 …(make-struct-type 'TH-place-channel #f 2 0 #f (list (cons prop:evt (lambda (x) (TH-place-channel-r…
13 (define-values (TH-place-channel-in TH-place-channel-out)
15 (lambda (x) (TH-place-channel-ref x 0))
16 (lambda (x) (TH-place-channel-ref x 1))))
19 (hasheq 'struct:TH-place-channel struct:TH-place-channel
20 'TH-place-channel TH-place-channel
21 'TH-place-channel? TH-place-channel?
22 'TH-place-channel-in TH-place-channel-in
[all …]
/dports/lang/racket/racket-8.3/src/expander/boot/
H A Dplace-primitive.rkt9 (define-values (struct:TH-place-channel TH-place-channel TH-place-channel?
10 TH-place-channel-ref TH-place-channel-set!)
11 …(make-struct-type 'TH-place-channel #f 2 0 #f (list (cons prop:evt (lambda (x) (TH-place-channel-r…
13 (define-values (TH-place-channel-in TH-place-channel-out)
15 (lambda (x) (TH-place-channel-ref x 0))
16 (lambda (x) (TH-place-channel-ref x 1))))
19 (hasheq 'struct:TH-place-channel struct:TH-place-channel
20 'TH-place-channel TH-place-channel
21 'TH-place-channel? TH-place-channel?
22 'TH-place-channel-in TH-place-channel-in
[all …]
/dports/multimedia/libtheora/libtheora-1.1.1/doc/libtheora/latex/
H A Dcodec_8h.tex125 \index{codec.h@{codec.h}!TH\_\-DUPFRAME@{TH\_\-DUPFRAME}}
126 \index{TH\_\-DUPFRAME@{TH\_\-DUPFRAME}!codec.h@{codec.h}}
131 \index{TH\_\-EBADHEADER@{TH\_\-EBADHEADER}!codec.h@{codec.h}}
136 \index{TH\_\-EBADPACKET@{TH\_\-EBADPACKET}!codec.h@{codec.h}}
141 \index{TH\_\-EFAULT@{TH\_\-EFAULT}!codec.h@{codec.h}}
146 \index{TH\_\-EIMPL@{TH\_\-EIMPL}!codec.h@{codec.h}}
151 \index{TH\_\-EINVAL@{TH\_\-EINVAL}!codec.h@{codec.h}}
156 \index{TH\_\-ENOTFORMAT@{TH\_\-ENOTFORMAT}!codec.h@{codec.h}}
161 \index{TH\_\-EVERSION@{TH\_\-EVERSION}!codec.h@{codec.h}}
221 \index{TH\_\-PF\_\-420@{TH\_\-PF\_\-420}!codec.h@{codec.h}}\index{codec.h@{codec.h}!TH\_\-PF\_\-420…
[all …]
/dports/devel/hs-ShellCheck/ShellCheck-0.8.0/_cabal_deps/OneTuple-0.3.1/src/Data/Tuple/Solo/
H A DTH.hs7 module Data.Tuple.Solo.TH (
13 import Language.Haskell.TH (tupE)
17 import qualified Language.Haskell.TH as TH
18 import qualified Language.Haskell.TH.Syntax as TH
20 makeTup :: [TH.Exp] -> TH.Exp
21 makeTup [x] = TH.AppE (TH.ConE soloConName) x
23 makeTup xs = TH.TupE (map Just xs)
25 makeTup xs = TH.TupE xs
28 soloConName :: TH.Name
/dports/math/py-CyLP/CyLP-0.91.4/cylp/input/netlib/
H A Dvtp.base.mps469 KYP1..TH LNP1..TH 15. LY....TH 1.
473 YTP1..TH LNP1..TH -1. T.....TH 1.
544 KYP2..TH LNP2..TH 5. LY....TH 1.
548 YTP2..TH LNP2..TH -1. T.....TH 1.
613 KYP3..TH LNP3..TH 15. LY....TH 1.
614 KYP3..TH LSP3..TH 1. R.P3..TH 4000.
617 YTP3..TH LNP3..TH -1. T.....TH 1.
681 KYP4..TH LNP4..TH 15. LY....TH 1.
685 YTP4..TH LNP4..TH -1. T.....TH 1.
721 KYP5..TH LMP5..TH -60. LNP5..TH 20.
[all …]
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/yesod-core-1.6.18/src/Yesod/Routes/
H A DTH.hs1 module Yesod.Routes.TH
2 ( module Yesod.Routes.TH.Types
4 , module Yesod.Routes.TH.RenderRoute
5 , module Yesod.Routes.TH.ParseRoute
6 , module Yesod.Routes.TH.RouteAttrs
8 , module Yesod.Routes.TH.Dispatch
11 import Yesod.Routes.TH.Types
12 import Yesod.Routes.TH.RenderRoute
13 import Yesod.Routes.TH.ParseRoute
14 import Yesod.Routes.TH.RouteAttrs
[all …]
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/yesod-core-1.6.18/src/Yesod/Routes/
H A DTH.hs1 module Yesod.Routes.TH
2 ( module Yesod.Routes.TH.Types
4 , module Yesod.Routes.TH.RenderRoute
5 , module Yesod.Routes.TH.ParseRoute
6 , module Yesod.Routes.TH.RouteAttrs
8 , module Yesod.Routes.TH.Dispatch
11 import Yesod.Routes.TH.Types
12 import Yesod.Routes.TH.RenderRoute
13 import Yesod.Routes.TH.ParseRoute
14 import Yesod.Routes.TH.RouteAttrs
[all …]
/dports/devel/valgrind/valgrind-dragonfly-dragonfly/none/tests/ppc32/
H A Dopcodes.h28 #define X20_ASM(OPCODE, TH, RA, RB, XO, RES) \ argument
31 "(" #TH "<<" X20_TH_OFFSET ")" "+" \
37 #define X20(OPCODE, TH, RA, RB, XO, RES) X20_ASM(OPCODE, TH, RA, RB, XO, RES) argument
46 #define DCBT_S(RA, RB, TH) X20(DCBT_OPCODE, TH, RA, RB, DCBT_XO, DCBT_RES) argument
47 #define ASM_DCBT(RA, RB, TH) __asm__ __volatile__ (DCBT_S(RA, RB, TH)) argument
53 #define DCBTST_S(RA, RB, TH) X20(DCBTST_OPCODE, TH, RA, RB, DCBTST_XO, DCBTST_RES) argument
54 #define ASM_DCBTST(RA, RB, TH) __asm__ __volatile__ (DCBTST_S(RA, RB, TH)) argument
/dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/none/tests/ppc64/
H A Dopcodes.h28 #define X20_ASM(OPCODE, TH, RA, RB, XO, RES) \ argument
31 "(" #TH "<<" X20_TH_OFFSET ")" "+" \
37 #define X20(OPCODE, TH, RA, RB, XO, RES) X20_ASM(OPCODE, TH, RA, RB, XO, RES) argument
46 #define DCBT_S(RA, RB, TH) X20(DCBT_OPCODE, TH, RA, RB, DCBT_XO, DCBT_RES) argument
47 #define ASM_DCBT(RA, RB, TH) __asm__ __volatile__ (DCBT_S(RA, RB, TH)) argument
53 #define DCBTST_S(RA, RB, TH) X20(DCBTST_OPCODE, TH, RA, RB, DCBTST_XO, DCBTST_RES) argument
54 #define ASM_DCBTST(RA, RB, TH) __asm__ __volatile__ (DCBTST_S(RA, RB, TH)) argument
/dports/devel/valgrind/valgrind-dragonfly-dragonfly/none/tests/ppc64/
H A Dopcodes.h28 #define X20_ASM(OPCODE, TH, RA, RB, XO, RES) \ argument
31 "(" #TH "<<" X20_TH_OFFSET ")" "+" \
37 #define X20(OPCODE, TH, RA, RB, XO, RES) X20_ASM(OPCODE, TH, RA, RB, XO, RES) argument
46 #define DCBT_S(RA, RB, TH) X20(DCBT_OPCODE, TH, RA, RB, DCBT_XO, DCBT_RES) argument
47 #define ASM_DCBT(RA, RB, TH) __asm__ __volatile__ (DCBT_S(RA, RB, TH)) argument
53 #define DCBTST_S(RA, RB, TH) X20(DCBTST_OPCODE, TH, RA, RB, DCBTST_XO, DCBTST_RES) argument
54 #define ASM_DCBTST(RA, RB, TH) __asm__ __volatile__ (DCBTST_S(RA, RB, TH)) argument
/dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/none/tests/ppc32/
H A Dopcodes.h28 #define X20_ASM(OPCODE, TH, RA, RB, XO, RES) \ argument
31 "(" #TH "<<" X20_TH_OFFSET ")" "+" \
37 #define X20(OPCODE, TH, RA, RB, XO, RES) X20_ASM(OPCODE, TH, RA, RB, XO, RES) argument
46 #define DCBT_S(RA, RB, TH) X20(DCBT_OPCODE, TH, RA, RB, DCBT_XO, DCBT_RES) argument
47 #define ASM_DCBT(RA, RB, TH) __asm__ __volatile__ (DCBT_S(RA, RB, TH)) argument
53 #define DCBTST_S(RA, RB, TH) X20(DCBTST_OPCODE, TH, RA, RB, DCBTST_XO, DCBTST_RES) argument
54 #define ASM_DCBTST(RA, RB, TH) __asm__ __volatile__ (DCBTST_S(RA, RB, TH)) argument
/dports/math/freefem++/FreeFem-sources-4.6/examples/bamg/test/
H A Ddotest.pl37 $TH="Th$iteration$suffixe";
86 print BAMG "$quadoption $bamgoption -g $GH -o $TH -v 9 -oam_fmt $TH.am_fmt";
103 open (TH,"<$TH") || die "Can't open $TH";
108 while (<TH>) {
110 $nbv=<TH>;
115 ($x,$y,$ref)=split(/[\ \t\n]+/, <TH>);
128 $nbt=<TH>;
133 ($i0,$i1,$i2,$ref)=split(/[\ \t\n]+/, <TH>);
147 close TH;
159 $BTH=$TH;
[all …]
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/mattermost-api-50200.11.0/src/Network/Mattermost/
H A DTH.hs1 module Network.Mattermost.TH where
3 import qualified Language.Haskell.TH.Syntax as TH
4 import qualified Language.Haskell.TH.Lib as TH
7 import Lens.Micro.TH (DefName(..), makeLensesWith, lensRules, lensField)
9 suffixLenses :: TH.Name -> TH.DecsQ
11 lensRules & lensField .~ (\_ _ name -> [TopName $ TH.mkName $ TH.nameBase name ++ "L"])
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/brick-0.62/src/Brick/Types/
H A DTH.hs1 module Brick.Types.TH
6 import qualified Language.Haskell.TH.Syntax as TH
7 import qualified Language.Haskell.TH.Lib as TH
10 import Lens.Micro.TH (DefName(..), makeLensesWith, lensRules, lensField)
17 suffixLenses :: TH.Name -> TH.DecsQ
19 lensRules & lensField .~ (\_ _ name -> [TopName $ TH.mkName $ TH.nameBase name ++ "L"])
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/brick-0.62/src/Brick/Types/
H A DTH.hs1 module Brick.Types.TH
6 import qualified Language.Haskell.TH.Syntax as TH
7 import qualified Language.Haskell.TH.Lib as TH
10 import Lens.Micro.TH (DefName(..), makeLensesWith, lensRules, lensField)
17 suffixLenses :: TH.Name -> TH.DecsQ
19 lensRules & lensField .~ (\_ _ name -> [TopName $ TH.mkName $ TH.nameBase name ++ "L"])

12345678910>>...181