rename get_rows_by_mask to filter (#246)

Author: MarcoGorelli

spec/API_specification/dataframe_api/column_object.py

@@ -104,7 +104,7 @@ def slice_rows(
         ...
 
 
-    def get_rows_by_mask(self: Column[DType], mask: Column[Bool]) -> Column[DType]:
+    def filter(self: Column[DType], mask: Column[Bool]) -> Column[DType]:
         """
         Select a subset of rows corresponding to a mask.
 

spec/API_specification/dataframe_api/dataframe_object.py

@@ -161,7 +161,7 @@ def slice_rows(
         """
         ...
 
-    def get_rows_by_mask(self, mask: Column[Bool]) -> DataFrame:
+    def filter(self, mask: Column[Bool]) -> DataFrame:
         """
         Select a subset of rows corresponding to a mask.
 

spec/purpose_and_scope.md

@@ -287,7 +287,7 @@ def my_dataframe_agnostic_function(df):
     df = df.__dataframe_consortium_standard__(api_version='2023.08-beta')
 
     mask = df.get_column_by_name('species') != 'setosa'
-    df = df.get_rows_by_mask(mask)
+    df = df.filter(mask)
 
     for column_name in df.get_column_names():
         if column_name == 'species':