Home
last modified time | relevance | path

Searched refs:List1 (Results 1 – 25 of 757) sorted by relevance

12345678910>>...31

/dports/emulators/py-unicorn/unicorn-1.0.2/bindings/vb6/
H A DForm1.frm20 Begin VB.ListBox List1
69 List1.AddItem uc.errMsg
131 List1.AddItem "beginning emulation.."
137 List1.AddItem "ECX: 6 =? " & ecx
138 List1.AddItem "EDX: 17 =? " & edx
139 List1.AddItem uc.dumpFlags
184 List1.AddItem mem.toString()
190 List1.AddItem uc.regDump()
193 List1.AddItem uc.regDump()
222 Clipboard.SetText lbCopy(List1)
[all …]
/dports/emulators/unicorn/unicorn-1.0.2/bindings/vb6/
H A DForm1.frm20 Begin VB.ListBox List1
69 List1.AddItem uc.errMsg
131 List1.AddItem "beginning emulation.."
137 List1.AddItem "ECX: 6 =? " & ecx
138 List1.AddItem "EDX: 17 =? " & edx
139 List1.AddItem uc.dumpFlags
184 List1.AddItem mem.toString()
190 List1.AddItem uc.regDump()
193 List1.AddItem uc.regDump()
222 Clipboard.SetText lbCopy(List1)
[all …]
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Utils/
H A DList1.hs22 module Agda.Utils.List1
23 ( module Agda.Utils.List1
24 , module List1
50 initLast = List1.init &&& List1.last
56 singleton :: a -> List1 a
62 append :: List1 a -> [a] -> List1 a
67 prepend :: [a] -> List1 a -> List1 a
98 union :: Eq a => List1 a -> List1 a -> List1 a
151 nubM :: Monad m => (a -> a -> m Bool) -> List1 a -> m (List1 a)
156 zipWithM :: Applicative m => (a -> b -> m c) -> List1 a -> List1 b -> m (List1 c)
[all …]
H A DList2.hs24 import Agda.Utils.List1 ( List1, pattern (:|) )
25 import qualified Agda.Utils.List1 as List1
38 tail :: List2 a -> List1 a
42 init :: List2 a -> List1 a
43 init (List2 a b cs) = a :| List1.init (b :| cs)
47 fromListMaybe = fromList1Maybe <=< List1.nonEmpty
50 fromList1Maybe :: List1 a -> Maybe (List2 a)
67 toList1 :: List2 a -> List1 a
71 fromList1 :: List1 a -> List2 a
/dports/lang/mono/mono-5.10.1.57/external/corefx/src/System.Runtime.Serialization.Xml/tests/SerializationTestTypes/
H A DCollections.cs217 List1.Add(Data1); in DMInCollection1()
219 List1.Add(List1[1]); in DMInCollection1()
256 List2.Add(List1[0]); in DMInCollection2()
258 List1.Add(List2[1]); in DMInCollection2()
259 List3 = List1; in DMInCollection2()
337 List1.Add(Data1); in DMWithRefInCollection1()
339 List1.Add(List1[1]); in DMWithRefInCollection1()
389 List2.Add(List1[0]); in DMWithRefInCollection2()
391 List1.Add(List2[1]); in DMWithRefInCollection2()
392 List3 = List1; in DMWithRefInCollection2()
[all …]
/dports/lang/yap/yap-6.2.2/LGPL/
H A Dmaplist.pl34 maplist/3, % :Goal, ?List1, ?List2
65 % maplist(:Goal, ?List1, ?List2)
68 % of elements of List1 and List2.
70 maplist(Goal, List1, List2) :-
71 maplist2(List1, List2, Goal).
78 % maplist(:Goal, ?List1, ?List2, ?List3)
81 % of elements of List1..List3.
83 maplist(Goal, List1, List2, List3) :-
84 maplist2(List1, List2, List3, Goal).
94 % quadruples of elements of List1..List4
[all …]
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/stdlib/test/escript_SUITE_data/archive_script_file_access/
H A Darchive_script_file_access.erl45 {ok,List1} = erl_prim_loader:list_dir(AbsArchiveFile),
46 {ok,List1} = erl_prim_loader:list_dir(RelArchiveFile),
47 {ok,List1} = erl_prim_loader:list_dir(DotSlashArchiveFile),
48 {ok,List1} = erl_prim_loader:list_dir(AbsArchiveFile ++ "/"),
49 {ok,List1} = erl_prim_loader:list_dir(AbsArchiveFile ++ "/."),
50 {ok,List1} = erl_prim_loader:list_dir(filename:join([AbsDir,".."])),
51 {ok,List1} = erl_prim_loader:list_dir(filename:join([RelDir,".."])),
56 false = lists:member([],List1),
65 {ok,List1} = erl_prim_loader:list_dir(AbsSymlinkArchiveFile),
66 {ok,List1} = erl_prim_loader:list_dir(RelSymlinkArchiveFile),
[all …]
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/stdlib/test/escript_SUITE_data/archive_script_file_access/
H A Darchive_script_file_access.erl45 {ok,List1} = erl_prim_loader:list_dir(AbsArchiveFile),
46 {ok,List1} = erl_prim_loader:list_dir(RelArchiveFile),
47 {ok,List1} = erl_prim_loader:list_dir(DotSlashArchiveFile),
48 {ok,List1} = erl_prim_loader:list_dir(AbsArchiveFile ++ "/"),
49 {ok,List1} = erl_prim_loader:list_dir(AbsArchiveFile ++ "/."),
50 {ok,List1} = erl_prim_loader:list_dir(filename:join([AbsDir,".."])),
51 {ok,List1} = erl_prim_loader:list_dir(filename:join([RelDir,".."])),
56 false = lists:member([],List1),
65 {ok,List1} = erl_prim_loader:list_dir(AbsSymlinkArchiveFile),
66 {ok,List1} = erl_prim_loader:list_dir(RelSymlinkArchiveFile),
[all …]
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/stdlib/test/escript_SUITE_data/archive_script_file_access/
H A Darchive_script_file_access.erl45 {ok,List1} = erl_prim_loader:list_dir(AbsArchiveFile),
46 {ok,List1} = erl_prim_loader:list_dir(RelArchiveFile),
47 {ok,List1} = erl_prim_loader:list_dir(DotSlashArchiveFile),
48 {ok,List1} = erl_prim_loader:list_dir(AbsArchiveFile ++ "/"),
49 {ok,List1} = erl_prim_loader:list_dir(AbsArchiveFile ++ "/."),
50 {ok,List1} = erl_prim_loader:list_dir(filename:join([AbsDir,".."])),
51 {ok,List1} = erl_prim_loader:list_dir(filename:join([RelDir,".."])),
56 false = lists:member([],List1),
65 {ok,List1} = erl_prim_loader:list_dir(AbsSymlinkArchiveFile),
66 {ok,List1} = erl_prim_loader:list_dir(RelSymlinkArchiveFile),
[all …]
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/stdlib/test/escript_SUITE_data/archive_script_file_access/
H A Darchive_script_file_access.erl45 {ok,List1} = erl_prim_loader:list_dir(AbsArchiveFile),
46 {ok,List1} = erl_prim_loader:list_dir(RelArchiveFile),
47 {ok,List1} = erl_prim_loader:list_dir(DotSlashArchiveFile),
48 {ok,List1} = erl_prim_loader:list_dir(AbsArchiveFile ++ "/"),
49 {ok,List1} = erl_prim_loader:list_dir(AbsArchiveFile ++ "/."),
50 {ok,List1} = erl_prim_loader:list_dir(filename:join([AbsDir,".."])),
51 {ok,List1} = erl_prim_loader:list_dir(filename:join([RelDir,".."])),
56 false = lists:member([],List1),
65 {ok,List1} = erl_prim_loader:list_dir(AbsSymlinkArchiveFile),
66 {ok,List1} = erl_prim_loader:list_dir(RelSymlinkArchiveFile),
[all …]
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/stdlib/test/escript_SUITE_data/archive_script_file_access/
H A Darchive_script_file_access.erl45 {ok,List1} = erl_prim_loader:list_dir(AbsArchiveFile),
46 {ok,List1} = erl_prim_loader:list_dir(RelArchiveFile),
47 {ok,List1} = erl_prim_loader:list_dir(DotSlashArchiveFile),
48 {ok,List1} = erl_prim_loader:list_dir(AbsArchiveFile ++ "/"),
49 {ok,List1} = erl_prim_loader:list_dir(AbsArchiveFile ++ "/."),
50 {ok,List1} = erl_prim_loader:list_dir(filename:join([AbsDir,".."])),
51 {ok,List1} = erl_prim_loader:list_dir(filename:join([RelDir,".."])),
56 false = lists:member([],List1),
65 {ok,List1} = erl_prim_loader:list_dir(AbsSymlinkArchiveFile),
66 {ok,List1} = erl_prim_loader:list_dir(RelSymlinkArchiveFile),
[all …]
/dports/lang/erlang/otp-OTP-24.1.7/lib/stdlib/test/escript_SUITE_data/archive_script_file_access/
H A Darchive_script_file_access.erl45 {ok,List1} = erl_prim_loader:list_dir(AbsArchiveFile),
46 {ok,List1} = erl_prim_loader:list_dir(RelArchiveFile),
47 {ok,List1} = erl_prim_loader:list_dir(DotSlashArchiveFile),
48 {ok,List1} = erl_prim_loader:list_dir(AbsArchiveFile ++ "/"),
49 {ok,List1} = erl_prim_loader:list_dir(AbsArchiveFile ++ "/."),
50 {ok,List1} = erl_prim_loader:list_dir(filename:join([AbsDir,".."])),
51 {ok,List1} = erl_prim_loader:list_dir(filename:join([RelDir,".."])),
56 false = lists:member([],List1),
65 {ok,List1} = erl_prim_loader:list_dir(AbsSymlinkArchiveFile),
66 {ok,List1} = erl_prim_loader:list_dir(RelSymlinkArchiveFile),
[all …]
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/stdlib/test/escript_SUITE_data/archive_script_file_access/
H A Darchive_script_file_access.erl45 {ok,List1} = erl_prim_loader:list_dir(AbsArchiveFile),
46 {ok,List1} = erl_prim_loader:list_dir(RelArchiveFile),
47 {ok,List1} = erl_prim_loader:list_dir(DotSlashArchiveFile),
48 {ok,List1} = erl_prim_loader:list_dir(AbsArchiveFile ++ "/"),
49 {ok,List1} = erl_prim_loader:list_dir(AbsArchiveFile ++ "/."),
50 {ok,List1} = erl_prim_loader:list_dir(filename:join([AbsDir,".."])),
51 {ok,List1} = erl_prim_loader:list_dir(filename:join([RelDir,".."])),
56 false = lists:member([],List1),
65 {ok,List1} = erl_prim_loader:list_dir(AbsSymlinkArchiveFile),
66 {ok,List1} = erl_prim_loader:list_dir(RelSymlinkArchiveFile),
[all …]
/dports/lang/swi-pl/swipl-8.2.3/library/
H A Dapply.pl90 %! include(:Goal, +List1, ?List2) is det.
110 %! exclude(:Goal, +List1, ?List2) is det.
181 %! maplist(:Goal, ?List1).
182 %! maplist(:Goal, ?List1, ?List2).
183 %! maplist(:Goal, ?List1, ?List2, ?List3).
207 maplist(Goal, List1, List2) :-
208 maplist_(List1, List2, Goal).
215 maplist(Goal, List1, List2, List3) :-
216 maplist_(List1, List2, List3, Goal).
263 %! foldl(:Goal, +List1, +List2, +V0, -V).
[all …]
/dports/cad/ghdl/ghdl-1.0.0/testsuite/gna/bug060/
H A DInteger_List_tb.vhdl9 shared variable List1 : Integer_List; variable
15 List1.Init;
20 index := List1.Append(element);
23 index := List1.IndexOf(element);
24 List1.Set(index, element + 100);
25 element := List1.Get(i);
31 List1.RemoveAt(i);
35 List1.Remove(i + 101);
/dports/editors/lazarus-qt5-devel/lazarus-6df7e8756882f7d7f28f662011ee72f21746c580/components/tachart/tutorials/population1/
H A Dpopulation.pas40 List1, List2: TStringList;
46 List1 := TStringList.Create;
48 List1.LoadFromFile(AFileName);
49 n := List1.Count;
58 List2.DelimitedText := List1[i];
59 s := List1[i];
77 List1.Free;
/dports/editors/lazarus-qt5-devel/lazarus-6df7e8756882f7d7f28f662011ee72f21746c580/components/tachart/tutorials/population2/
H A Dpopulation.pas39 List1, List2: TStringList;
45 List1 := TStringList.Create;
47 List1.LoadFromFile(AFileName);
48 n := List1.Count;
57 List2.DelimitedText := List1[i];
58 s := List1[i];
76 List1.Free;
/dports/editors/lazarus-devel/lazarus-6df7e8756882f7d7f28f662011ee72f21746c580/components/tachart/tutorials/population1/
H A Dpopulation.pas40 List1, List2: TStringList;
46 List1 := TStringList.Create;
48 List1.LoadFromFile(AFileName);
49 n := List1.Count;
58 List2.DelimitedText := List1[i];
59 s := List1[i];
77 List1.Free;
/dports/editors/lazarus-devel/lazarus-6df7e8756882f7d7f28f662011ee72f21746c580/components/tachart/tutorials/population2/
H A Dpopulation.pas39 List1, List2: TStringList;
45 List1 := TStringList.Create;
47 List1.LoadFromFile(AFileName);
48 n := List1.Count;
57 List2.DelimitedText := List1[i];
58 s := List1[i];
76 List1.Free;
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Abstract/
H A DName.hs30 import Agda.Utils.List1 (List1, pattern (:|), (<|))
31 import qualified Agda.Utils.List1 as List1
93 headAmbQ (AmbQ xs) = List1.head xs
167 mnameFromList1 :: List1 Name -> ModuleName
168 mnameFromList1 = MName . List1.toList
170 mnameToList1 :: ModuleName -> List1 Name
195 qnameToList0 = List1.toList . qnameToList
197 qnameToList :: QName -> List1 Name
200 qnameFromList :: List1 Name -> QName
201 qnameFromList xs = QName (mnameFromList $ List1.init xs) (List1.last xs)
[all …]
/dports/devel/erlang-common_lib/common_lib-3.3.4/doc/
H A Dcl_lists.ndoc129 == intersec(List1, List2) -> List3 ==
132 : List1 = [term()]
138 ``List1`` which also belong to ``List2``.
238 == split(List, N) -> {List1, List2} ==
242 : List1 = [Element]
249 ``length(List1) == N``.
268 == splitwith(Pred, List) -> {List1, List2} ==
273 : List1 = [term()]
320 == ukeymerge(N, List1, List2) -> List3 ==
324 : List1 = [tuple()]
[all …]
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Concrete/
H A DName.hs25 import Agda.Utils.List1 (List1, pattern (:|), (<|))
26 import qualified Agda.Utils.List1 as List1
54 type NameParts = List1 NamePart
131 , moduleNameParts :: List1 String
182 stringNameParts s = List1.fromList $ loop s
215 isPrefix x = not (isHole (List1.head xs)) && isHole (List1.last xs) where xs = nameParts x
216 isPostfix x = isHole (List1.head xs) && not (isHole (List1.last xs)) where xs = nameParts x
217 isInfix x = isHole (List1.head xs) && isHole (List1.last xs) where xs = nameParts x
218 isNonfix x = not (isHole (List1.head xs)) && not (isHole (List1.last xs)) where xs = nameParts x
365 qnameParts :: QName -> List1 Name
[all …]
/dports/math/fricas/fricas-1.3.7/src/algebra/
H A Dsturm.spad135 qp := #List1
147 List1 : L R := rest Lsig
148 sig1 = 1 => variation List1
149 1+variation List1
160 List1 : L R := rest Lsig
162 1+permanence List1
196 List1 : L R := Lsig
200 List1 := rest List1
204 List1 := rest List1
209 ind4 + wfunctaux(List1)
[all …]
/dports/devel/matreshka/matreshka-0.7.0/tools/ayacc/src/
H A Dlists.adb11 procedure Attach (List1 : in out List;
23 if List1.Head = null then
24 List1 := List2;
25 elsif List1 = List2 then
28 Endoflist1 := List1.Tail;
30 List1.Tail := List2.Tail;
95 function Attach (List1 : in List;
108 if List1.Head = null then
110 elsif List1 = List2 then
113 End_Of_List1 := List1.Tail;
[all …]
/dports/math/polymake/polymake-4.5/lib/core/include/
H A Dmeta_list.h278 template <typename List1, typename List2, bool valid=(mlist_length<List2>::value >= mlist_length<Li…
281 template <typename List1, typename List2>
282 struct mlist_is_tail_of<List1, List2, true>
283 …: std::is_same<List1, typename mlist_slice<List2, (mlist_length<List2>::value - mlist_length<List1…
436 using complement = List1;
732 template <typename List1, typename List2>
738 template <typename List1, typename List2>
745 template <typename List1, typename List2>
752 template <typename List1, typename List2>
934 template <typename List1, typename List2>
[all …]

12345678910>>...31