| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/dhall-1.38.1/src/Dhall/ |
| H A D | Normalize.hs | 67 subst _ _ (Const a) = Const a function
68 subst (V x n) e (Lam cs (FunctionBinding src0 y src1 src2 _A) b) = function
74 subst (V x n) e (Pi cs y _A _B) = Pi cs y _A' _B' function
79 subst v e (Var v') = if v == v' then e else Var v' function
80 subst (V x n) e (Let (Binding src0 f src1 mt src2 r) b) = function
89 subst x e expression = Lens.over Syntax.subExpressions (subst x e) expression function
|
| /dports/multimedia/aegisub/aegisub-3.2.2/libaegisub/common/ |
| H A D | charset_6937.h | 33 const bool subst; variable
|
| /dports/devel/p5-Regexp-Subst-Parallel/Regexp-Subst-Parallel-0.11/ |
| H A D | Parallel.pm | 11 sub subst subroutine
|
| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/reltool/src/ |
| H A D | reltool_target.erl | 1532 subst(Str, Vars) -> function
1535 subst([$%, C | Rest], Vars, Result) when $A =< C, C =< $Z -> function
1537 subst([$%, C | Rest], Vars, Result) when $a =< C, C =< $z -> function
1539 subst([$%, C | Rest], Vars, Result) when C == $_ -> function
1541 subst([C| Rest], Vars, Result) -> function
1543 subst([], _Vars, Result) -> function
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/reltool/src/ |
| H A D | reltool_target.erl | 1532 subst(Str, Vars) -> function
1535 subst([$%, C | Rest], Vars, Result) when $A =< C, C =< $Z -> function
1537 subst([$%, C | Rest], Vars, Result) when $a =< C, C =< $z -> function
1539 subst([$%, C | Rest], Vars, Result) when C == $_ -> function
1541 subst([C| Rest], Vars, Result) -> function
1543 subst([], _Vars, Result) -> function
|
| /dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/reltool/src/ |
| H A D | reltool_target.erl | 1530 subst(Str, Vars) -> function
1533 subst([$%, C | Rest], Vars, Result) when $A =< C, C =< $Z -> function
1535 subst([$%, C | Rest], Vars, Result) when $a =< C, C =< $z -> function
1537 subst([$%, C | Rest], Vars, Result) when C == $_ -> function
1539 subst([C| Rest], Vars, Result) -> function
1541 subst([], _Vars, Result) -> function
|
| /dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/reltool/src/ |
| H A D | reltool_target.erl | 1527 subst(Str, Vars) -> function
1530 subst([$%, C | Rest], Vars, Result) when $A =< C, C =< $Z -> function
1532 subst([$%, C | Rest], Vars, Result) when $a =< C, C =< $z -> function
1534 subst([$%, C | Rest], Vars, Result) when C == $_ -> function
1536 subst([C| Rest], Vars, Result) -> function
1538 subst([], _Vars, Result) -> function
|
| /dports/lang/erlang-wx/otp-OTP-24.1.7/lib/reltool/src/ |
| H A D | reltool_target.erl | 1530 subst(Str, Vars) -> function
1533 subst([$%, C | Rest], Vars, Result) when $A =< C, C =< $Z -> function
1535 subst([$%, C | Rest], Vars, Result) when $a =< C, C =< $z -> function
1537 subst([$%, C | Rest], Vars, Result) when C == $_ -> function
1539 subst([C| Rest], Vars, Result) -> function
1541 subst([], _Vars, Result) -> function
|
| /dports/lang/erlang/otp-OTP-24.1.7/lib/reltool/src/ |
| H A D | reltool_target.erl | 1530 subst(Str, Vars) -> function
1533 subst([$%, C | Rest], Vars, Result) when $A =< C, C =< $Z -> function
1535 subst([$%, C | Rest], Vars, Result) when $a =< C, C =< $z -> function
1537 subst([$%, C | Rest], Vars, Result) when C == $_ -> function
1539 subst([C| Rest], Vars, Result) -> function
1541 subst([], _Vars, Result) -> function
|
| /dports/lang/erlang-java/otp-OTP-24.1.7/lib/reltool/src/ |
| H A D | reltool_target.erl | 1530 subst(Str, Vars) -> function
1533 subst([$%, C | Rest], Vars, Result) when $A =< C, C =< $Z -> function
1535 subst([$%, C | Rest], Vars, Result) when $a =< C, C =< $z -> function
1537 subst([$%, C | Rest], Vars, Result) when C == $_ -> function
1539 subst([C| Rest], Vars, Result) -> function
1541 subst([], _Vars, Result) -> function
|
| /dports/math/eprover/eprover-E-2.0/CLAUSES/ |
| H A D | ccl_unit_simplify.c | 74 Subst_p subst = SubstAlloc(); in FindTopSimplifyingUnit() local
115 Subst_p subst = SubstAlloc(); in FindSignedTopSimplifyingUnit() local
|
| /dports/lang/smalltalk/smalltalk-3.2.5/lib-src/ |
| H A D | strspell.c | 93 strspell (s1, s2, subst, wrong_case, ins, del) in strspell() argument
102 strnspell (s1, s2, l1, l2, subst, wrong_case, ins, del) in strnspell() argument
|
| /dports/lang/mosh/mosh-0.2.7/src/ |
| H A D | Regexp.cpp | 123 ucs4string Regexp::replace(ucs4string& text, ucs4string& subst, bool& matched) in replace()
136 Object Regexp::replace(Object t, Object subst) in replace()
147 Object Regexp::replaceAll(Object t, Object subst) in replaceAll()
|
| /dports/archivers/dpkg/dpkg-1.19.7/scripts/ |
| H A D | Build.PL.in | 20 sub subst { subroutine
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/JS/ |
| H A D | Substitution.hs | 46 subst 0 es e = e function
47 subst n es e = map 0 (substituter n es) e function
69 subst' 0 es e = e function
70 subst' n es e = map' 0 (substituter n es) e function
|
| /dports/math/R-cran-memisc/memisc/R/ |
| H A D | relabel.R | 18 subst <- sapply(m$...,as.character) functionVar
42 subst <- sapply(m$...,as.character) functionVar
68 subst <- sapply(m$...,as.character) functionVar
|
| /dports/misc/otter/otter-3.3f/source/ |
| H A D | is.c | 271 struct context *subst, in is_retrieve()
394 struct context *subst, in fs_retrieve()
442 struct context *subst) in canc_fs_pos()
|
| /dports/misc/sword/sword-1.8.1/include/ |
| H A D | hebrewmcim.h | 44 int subst[255]; variable
|
| /dports/www/p5-Template-Plugin-Subst/Template-Plugin-Subst-0.02/lib/Template/Plugin/ |
| H A D | Subst.pm | 72 sub subst { subroutine
|
| /dports/www/fusionpbx/fusionpbx-4.4.1/resources/install/scripts/resources/functions/lunajson/ |
| H A D | _str_lib_lua53.lua | 36 local function subst(ch, rest) function
|
| H A D | _str_lib.lua | 37 local function subst(ch, rest) function
|
| /dports/textproc/hevea/hevea-2.34/ |
| H A D | substVar.mli | 20 val subst : string (* body *) -> string (* arg *) -> unit val
|
| /dports/math/abella/abella-2.0.7/examples/misc/ |
| H A D | subst.sig | 10 type subst (tm -> tm) -> tm -> tm -> o. type
|
| /dports/textproc/jade/jade-1.2.1/include/ |
| H A D | SubstTable.h | 20 void subst(T &c) const { if (table_.size() > 0) c = table_[c]; } in subst() function
|
| /dports/math/eprover/eprover-E-2.0/LEARN/ |
| H A D | cle_indexfunctions.c | 185 IndexTerm_p IndexTermAlloc(Term_p term, PatternSubst_p subst, long in IndexTermAlloc()
273 PatternSubst_p subst) in TSMIndexAlloc()
377 long TSMIndexFind(TSMIndex_p index, Term_p term, PatternSubst_p subst) in TSMIndexFind()
|