Searched refs:insertMatch (Results 1 – 15 of 15) sorted by relevance
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/retrie-0.1.1.1/Retrie/PatternMap/ |
H A D | Class.hs | 138 insertMatch :: PatternMap m => AlphaEnv -> Quantifiers -> Key m -> a -> m a -> m a 139 insertMatch env vs k x = mAlter env vs k (const (Just x)) function
|
H A D | Instances.hs | 586 m = insertMatch emptyAlphaEnv emptyQs v1 () e
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/retrie-0.1.1.1/Retrie/ |
H A D | Types.hs | 139 insertMatch
|
/dports/math/fricas/fricas-1.3.7/src/algebra/ |
H A D | patmatch1.spad | 28 insertMatch : (Pattern R, S, %) -> % 29 ++ insertMatch(var, expr, r) adds the match (var, expr) in r, 59 insertMatch(p, x, l) == concat([retract p, x], l::LR) 92 (r := search(sy, al)) case "failed" => insertMatch(p, x, l) 404 [q, (empty?(ua::List A) => la; insertMatch(q, first(ua::List A), la))]
|
/dports/math/fricas/fricas-1.3.7/pre-generated/src/algebra/ |
H A D | PATRES.lsp | 182 |insertMatch| 113 |hashUpdate!| 120 |hash| 126 |getMatch| 131
|
H A D | PMDOWN.lsp | 470 (173 . |setPredicates|) (179 . |insertMatch|))
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/main/ |
H A D | HscTypes.hs | 3187 extendCompleteMatchMap = foldl' insertMatch 3189 insertMatch :: CompleteMatchMap -> CompleteMatch -> CompleteMatchMap 3190 insertMatch ufm c@(CompleteMatch _ t) = addToUFM_C (++) ufm t [c] function
|
/dports/lang/ghc/ghc-8.10.7/compiler/main/ |
H A D | HscTypes.hs | 3187 extendCompleteMatchMap = foldl' insertMatch 3189 insertMatch :: CompleteMatchMap -> CompleteMatch -> CompleteMatchMap 3190 insertMatch ufm c@(CompleteMatch _ t) = addToUFM_C (++) ufm t [c] function
|
/dports/www/grafana8/grafana-8.3.6/public/build/ |
H A D | 3409.0e38943fa459e872fe93.js.map | 1 …insertMatch();\n e.stop();\n }.bind(this));\n this.popup.focus = this.edi…
|
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Driver/ |
H A D | Types.hs | 3234 extendCompleteMatchMap = foldl' insertMatch 3236 insertMatch :: CompleteMatchMap -> CompleteMatch -> CompleteMatchMap 3237 insertMatch ufm c@(CompleteMatch _ t) = addToUFM_C (++) ufm t [c] function
|
/dports/math/fricas/fricas-1.3.7/pre-generated/target/algebra/ |
H A D | compress.daase | 870 |makeResult| |is?| |Is| |addMatchRestricted| |insertMatch| |addMatch|
|
H A D | operation.daase | 44056 (|addMatchRestricted| . 1090716) (|insertMatch| . 1090528)
|
H A D | interp.daase | 113372 (|insertMatch| (($ (|Pattern| |#1|) |#2| $) 20)) 113391 (SIGNATURE |insertMatch| ($ (|Pattern| |#1|) |#2| $)) 113422 (|insertMatch| (*1 *1 *2 *3 *1) 113455 (SIGNATURE |insertMatch| ($ (|Pattern| |#1|) |#2| $))
|
H A D | browse.daase | 30378 (|insertMatch| 30380 …"\\spad{insertMatch(var,{} expr,{} r)} adds the match (\\spad{var},{} \\spad{expr}) in \\spad{r},{…
|
H A D | comdb.text | 4130 480117`\spad{insertMatch(var,{} expr,{} r)} adds the match (\spad{var},{} \spad{expr}) in \spad{r},…
|