/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/parameterized-utils-2.1.3.0/src/Data/Parameterized/TH/ |
H A D | GADT.hs | 255 constructorNumberMatches :: [ConstructorInfo] -> [MatchQ] 262 outerOrdMatches :: DatatypeInfo -> ExpQ -> Maybe ExpQ -> [MatchQ] 339 -> Q [MatchQ] 356 -> Q [MatchQ] 386 -> MatchQ 459 -> MatchQ 483 showCon :: ExpQ -> Name -> Int -> MatchQ 493 matchShowCtor :: ExpQ -> ConstructorInfo -> MatchQ
|
/dports/math/py-mathics/Mathics3-2.2.0/mathics/packages/CURLLink/ |
H A D | HTTP.m | 302 If[MatchQ[handle["Proxies"], {}|{""}], 455 If[MatchQ[handle["Proxies"], {}|{""}], 618 If[!MatchQ[("VerifyPeer" /. opts), True|False], 623 If[!MatchQ[("StoreCookies" /. opts), True|False], 763 If[MatchQ[list, {"Rules", List[_String ...]}], 1110 If[ MatchQ[parameters, {__}] && MatchQ[ multipartElements, {__}], 1159 If[MatchQ[parameters, {__}], 1258 MatchQ[me,{{_String, _String, {__Integer}}..}], 1353 MatchQ[res, List[_String, _String]], 1384 MatchQ[result, List[_String, _String]], [all …]
|
/dports/math/reduce/Reduce-svn5758-src/contrib/rubi-red/rubi4/Rubi-Red/ |
H A D | IntegrationUtilityFunctions.m | 419 MatchQ[u, m_*v_. /; RationalQ[m] && m<0]] 633 MatchQ[u, a_.+b_.*x /; FreeQ[{a,b},x]], 641 MatchQ[u, a_.+b_.*x+c_.*x^2 /; FreeQ[{a,b,c},x]] || MatchQ[u, a_.+c_.*x^2 /; FreeQ[{a,c},x]], 683 MatchQ[u, a_.*x^n_. /; FreeQ[{a,n},x]]] 2603 MatchQ[u, (a_.+b_.*f_[c_.+d_.*x])^n_. /; 3662 Not[MatchQ[u,Log[v_]]] && 3670 Not[MatchQ[u,Log[v_]]] && 3671 Not[MatchQ[u,f_[v_]^2 /; LinearQ[v,x]]] && 3683 Not[MatchQ[u,Log[v_]]] && 3691 Not[MatchQ[u,Log[v_]]] && [all …]
|
H A D | IntegrationUtilityFunctions.nb | 298 RowBox[{"MatchQ", "[", 316 RowBox[{"MatchQ", "[", 7033 RowBox[{"MatchQ", "[", 7043 RowBox[{"MatchQ", "[", 7056 RowBox[{"MatchQ", "[", 7070 RowBox[{"MatchQ", "[", 7090 RowBox[{"MatchQ", "[", 7112 RowBox[{"MatchQ", "[", 7135 RowBox[{"MatchQ", "[", 7158 RowBox[{"MatchQ", "[", [all …]
|
/dports/math/reduce/Reduce-svn5758-src/contrib/rubi-red/ |
H A D | IntegrationUtilityFunctions.m | 419 MatchQ[u, m_*v_. /; RationalQ[m] && m<0]] 633 MatchQ[u, a_.+b_.*x /; FreeQ[{a,b},x]], 641 MatchQ[u, a_.+b_.*x+c_.*x^2 /; FreeQ[{a,b,c},x]] || MatchQ[u, a_.+c_.*x^2 /; FreeQ[{a,c},x]], 683 MatchQ[u, a_.*x^n_. /; FreeQ[{a,n},x]]] 2603 MatchQ[u, (a_.+b_.*f_[c_.+d_.*x])^n_. /; 3662 Not[MatchQ[u,Log[v_]]] && 3670 Not[MatchQ[u,Log[v_]]] && 3671 Not[MatchQ[u,f_[v_]^2 /; LinearQ[v,x]]] && 3683 Not[MatchQ[u,Log[v_]]] && 3691 Not[MatchQ[u,Log[v_]]] && [all …]
|
H A D | IntegrationUtilityFunctions.nb | 298 RowBox[{"MatchQ", "[", 316 RowBox[{"MatchQ", "[", 7033 RowBox[{"MatchQ", "[", 7043 RowBox[{"MatchQ", "[", 7056 RowBox[{"MatchQ", "[", 7070 RowBox[{"MatchQ", "[", 7090 RowBox[{"MatchQ", "[", 7112 RowBox[{"MatchQ", "[", 7135 RowBox[{"MatchQ", "[", 7158 RowBox[{"MatchQ", "[", [all …]
|
/dports/math/reduce/Reduce-svn5758-src/packages/rubi_red/rubi-rules/ |
H A D | IntegrationUtilityFunctions.m | 413 MatchQ[u, m_*v_. /; RationalQ[m] && m<0]] 661 MatchQ[u,x^n_. /; FreeQ[n,x]] 1558 MatchQ[u,(a_.+b_.*sin[c_.+d_.*x]^k_.)^n_. /; 2648 (*Not[MatchQ[u,Log[f_[x]^2] /; SinCosQ[f]]] && *) 2649 Not[MatchQ[u,Log[v_]]] && 2657 Not[MatchQ[u,Log[v_]]] && 2658 Not[MatchQ[u,f_[v_]^2 /; LinearQ[v,x]]] && 2659 Not[MatchQ[u,ArcTan[a_.*Tan[v_]] /; FreeQ[a,x]]] && 2673 (*Not[MatchQ[u,Log[f_[x]^2] /; SinhCoshQ[f]]] && *) 2674 Not[MatchQ[u,Log[v_]]] && [all …]
|
H A D | GeneralIntegrationRules.m | 45 Not[MatchQ[u*(a*v^m)^p,(Sec[c_.+d_.*x]^2)^p /; FreeQ[{c,d},x] && p>0]] && 46 Not[MatchQ[u*(a*v^m)^p,(Csc[c_.+d_.*x]^2)^p /; FreeQ[{c,d},x] && p>0]] && 47 Not[MatchQ[u*(a*v^m)^p,(Sech[c_.+d_.*x]^2)^p /; FreeQ[{c,d},x] && p>0]] && 48 Not[MatchQ[u*(a*v^m)^p,(-Csch[c_.+d_.*x]^2)^p /; FreeQ[{c,d},x] && p>0]] 1012 Not[MatchQ[u,v_^n_. /; SumQ[v] && IntegerQ[n] && n>0]] && 1014 Not[MatchQ[u,1/(a_.+b_.*f_^(d_.+e_.*x)+c_.*f_^(g_.+h_.*x)) /; 1023 Not[MatchQ[u,v_^n_. /; SumQ[v] && IntegerQ[n] && n>0]] && 1025 Not[MatchQ[u,1/(a_.+b_.*f_^(d_.+e_.*x)+c_.*f_^(g_.+h_.*x)) /; 1335 Not[MatchQ[v, x^m_. /; FreeQ[m,x]]] && 1926 FreeQ[{a,b,f,g},x] && Not[MatchQ[v,c_+t_ /; FreeQ[c,x]]] && Not[MatchQ[w,c_+t_ /; FreeQ[c,x]]] [all …]
|
/dports/math/py-mathics/Mathics3-2.2.0/mathics/packages/DiscreteMath/ |
H A D | RSolve.m | 1987 If[MatchQ[(num = Numerator[ff1]), 2048 If[MatchQ[iInfo[n], n >= _], 2066 ]; (* If MatchQ[iInfo[n], n >= _] *) 2092 and g[x] (see MatchQ). *) 2161 ) /; MatchQ[Collect[z1, z], z^k1_. /; 2367 If[MatchQ[sqrt, Power[z_, 1/2]], 2374 If[MatchQ[sqrt, Power[z_, 1/2]], 2379 Which[MatchQ[cos, Cosh[z_]], 2381 MatchQ[cos, -Cosh[z_]], 2383 MatchQ[cos, Cos[z_]], [all …]
|
/dports/math/reduce/Reduce-svn5758-src/packages/rubi_red/rubi-rules/RationalFunctions/ |
H A D | RationalFunctionsOfLinears.m | 116 SimplifyFlag && FreeQ[a,x] && Not[MatchQ[u,b_*v_ /; FreeQ[b,x]]], 121 FreeQ[a,x] && Not[MatchQ[u,b_*v_ /; FreeQ[b,x]]]] 157 MatchQ[u,1/(a_+b_.*x) /; FreeQ[{a,b},x]] || 158 MatchQ[u,x^m_./(a_+b_.*x^n_) /; FreeQ[{a,b,m,n},x] && ZeroQ[m-n+1]] || 159 MatchQ[u,1/((a_.+b_.*x)*(c_+d_.*x)) /; FreeQ[{a,b,c,d},x]] || 160 MatchQ[u,(d_.+e_.*x)/(a_+b_.*x+c_.*x^2) /; FreeQ[{a,b,c,d,e},x]] || 167 MatchQ[u,1/(a_+b_.*x) /; FreeQ[{a,b},x]] || 168 MatchQ[u,x^m_./(a_+b_.*x^n_) /; FreeQ[{a,b,m,n},x] && ZeroQ[m-n+1]] || 169 MatchQ[u,1/((a_.+b_.*x)*(c_+d_.*x)) /; FreeQ[{a,b,c,d},x]] || 170 MatchQ[u,(d_.+e_.*x)/(a_+b_.*x+c_.*x^2) /; FreeQ[{a,b,c,d,e},x]] || [all …]
|
/dports/math/py-mathics/Mathics3-2.2.0/mathics/packages/Rubi-save/ |
H A D | IntegrationUtilityFunctions.m | 1474 MatchQ[u, a_.*x^n_. /; FreeQ[{a,n},x]]] 1515 MatchQ[u, a_.+b_.*x /; FreeQ[{a,b},x]]] 1543 MatchQ[u, a_.+b_.*x+c_.*x^2 /; FreeQ[{a,b,c},x]] || MatchQ[u, a_.+c_.*x^2 /; FreeQ[{a,c},x]]] 1560 MatchQ[u, a_.+d_.*x^3 /; FreeQ[{a,d},x]]] 5963 If[MatchQ[Together[a],d_.*Complex[0,c_]], 6027 If[MatchQ[Together[a],d_.*Complex[0,c_]] && MatchQ[Together[b],d_.*Complex[0,c_]], 6167 If[MatchQ[Together[a],d_.*Complex[0,c_]] && MatchQ[Together[b],d_.*Complex[0,c_]], 6361 (* Not[MatchQ[u,Log[v_]]] && 6382 Not[MatchQ[u,Log[v_]]] && 6390 Not[MatchQ[u,Log[v_]]] && [all …]
|
/dports/math/reduce/Reduce-svn5758-src/contrib/rubi-red/rubi4/IntegrationRules/MathematicaNotebookFiles/ |
H A D | IntegrationUtilityFunctions.nb | 283 RowBox[{"MatchQ", "[", 301 RowBox[{"MatchQ", "[", 1460 RowBox[{"MatchQ", "[", 2306 RowBox[{"MatchQ", "[", 2409 RowBox[{"MatchQ", "[", 6303 RowBox[{"MatchQ", "[", 6324 RowBox[{"MatchQ", "[", 6357 RowBox[{"MatchQ", "[", 6390 RowBox[{"MatchQ", "[", 6429 RowBox[{"MatchQ", "[", [all …]
|
H A D | GeneralIntegrationRules.nb | 211 RowBox[{"MatchQ", "[", 234 RowBox[{"MatchQ", "[", 257 RowBox[{"MatchQ", "[", 280 RowBox[{"MatchQ", "[", 5192 RowBox[{"MatchQ", "[", 5274 RowBox[{"MatchQ", "[", 5361 RowBox[{"MatchQ", "[", 5524 RowBox[{"MatchQ", "[", 5531 RowBox[{"MatchQ", "[", 7214 RowBox[{"MatchQ", "[", [all …]
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/libraries/template-haskell/Language/Haskell/TH/Lib/ |
H A D | Internal.hs | 44 type MatchQ = Q Match type 220 match :: PatQ -> BodyQ -> [DecQ] -> MatchQ 288 lamCaseE :: [MatchQ] -> ExpQ 309 caseE :: ExpQ -> [MatchQ] -> ExpQ
|
/dports/lang/ghc/ghc-8.10.7/libraries/template-haskell/Language/Haskell/TH/Lib/ |
H A D | Internal.hs | 44 type MatchQ = Q Match function 220 match :: PatQ -> BodyQ -> [DecQ] -> MatchQ 288 lamCaseE :: [MatchQ] -> ExpQ 309 caseE :: ExpQ -> [MatchQ] -> ExpQ
|
/dports/math/reduce/Reduce-svn5758-src/contrib/rubi-red/rubi4/IntegrationRules/MathematicaNotebookFiles/RationalFunctions/ |
H A D | RationalFunctionsOfLinears.nb | 412 RowBox[{"MatchQ", "[", 445 RowBox[{"MatchQ", "[", 569 RowBox[{"MatchQ", "[", 581 RowBox[{"MatchQ", "[", 599 RowBox[{"MatchQ", "[", 616 RowBox[{"MatchQ", "[", 685 RowBox[{"MatchQ", "[", 697 RowBox[{"MatchQ", "[", 715 RowBox[{"MatchQ", "[", 732 RowBox[{"MatchQ", "[", [all …]
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/libraries/template-haskell/Language/Haskell/TH/ |
H A D | Lib.hs | 22 TyLitQ, CxtQ, PredQ, DerivClauseQ, MatchQ, ClauseQ, BodyQ, GuardQ,
|
/dports/lang/ghc/ghc-8.10.7/libraries/template-haskell/Language/Haskell/TH/ |
H A D | Lib.hs | 22 TyLitQ, CxtQ, PredQ, DerivClauseQ, MatchQ, ClauseQ, BodyQ, GuardQ,
|
/dports/math/reduce/Reduce-svn5758-src/packages/rubi_red/rubi-rules/AlgebraicFunctions/ |
H A D | AlgebraicFunctionsOfBinomials.m | 748 RationalQ[n] && MatchQ[m,u_+q_ /; RationalQ[q] && (0<n<=q || n<0 && q<0)] || 749 MatchQ[m,u_+q_.*n /; RationalQ[q] && q>=1]) 779 RationalQ[n] && MatchQ[m,u_+q_ /; RationalQ[q] && (n>0 && q<0 || 0<-n<=q)] || 780 MatchQ[m,u_+q_*n /; RationalQ[q] && q<0]) 2348 MatchQ[u,f_^(c_.+d_.*x) /; FreeQ[{c,d,f},x]] || 2349 MatchQ[u,f_[c_.+d_.*x] /; FreeQ[{c,d},x] && MemberQ[{Tan,Cot,Tanh,Coth},f]]), 2356 MatchQ[u,f_^(c_.+d_.*x) /; FreeQ[{c,d,f},x]] || 2357 MatchQ[u,f_[c_.+d_.*x] /; FreeQ[{c,d},x] && MemberQ[{Tan,Cot,Tanh,Coth},f]])]
|
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/libraries/template-haskell/Language/Haskell/TH/ |
H A D | Lib.hs | 22 TyLitQ, CxtQ, PredQ, DerivClauseQ, MatchQ, ClauseQ, BodyQ, GuardQ,
|
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/libraries/template-haskell/Language/Haskell/TH/ |
H A D | Lib.hs | 22 TyLitQ, CxtQ, PredQ, DerivClauseQ, MatchQ, ClauseQ, BodyQ, GuardQ,
|
/dports/devel/stack/stack-2.7.3/_cabal_deps/aeson-1.5.6.0/src/Data/Aeson/ |
H A D | TH.hs | 965 getValField :: Name -> String -> [MatchQ] -> Q Exp 975 matchCases :: Either (String, Name) Name -> [MatchQ] -> Q Exp 1103 matchFailed :: Name -> Name -> String -> MatchQ
|
/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/aeson-1.4.7.1/Data/Aeson/ |
H A D | TH.hs | 964 getValField :: Name -> String -> [MatchQ] -> Q Exp 974 matchCases :: Either (String, Name) Name -> [MatchQ] -> Q Exp 1102 matchFailed :: Name -> Name -> String -> MatchQ
|
/dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/aeson-1.5.2.0/Data/Aeson/ |
H A D | TH.hs | 964 getValField :: Name -> String -> [MatchQ] -> Q Exp 974 matchCases :: Either (String, Name) Name -> [MatchQ] -> Q Exp 1102 matchFailed :: Name -> Name -> String -> MatchQ
|
/dports/converters/hs-aeson-pretty/aeson-pretty-0.8.8/_cabal_deps/aeson-1.5.0.0/Data/Aeson/ |
H A D | TH.hs | 964 getValField :: Name -> String -> [MatchQ] -> Q Exp 974 matchCases :: Either (String, Name) Name -> [MatchQ] -> Q Exp 1102 matchFailed :: Name -> Name -> String -> MatchQ
|