Array.collect() - Revision history

Devika at 08:22, 30 April 2020

2020-04-30T08:22:17Z

Joseph at 20:54, 4 February 2020

2020-02-04T20:54:34Z

Joseph at 20:49, 4 February 2020

2020-02-04T20:49:30Z

Joseph at 20:47, 4 February 2020

2020-02-04T20:47:43Z

Joseph at 20:45, 4 February 2020

2020-02-04T20:45:55Z

Joseph: Created page with "Also same as Array.suchthat()"

2020-02-04T20:40:43Z

Created page with "Also same as Array.suchthat()"

New page

Also same as [[Array.suchthat() | Array.suchthat()]]

← Older revision		Revision as of 08:22, 30 April 2020
Line 1:		Line 1:
		+	*[[ Z3 \| << Z3 Home ]]
		+	*[[ Z%5E3_Language_Documentation \| Z3 Language Documentation]]
		+	*[[ Z%5E3_Array_Manipulation_Member_Functions \| Listing of Z3 Array Manipulation Member Functions]]
		+
	Also same as [[Array.suchthat() \| Array.suchthat()]]		Also same as [[Array.suchthat() \| Array.suchthat()]]

@@ Line 1: / Line 1: @@
 Also same as [[Array.suchthat() | Array.suchthat()]]
 Related to
@@ Line 8: / Line 13: @@
 12 - dropwhile
 asvector versions work on elements/arrays at the top level. The simple versions work at every element level (goes into subarrays when need be).
-Array.prototype.collectwhile=Array.prototype.filteroncondition.curry(0);
+Each element is used to match for the following:
-Array.prototype.suchthat=Array.prototype.filteroncondition.curry(0);
+Array.suchthat=Array.filteroncondition.curry(0);
-Array.prototype.collect=Array.prototype.suchthat;
+Array.collect=Array.suchthat;
-Array.prototype.takewhile=Array.prototype.filteroncondition.curry(1);
+Array.takewhile=Array.filteroncondition.curry(1);
-Array.prototype.dropwhile=Array.prototype.filteroncondition.curry(2);
+Array.dropwhile=Array.filteroncondition.curry(2);
-Array.prototype.collectwhileasvector=Array.prototype.filteroncondition.curry(10);
+Array.collectwhileasvector=Array.filteroncondition.curry(10);
-Array.prototype.suchthatasvector=Array.prototype.filteroncondition.curry(10);
+Array.suchthatasvector=Array.filteroncondition.curry(10);
-Array.prototype.collectasvector=Array.prototype.suchthatasvector;
+Array.collectasvector=Array.suchthatasvector;
-Array.prototype.takewhileasvector=Array.prototype.filteroncondition.curry(11);
+Array.takewhileasvector=Array.filteroncondition.curry(11);
-Array.prototype.dropwhileasvector=Array.prototype.filteroncondition.curry(12);
+Array.dropwhileasvector=Array.filteroncondition.curry(12);
-Array.prototype.splitwhile=Array.prototype.partitiononcondition.curry(0);
+Array.splitwhile=Array.partitiononcondition.curry(0);
-Array.prototype.splitwhileasvector=Array.prototype.partitiononcondition.curry(10);
+Array.splitwhileasvector=Array.partitiononcondition.curry(10);
-To be documented.
+To be documented in more detail.

← Older revision		Revision as of 20:49, 4 February 2020
Line 8:		Line 8:

	2 12 - dropwhile		2 12 - dropwhile
		+
		+	asvector versions work on elements/arrays at the top level. The simple versions work at every element level (goes into subarrays when need be).

	Array.prototype.collectwhile=Array.prototype.filteroncondition.curry(0);		Array.prototype.collectwhile=Array.prototype.filteroncondition.curry(0);

← Older revision		Revision as of 20:47, 4 February 2020
Line 3:		Line 3:

	Related to		Related to
		+	0 10 - takeall
		+
		+	1 11 - takewhile
		+
		+	2 12 - dropwhile

	Array.prototype.collectwhile=Array.prototype.filteroncondition.curry(0);		Array.prototype.collectwhile=Array.prototype.filteroncondition.curry(0);

← Older revision		Revision as of 20:45, 4 February 2020
Line 1:		Line 1:
	Also same as [[Array.suchthat() \| Array.suchthat()]]		Also same as [[Array.suchthat() \| Array.suchthat()]]
		+
		+
		+	Related to
		+
		+	Array.prototype.collectwhile=Array.prototype.filteroncondition.curry(0);
		+
		+	Array.prototype.suchthat=Array.prototype.filteroncondition.curry(0);
		+
		+	Array.prototype.collect=Array.prototype.suchthat;
		+
		+	Array.prototype.takewhile=Array.prototype.filteroncondition.curry(1);
		+
		+	Array.prototype.dropwhile=Array.prototype.filteroncondition.curry(2);
		+
		+
		+	Array.prototype.collectwhileasvector=Array.prototype.filteroncondition.curry(10);
		+
		+	Array.prototype.suchthatasvector=Array.prototype.filteroncondition.curry(10);
		+
		+	Array.prototype.collectasvector=Array.prototype.suchthatasvector;
		+
		+	Array.prototype.takewhileasvector=Array.prototype.filteroncondition.curry(11);
		+
		+	Array.prototype.dropwhileasvector=Array.prototype.filteroncondition.curry(12);
		+
		+
		+	Array.prototype.splitwhile=Array.prototype.partitiononcondition.curry(0);
		+
		+	Array.prototype.splitwhileasvector=Array.prototype.partitiononcondition.curry(10);
		+
		+	To be documented.