From c937d112e19300434a6faf67937c3cb64a4e7a45 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rados=C5=82aw=20Wa=C5=9Bko?= Date: Sat, 22 Jan 2022 16:05:37 +0100 Subject: [PATCH] checkpoint --- .../Table/0.2.32-SNAPSHOT/src/Internal/Table_Helpers.enso | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/distribution/lib/Standard/Table/0.2.32-SNAPSHOT/src/Internal/Table_Helpers.enso b/distribution/lib/Standard/Table/0.2.32-SNAPSHOT/src/Internal/Table_Helpers.enso index fb87d2412c100..616c8e2840513 100644 --- a/distribution/lib/Standard/Table/0.2.32-SNAPSHOT/src/Internal/Table_Helpers.enso +++ b/distribution/lib/Standard/Table/0.2.32-SNAPSHOT/src/Internal/Table_Helpers.enso @@ -63,10 +63,16 @@ select_columns internal_columns selector reorder on_problems warnings = Problem_Behavior_Module.attach_issues_as_needed result on_problems issues warnings=warnings ## PRIVATE + Selects element from the vector based on the given indices. + + The elements are returned in the same order as their provided indices. select_indices_reordering vector indices = indices.map vector.at ## PRIVATE + Selects element from the vector based on the given indices. + + The elements are returned in the same order as they appeared in the original vector. select_indices_preserving_order vector indices = - indexed_indices = Map.from_vector (indices.map i-> [i, True]) + indices_to_keep = Map.from_vector (indices.map i-> [i, True]) vector.map_with_index