/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/retrie-0.1.1.1/Retrie/ |
H A D | Subst.hs | 36 mkM (substExpr c) 47 substExpr 53 substExpr ctxt e@(L l1 (HsVar (L l2 v))) = function 55 substExpr ctxt e@(L l1 (HsVar x (L l2 v))) = function 71 substExpr _ e = return e function
|
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/ |
H A D | Subst.hs | 346 substExpr subst orig_expr 356 substExpr subst expr function 372 go (Lam bndr body) = Lam bndr' (substExpr subst' body) 376 go (Let bind body) = Let bind' (substExpr subst' body) 407 = map (substExpr subst') rhss 410 = (subst', NonRec bndr' (substExpr subst rhs)) 419 rhss' = map (substExpr subst') rhss 640 args' = map (substExpr subst') args 650 new_tmpl = substExpr subst tmpl 695 , ru_args = map (substExpr subst') args [all …]
|
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/ |
H A D | Subst.hs | 352 substExpr subst orig_expr 362 substExpr subst expr function 378 go (Lam bndr body) = Lam bndr' (substExpr subst' body) 382 go (Let bind body) = Let bind' (substExpr subst' body) 413 = map (substExpr subst') rhss 416 = (subst', NonRec bndr' (substExpr subst rhs)) 425 rhss' = map (substExpr subst') rhss 649 args' = map (substExpr subst') args 659 new_tmpl = substExpr subst tmpl 703 , ru_args = map (substExpr subst') args [all …]
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/ |
H A D | Abstract.hs | 1000 substExpr :: [(Name, Expr)] -> a -> a 1002 default substExpr 1005 substExpr = fmap . substExpr function 1015 substExpr s (x, y) = (substExpr s x, substExpr s y) function 1018 substExpr s (Left x) = Left (substExpr s x) function 1019 substExpr s (Right y) = Right (substExpr s y) function 1022 substExpr _ = id function 1025 substExpr _ = id function 1028 substExpr s e = case e of function 1036 App i e e' -> App i (substExpr s e) (substExpr s e') [all …]
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/coreSyn/ |
H A D | CoreSubst.hs | 17 substTy, substCo, substExpr, substExprSC, substBind, substBindSC, 351 substExpr :: SDoc -> Subst -> CoreExpr -> CoreExpr 352 substExpr doc subst orig_expr = subst_expr doc subst orig_expr function 635 args' = map (substExpr (text "subst-unf:dfun") subst') args 645 new_tmpl = substExpr (text "subst-unf") subst tmpl 690 , ru_args = map (substExpr doc subst') args 691 , ru_rhs = substExpr (text "foo") subst' rhs }
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_quant/ |
H A D | quant_theorem_producer.cpp | 122 trigs[i][j] = trigs[i][j].substExpr(cur_vars,newVars); in normalizeQuant() 126 Expr normBody = quant.getBody().substExpr(cur_vars,newVars); in normalizeQuant() 201 Expr inst = e.getBody().substExpr(e.getVars(), terms); in universalInst() 292 Expr inst = e.getBody().substExpr(e.getVars(), terms); in universalInst() 365 Expr inst = e.getBody().substExpr(e.getVars(), terms); in universalInst() 450 Expr inst = e.getBody().substExpr(e.getVars(), terms); in partialUniversalInst() 469 Expr tempinst = e.getBody().substExpr(newBoundVars, terms); in partialUniversalInst()
|
/dports/lang/ghc/ghc-8.10.7/compiler/coreSyn/ |
H A D | CoreSubst.hs | 17 substTy, substCo, substExpr, substExprSC, substBind, substBindSC, 351 substExpr :: SDoc -> Subst -> CoreExpr -> CoreExpr 352 substExpr doc subst orig_expr = subst_expr doc subst orig_expr function 635 args' = map (substExpr (text "subst-unf:dfun") subst') args 645 new_tmpl = substExpr (text "subst-unf") subst tmpl 690 , ru_args = map (substExpr doc subst') args 691 , ru_rhs = substExpr (text "foo") subst' rhs }
|
/dports/net-im/tkabber/tkabber-1.1.2/tclxmpp/tclxml/ |
H A D | tclparser.tcl | 53 variable substExpr $::xml::substExpr 207 variable substExpr 280 [eval {::sgml::tokenise $xml $tokExpr1 $tokExpr2 $tokExpr3 $substExpr} $tokenOptions] \
|
H A D | xml.tcl | 86 variable substExpr "\}\n{\\2} {\\1} {\\3} \{"
|
/dports/net-im/coccinella/Coccinella-0.96.20Src/TclXML/ |
H A D | tclparser-8.1.tcl | 32 variable substExpr $::xml::substExpr 190 variable substExpr 264 [eval {::sgml::tokenise $xml $tokExpr $substExpr} $tokenOptions] \
|
H A D | xml-8.1.tcl | 69 variable substExpr "\}\n{\\2} {\\1} {\\3} \{"
|
/dports/devel/tclxml/tclxml-3.3/tclxml-tcl/ |
H A D | tclparser-8.1.tcl | 34 variable substExpr $::xml::substExpr 192 variable substExpr 266 [eval {::sgml::tokenise $xml $tokExpr $substExpr} $tokenOptions] \
|
H A D | tclparser-8.0.tcl | 169 variable substExpr 179 $substExpr \
|
H A D | xml-8.0.tcl | 55 variable substExpr "\}\n{\\2} {\\1} {\\3} \{"
|
H A D | xml-8.1.tcl | 71 variable substExpr "\}\n{\\2} {\\1} {\\3} \{"
|
/dports/cad/alliance/alliance/src/proof/src/ |
H A D | proof_util.c | 196 expr = substExpr (aux->ABL, name, sexpr); 208 expr = substExpr (out->ABL, name, sexpr); 223 expr = substExpr (biabl->CNDABL, name, sexpr); 228 expr = substExpr (biabl->VALABL, name, sexpr); 245 expr = substExpr (biabl->CNDABL, name, sexpr); 249 expr = substExpr (biabl->VALABL, name, sexpr); 266 expr = substExpr (biabl->CNDABL, name, sexpr); 270 expr = substExpr (biabl->VALABL, name, sexpr); 2002 expr = substExpr (out->ABL, "'d'", createAtom ("'1'")); 2041 expr = substExpr (biabl->VALABL, "'d'", createAtom ("'1'")); [all …]
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_core/ |
H A D | core_theorem_producer.cpp | 531 Expr e1(e[1].substExpr(oldTerms, newTerms)); in rewriteIteCond() 534 Expr e2(e[2].substExpr(oldTerms, newTerms)); in rewriteIteCond() 635 kids.push_back(e[i].substExpr(subst)); in rewriteAndSubterms() 661 kids.push_back(e[i].substExpr(subst)); in rewriteOrSubterms()
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_uf/ |
H A D | uf_theorem_producer.cpp | 137 body = body.substExpr(vars, e.getKids()); in applyLambda()
|
/dports/databases/sqlite2/sqlite-2.8.17/src/ |
H A D | select.c | 1526 static void substExpr(Expr *pExpr, int iTable, ExprList *pEList){ in substExpr() function 1552 substExpr(pExpr->pLeft, iTable, pEList); in substExpr() 1553 substExpr(pExpr->pRight, iTable, pEList); in substExpr() 1562 substExpr(pList->a[i].pExpr, iTable, pEList); in substExprList() 1764 substExpr(p->pHaving, iParent, pSub->pEList); in flattenSubquery() 1782 substExpr(p->pHaving, iParent, pSub->pEList); in flattenSubquery() 1796 substExpr(p->pWhere, iParent, pSub->pEList); in flattenSubquery()
|
/dports/databases/p5-DBD-SQLite2/DBD-SQLite2-0.38/ |
H A D | select.c | 1526 static void substExpr(Expr *pExpr, int iTable, ExprList *pEList){ in substExpr() function 1552 substExpr(pExpr->pLeft, iTable, pEList); in substExpr() 1553 substExpr(pExpr->pRight, iTable, pEList); in substExpr() 1562 substExpr(pList->a[i].pExpr, iTable, pEList); in substExprList() 1764 substExpr(p->pHaving, iParent, pSub->pEList); in flattenSubquery() 1782 substExpr(p->pHaving, iParent, pSub->pEList); in flattenSubquery() 1796 substExpr(p->pWhere, iParent, pSub->pEList); in flattenSubquery()
|
/dports/math/cvc3/cvc3-2.4.1/src/expr/ |
H A D | expr.cpp | 178 Expr Expr::substExpr(const vector<Expr>& oldTerms, in substExpr() function in CVC3::Expr 199 Expr Expr::substExpr(const ExprHashMap<Expr>& oldToNew) const in substExpr() function in CVC3::Expr
|
/dports/databases/db5/db-5.3.28/lang/sql/sqlite/src/ |
H A D | select.c | 2491 static Expr *substExpr( in substExpr() function 2513 pExpr->pLeft = substExpr(db, pExpr->pLeft, iTable, pEList); in substExpr() 2514 pExpr->pRight = substExpr(db, pExpr->pRight, iTable, pEList); in substExpr() 2532 pList->a[i].pExpr = substExpr(db, pList->a[i].pExpr, iTable, pEList); in substExprList() 2548 p->pHaving = substExpr(db, p->pHaving, iTable, pEList); in substSelect() 2549 p->pWhere = substExpr(db, p->pWhere, iTable, pEList); in substSelect() 2990 pParent->pHaving = substExpr(db, pParent->pHaving, iParent, pSub->pEList); in flattenSubquery() 3008 pParent->pHaving = substExpr(db, pParent->pHaving, iParent, pSub->pEList); in flattenSubquery() 3014 pParent->pWhere = substExpr(db, pParent->pWhere, iParent, pSub->pEList); in flattenSubquery()
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/haskell-src-exts-1.23.1/tests/examples/ |
H A D | RealGHC.lhs.exactprinter.golden | 545 -- mostly invoked from the simplifier, when we have just run substExpr 553 -- potentially inefficient, because of the calls to substExpr, 591 | otherwise = (s_bind, substExpr subst e2) 594 Rec {} -> Rec (bndrs' `zip` map (substExpr subst) rhss)
|
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/haskell-src-exts-1.23.0/tests/examples/ |
H A D | RealGHC.lhs.exactprinter.golden | 545 -- mostly invoked from the simplifier, when we have just run substExpr 553 -- potentially inefficient, because of the calls to substExpr, 591 | otherwise = (s_bind, substExpr subst e2) 594 Rec {} -> Rec (bndrs' `zip` map (substExpr subst) rhss)
|
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/haskell-src-exts-1.23.1/tests/examples/ |
H A D | RealGHC.lhs.exactprinter.golden | 545 -- mostly invoked from the simplifier, when we have just run substExpr 553 -- potentially inefficient, because of the calls to substExpr, 591 | otherwise = (s_bind, substExpr subst e2) 594 Rec {} -> Rec (bndrs' `zip` map (substExpr subst) rhss)
|