Home
last modified time | relevance | path

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 DClass.hs138 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 DInstances.hs586 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 DTypes.hs139 insertMatch
/dports/math/fricas/fricas-1.3.7/src/algebra/
H A Dpatmatch1.spad28 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 DPATRES.lsp182 |insertMatch| 113 |hashUpdate!| 120 |hash| 126 |getMatch| 131
H A DPMDOWN.lsp470 (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 DHscTypes.hs3187 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 DHscTypes.hs3187 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 D3409.0e38943fa459e872fe93.js.map1 …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 DTypes.hs3234 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 Dcompress.daase870 |makeResult| |is?| |Is| |addMatchRestricted| |insertMatch| |addMatch|
H A Doperation.daase44056 (|addMatchRestricted| . 1090716) (|insertMatch| . 1090528)
H A Dinterp.daase113372 (|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 Dbrowse.daase30378 (|insertMatch|
30380 …"\\spad{insertMatch(var,{} expr,{} r)} adds the match (\\spad{var},{} \\spad{expr}) in \\spad{r},{…
H A Dcomdb.text4130 480117`\spad{insertMatch(var,{} expr,{} r)} adds the match (\spad{var},{} \spad{expr}) in \spad{r},…