/dports/lang/yap/yap-6.2.2/LGPL/ |
H A D | maplist.pl | 35 maplist/4, % :Goal, ?List1, ?List2, ?List3 36 maplist/5, % :Goal, ?List1, ?List2, ?List3, List4 78 % maplist(:Goal, ?List1, ?List2, ?List3) 81 % of elements of List1..List3. 83 maplist(Goal, List1, List2, List3) :- 84 maplist2(List1, List2, List3, Goal). 91 % maplist(:Goal, ?List1, ?List2, ?List3, List4) 96 maplist(Goal, List1, List2, List3, List4) :- 97 maplist2(List1, List2, List3, List4, Goal).
|
/dports/lang/swi-pl/swipl-8.2.3/library/ |
H A D | apply.pl | 183 %! maplist(:Goal, ?List1, ?List2, ?List3). 184 %! maplist(:Goal, ?List1, ?List2, ?List3, ?List4). 215 maplist(Goal, List1, List2, List3) :- 216 maplist_(List1, List2, List3, Goal). 223 maplist(Goal, List1, List2, List3, List4) :- 224 maplist_(List1, List2, List3, List4, Goal). 264 %! foldl(:Goal, +List1, +List2, +List3, +V0, -V). 265 %! foldl(:Goal, +List1, +List2, +List3, +List4, +V0, -V). 351 scanl(Goal, List1, List2, List3, V0, [V0|Values]) :- 352 scanl_(List1, List2, List3, Goal, V0, Values). [all …]
|
/dports/lang/fpc-source/fpc-3.2.2/tests/test/units/fpcunit/ |
H A D | tclist.pp | 30 List3 : TList; 96 List3:=TMyList.Create; 105 FreeAndNil(List3); 424 FillList(List3,10,9); // 11--19 425 List.Assign(List2,laAnd,List3); // Should have 11-15 451 FillList(List3,10,9); // 11--19 452 List.Assign(List2,laOr,List3); // Should have 6-19 480 FillList(List3,10,9); // 11--19 509 FillList(List3,10,9); // 11--19 542 FillList(List3,10,9); // 11--19 [all …]
|
/dports/lang/swi-pl/swipl-8.2.3/packages/RDF/suite/ok/ |
H A D | ex_19.ok | 11 rdf('_:List2', 'http://www.w3.org/1999/02/22-rdf-syntax-ns#rest', '_:List3'). 12 rdf('_:List3', 'http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 'http://www.w3.org/1999/02/22-rdf… 13 rdf('_:List3', 'http://www.w3.org/1999/02/22-rdf-syntax-ns#first', 'http://example.org/pear'). 14 rdf('_:List3', 'http://www.w3.org/1999/02/22-rdf-syntax-ns#rest', 'http://www.w3.org/1999/02/22-rdf…
|
/dports/devel/cmake-gui/cmake-3.22.1/Tests/CMakeLib/ |
H A D | testArgumentParser.cxx | 26 std::vector<std::string> List3; member 72 ASSERT_TRUE(result.List3 == barfoo); in verifyResult() 101 .Bind("LIST_3"_s, result.List3) in testArgumentParserDynamic() 120 .Bind("LIST_3"_s, &Result::List3) in testArgumentParserStatic()
|
/dports/devel/cmake/cmake-3.22.1/Tests/CMakeLib/ |
H A D | testArgumentParser.cxx | 26 std::vector<std::string> List3; member 72 ASSERT_TRUE(result.List3 == barfoo); in verifyResult() 101 .Bind("LIST_3"_s, result.List3) in testArgumentParserDynamic() 120 .Bind("LIST_3"_s, &Result::List3) in testArgumentParserStatic()
|
/dports/devel/cmake-doc/cmake-3.22.1/Tests/CMakeLib/ |
H A D | testArgumentParser.cxx | 26 std::vector<std::string> List3; member 72 ASSERT_TRUE(result.List3 == barfoo); in verifyResult() 101 .Bind("LIST_3"_s, result.List3) in testArgumentParserDynamic() 120 .Bind("LIST_3"_s, &Result::List3) in testArgumentParserStatic()
|
/dports/math/gap/gap-4.11.0/pkg/NoCK-1.4/lib/ |
H A D | ckforms.gi | 9 …, dimG, dimPG, K, dimK, rankK, pi, qi, permPi, t, Pt, j, i, List1, List2, List3,List4,ListD,deg,is… 156 List3:=[]; 159 Add(List3,List1[i]); 162 deg:=DegreeOfLaurentPolynomial(List3[1]); 167 for j in [1..Length(List3)] do 168 Coeff:=CoefficientsOfUnivariatePolynomial(List3[j]);
|
/dports/lang/mono/mono-5.10.1.57/external/corefx/src/System.Runtime.Serialization.Xml/tests/SerializationTestTypes/ |
H A D | Collections.cs | 230 public ICollection<SimpleDC> List3; field in SerializationTestTypes.DMInCollection2 259 List3 = List1; in DMInCollection2() 357 public ICollection<SimpleDCWithRef> List3; field in SerializationTestTypes.DMWithRefInCollection2 392 List3 = List1; in DMWithRefInCollection2() 410 List6.Add(List3); in DMWithRefInCollection2()
|
/dports/devel/erlang-common_lib/common_lib-3.3.4/doc/ |
H A D | cl_lists.ndoc | 129 == intersec(List1, List2) -> List3 == 134 : List3 = [term()] 137 Returns the intersection of two lists. ``List3`` contains all elements in 320 == ukeymerge(N, List1, List2) -> List3 == 326 : List3 = [tuple()]
|
/dports/math/teyjus/teyjus-2.1-7-ge63f40a/lyacc/ |
H A D | parser.mod | 114 …findlbs N1 LHSS LHSNew [H|T] FG List2, join List1 List2 List3);List3 = List1), % If so, do search… 115 …((not (member X List3), freshcopy X X2, List = [X2|List3]);List = List3),join List Nulllist FList,… 133 …findlas N1 LHSS LHS [H|T] FG List2, join List1 List2 List3);List3 = List1), % If so, do search aga… 134 ((not (member X List3), freshcopy X X2,List = [X2|List3]);List = List3),
|
/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 | TypeListCons.hs | 7 type List3 a b c = a ': b ': c ': '[] type
|
H A D | TypeListCons.hs.prettyprinter.golden | 8 type List3 a b c = a ': b ': c ': '[]
|
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/haskell-src-exts-1.23.0/tests/examples/ |
H A D | TypeListCons.hs | 7 type List3 a b c = a ': b ': c ': '[] function
|
H A D | TypeListCons.hs.prettyprinter.golden | 8 type List3 a b c = a ': b ': c ': '[]
|
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/haskell-src-exts-1.23.1/tests/examples/ |
H A D | TypeListCons.hs | 7 type List3 a b c = a ': b ': c ': '[] type
|
H A D | TypeListCons.hs.prettyprinter.golden | 8 type List3 a b c = a ': b ': c ': '[]
|
/dports/lang/yap/yap-6.2.2/library/ |
H A D | maplist.yap | 20 maplist/5, % :Goal, ?List1, ?List2, ?List3, List4 104 partition(Pred, [In|ListIn], List1, List2, List3) :- 109 List3 = RList3 114 List3 = RList3 119 List3 = [In|RList3] 148 % maplist(Pred, List1, List2, List3) 157 % maplist(Pred, List1, List2, List3, List4) 461 goal_expansion(partition(Meta, ListIn, List1, List2, List3), Mod:Goal) :- 469 append(MetaVars, [ListIn, List1, List2, List3], GoalArgs),
|
/dports/databases/couchdb3/apache-couchdb-3.2.1/src/rebar/src/ |
H A D | rebar_appups.erl | 131 List3 = lists:umerge(lists:sort(proplists:get_keys(List1)), 133 List3 -- proplists:get_keys(List2).
|
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/hipe/test/ |
H A D | erl_types_SUITE.erl | 93 List3 = ?M:t_cons(?M:t_boolean(), List2), 168 "[boolean(),...]" = ?M:t_to_string(List3),
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/hipe/test/ |
H A D | erl_types_SUITE.erl | 93 List3 = ?M:t_cons(?M:t_boolean(), List2), 168 "[boolean(),...]" = ?M:t_to_string(List3),
|
/dports/devel/rebar/rebar-2.6.4/src/ |
H A D | rebar_appups.erl | 131 List3 = lists:umerge(lists:sort(proplists:get_keys(List1)), 133 List3 -- proplists:get_keys(List2).
|
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/hipe/test/ |
H A D | erl_types_SUITE.erl | 93 List3 = ?M:t_cons(?M:t_boolean(), List2), 168 "[boolean(),...]" = ?M:t_to_string(List3),
|
/dports/devel/erlang-jobs/jobs-0.7.2/examples/ |
H A D | performance_logger.erl | 236 zipwith4(Combine, List1, List2, List3, List4) -> 237 zipwith4(Combine, List1, List2, List3, List4, []).
|
/dports/devel/qt5-location/kde-qtlocation-5.15.2p6/src/location/doc/snippets/declarative/ |
H A D | routing.qml | 117 //! [Route Maneuver List3] 120 //! [Route Maneuver List3]
|