From 15810a4675e08d7405ed99888b49b51a311e9332 Mon Sep 17 00:00:00 2001 From: James Dunkerley Date: Thu, 18 Jul 2024 13:42:34 +0100 Subject: [PATCH] Linting fixes. (#10589) Generating Doc data so fixed linting. --- .../Base/0.0.0-dev/src/Data/Decimal.enso | 8 +- .../0.0.0-dev/src/Data/Filter_Condition.enso | 4 +- .../Base/0.0.0-dev/src/Data/Numbers.enso | 2 +- .../Base/0.0.0-dev/src/Data/Ordering.enso | 4 +- .../src/Internal/Ordering_Helpers.enso | 12 +- .../lib/Standard/Base/0.0.0-dev/src/Main.enso | 185 ++++++++++-------- .../Standard/Database/0.0.0-dev/src/Main.enso | 18 +- .../Standard/Table/0.0.0-dev/src/Main.enso | 58 ++++-- .../lib/Standard/Test/0.0.0-dev/src/Main.enso | 33 ++-- .../Visualization/0.0.0-dev/src/Main.enso | 9 +- 10 files changed, 192 insertions(+), 141 deletions(-) diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Decimal.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Decimal.enso index 70a19be554e..584db8f520e 100644 --- a/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Decimal.enso +++ b/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Decimal.enso @@ -353,7 +353,7 @@ type Decimal b = Decimal.new "20.33" c = a + b # => Decimal.new 30.55 - + : Decimal -> Decimal + + : Decimal -> Decimal ! Arithmetic_Error + self (that : Decimal) -> Decimal ! Arithmetic_Error = self.add that ## ALIAS minus @@ -412,7 +412,7 @@ type Decimal b = Decimal.new "10.22" c = a - b # => Decimal.new 10.11 - - : Decimal -> Decimal + - : Decimal -> Decimal ! Arithmetic_Error - self (that : Decimal) -> Decimal ! Arithmetic_Error = self.subtract that ## ALIAS times @@ -470,7 +470,7 @@ type Decimal b = Decimal.new "20.33" c = a * b # => Decimal.new 207.7726 - * : Decimal -> Decimal + * : Decimal -> Decimal ! Arithmetic_Error * self (that : Decimal) -> Decimal ! Arithmetic_Error = self.multiply that ## GROUP Operators @@ -534,7 +534,7 @@ type Decimal b = Decimal.new "23.34" c = a / b # => Decimal.new 45.67 - / : Decimal -> Decimal + / : Decimal -> Decimal ! Arithmetic_Error / self (that : Decimal) -> Decimal ! Arithmetic_Error = self.divide that ## ALIAS modulo, modulus diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Filter_Condition.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Filter_Condition.enso index d6ee5960e42..757e8d4da23 100644 --- a/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Filter_Condition.enso +++ b/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Filter_Condition.enso @@ -238,7 +238,7 @@ type Filter_Condition ## PRIVATE Creates a Single_Choice Widget for delimiters. - default_widget : Boolean -> Boolean -> Boolean -> Boolean -> Boolean -> Boolean -> Widget + default_widget : Boolean -> Boolean -> Boolean -> Boolean -> Boolean -> Boolean -> Boolean -> Boolean -> Widget default_widget include_comparable=True include_text=True include_boolean=True include_nullable=True include_numeric=True include_date=True include_time=True include_date_time=True = options = Vector.build builder-> equatable_types = make_any_selector add_text=include_text add_boolean=include_boolean add_number=include_numeric add_date=include_date add_time=include_time add_date_time=include_date_time @@ -295,7 +295,7 @@ sql_like_to_regex (sql_pattern : Text) = ## PRIVATE unify_condition_or_predicate : Filter_Condition | (Any -> Boolean) -> (Any -> Boolean) -unify_condition_or_predicate (condition_or_predicate : Filter_Condition | Function) = +unify_condition_or_predicate (condition_or_predicate : Filter_Condition | (Any -> Boolean)) = case Filter_Condition.resolve_auto_scoped condition_or_predicate of condition : Filter_Condition -> condition.to_predicate predicate -> predicate diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Numbers.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Numbers.enso index e42dcd03ba6..b4a24440d7f 100644 --- a/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Numbers.enso +++ b/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Numbers.enso @@ -14,8 +14,8 @@ import project.Nothing.Nothing import project.Panic.Panic from project.Data.Boolean import Boolean, False, True from project.Internal.Number_Builtins import all -from project.Widget_Helpers import make_number_format_selector from project.Internal.Ordering_Helpers import Positive_Integer_Comparator +from project.Widget_Helpers import make_number_format_selector polyglot java import java.lang.Double polyglot java import java.lang.Long diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Ordering.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Ordering.enso index 924338d1409..b896e5d3417 100644 --- a/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Ordering.enso +++ b/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Ordering.enso @@ -111,10 +111,10 @@ from project.Internal.Ordering_Helpers import all the custom comparator whenever equality or hash code is needed. @Builtin_Type type Comparable + ## PRIVATE private By value:Any comparator:Any - ## - Creates new opaque `Comparable` instance for given `value` and + ## Creates new opaque `Comparable` instance for given `value` and a `Comparator` with two static methods what work on the type `T` of the provided `value`: diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/Internal/Ordering_Helpers.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/Internal/Ordering_Helpers.enso index 9042bbcb40e..1f72384495f 100644 --- a/distribution/lib/Standard/Base/0.0.0-dev/src/Internal/Ordering_Helpers.enso +++ b/distribution/lib/Standard/Base/0.0.0-dev/src/Internal/Ordering_Helpers.enso @@ -1,18 +1,18 @@ private import project.Any.Any -from project.Data.Boolean import Boolean, False, True -import project.Data.Numbers.Number import project.Data.Numbers.Integer +import project.Data.Numbers.Number import project.Data.Numbers.Positive_Integer -from project.Data.Ordering import all -import project.Errors.Common.Type_Error -import project.Errors.Common.Incomparable_Values import project.Error.Error -import project.Panic.Panic +import project.Errors.Common.Incomparable_Values +import project.Errors.Common.Type_Error import project.Meta import project.Meta.Atom import project.Nothing.Nothing +import project.Panic.Panic +from project.Data.Boolean import Boolean, False, True +from project.Data.Ordering import all from project.Function import identity ## PRIVATE diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/Main.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/Main.enso index 1ea217cb6cf..c825197549b 100644 --- a/distribution/lib/Standard/Base/0.0.0-dev/src/Main.enso +++ b/distribution/lib/Standard/Base/0.0.0-dev/src/Main.enso @@ -1,8 +1,12 @@ export project.Any.Any + export project.Data export project.Data.Array.Array -export project.Data.Decimal.Decimal +export project.Data.Boolean.Boolean +export project.Data.Boolean.Boolean.False +export project.Data.Boolean.Boolean.True export project.Data.Decimal.dec +export project.Data.Decimal.Decimal export project.Data.Dictionary.Dictionary export project.Data.Filter_Condition.Filter_Action export project.Data.Filter_Condition.Filter_Condition @@ -11,12 +15,17 @@ export project.Data.Index_Sub_Range.Index_Sub_Range export project.Data.Interval.Bound export project.Data.Interval.Interval export project.Data.Interval.Interval_Type +export project.Data.Json.Extensions.to_js_object +export project.Data.Json.Extensions.to_json export project.Data.Json.JS_Object export project.Data.Json.Json export project.Data.List.List export project.Data.Locale.Locale export project.Data.Map.Map export project.Data.Maybe.Maybe +export project.Data.Numbers.Float +export project.Data.Numbers.Integer +export project.Data.Numbers.Number export project.Data.Numeric.Math_Context.Math_Context export project.Data.Numeric.Math_Context.Unlimited export project.Data.Numeric.Rounding_Mode.Rounding_Mode @@ -24,20 +33,81 @@ export project.Data.Ordering.Comparable export project.Data.Ordering.Natural_Order export project.Data.Ordering.Ordering export project.Data.Pair.Pair +export project.Data.Range.Extensions.down_to +export project.Data.Range.Extensions.up_to export project.Data.Range.Range export project.Data.Raw_Response export project.Data.Regression export project.Data.Sort_Direction.Sort_Direction +export project.Data.Statistics.Extensions.compute +export project.Data.Statistics.Extensions.compute_bulk +export project.Data.Statistics.Extensions.rank_data +export project.Data.Statistics.Extensions.running +export project.Data.Statistics.Extensions.running_bulk export project.Data.Statistics.Rank_Method export project.Data.Statistics.Statistic export project.Data.Text.Case.Case export project.Data.Text.Case_Sensitivity.Case_Sensitivity export project.Data.Text.Encoding.Encoding +export project.Data.Text.Extensions.at +export project.Data.Text.Extensions.bytes +export project.Data.Text.Extensions.char_vector +export project.Data.Text.Extensions.characters +export project.Data.Text.Extensions.cleanse +export project.Data.Text.Extensions.codepoints +export project.Data.Text.Extensions.contains +export project.Data.Text.Extensions.drop +export project.Data.Text.Extensions.each +export project.Data.Text.Extensions.ends_with +export project.Data.Text.Extensions.find +export project.Data.Text.Extensions.find_all +export project.Data.Text.Extensions.first +export project.Data.Text.Extensions.from +export project.Data.Text.Extensions.from_bytes +export project.Data.Text.Extensions.from_char_vector +export project.Data.Text.Extensions.from_codepoints +export project.Data.Text.Extensions.from_utf_8 +export project.Data.Text.Extensions.get +export project.Data.Text.Extensions.index_of +export project.Data.Text.Extensions.insert +export project.Data.Text.Extensions.is_digit +export project.Data.Text.Extensions.is_whitespace +export project.Data.Text.Extensions.last +export project.Data.Text.Extensions.last_index_of +export project.Data.Text.Extensions.lines +export project.Data.Text.Extensions.locate +export project.Data.Text.Extensions.locate_all +export project.Data.Text.Extensions.match +export project.Data.Text.Extensions.pad +export project.Data.Text.Extensions.parse_date +export project.Data.Text.Extensions.parse_date_time +export project.Data.Text.Extensions.parse_float +export project.Data.Text.Extensions.parse_integer +export project.Data.Text.Extensions.parse_json +export project.Data.Text.Extensions.parse_time_of_day +export project.Data.Text.Extensions.parse_time_zone +export project.Data.Text.Extensions.repeat +export project.Data.Text.Extensions.replace +export project.Data.Text.Extensions.reverse +export project.Data.Text.Extensions.second +export project.Data.Text.Extensions.slice_text +export project.Data.Text.Extensions.split +export project.Data.Text.Extensions.split_find_delimiters +export project.Data.Text.Extensions.starts_with +export project.Data.Text.Extensions.substring +export project.Data.Text.Extensions.take +export project.Data.Text.Extensions.to_case +export project.Data.Text.Extensions.to_regex +export project.Data.Text.Extensions.tokenize +export project.Data.Text.Extensions.trim +export project.Data.Text.Extensions.utf_8 +export project.Data.Text.Extensions.words export project.Data.Text.Line_Ending_Style.Line_Ending_Style export project.Data.Text.Location.Location export project.Data.Text.Matching_Mode.Matching_Mode export project.Data.Text.Normalization.Normalization export project.Data.Text.Regex.Named_Pattern.Named_Pattern +export project.Data.Text.Regex.regex export project.Data.Text.Regex.Regex export project.Data.Text.Text export project.Data.Text.Text_Cleanse.Cleansable_Text @@ -60,28 +130,52 @@ export project.Data.XML.XML_Document export project.Data.XML.XML_Element export project.Data.XML.XML_Error export project.Data.XML.XML_Format.XML_Format + export project.Enso_Cloud.Enso_File.Enso_File export project.Enso_Cloud.Enso_Secret.Enso_Secret export project.Enso_Cloud.Enso_User.Enso_User + export project.Error.Error + export project.Errors export project.Errors.Problem_Behavior.Problem_Behavior + +export project.Function.const +export project.Function.curry +export project.Function.flip +export project.Function.Function +export project.Function.identity +export project.Function.uncurry + export project.IO + export project.Math + export project.Meta +export project.Meta.Enso_Project.enso_project export project.Meta.Enso_Project.Project_Description + +export project.Network.Extensions.fetch +export project.Network.Extensions.post +export project.Network.Extensions.to_uri export project.Network.HTTP.Header.Header export project.Network.HTTP.HTTP export project.Network.HTTP.HTTP_Method.HTTP_Method export project.Network.HTTP.HTTP_Status_Code.HTTP_Status_Code export project.Network.HTTP.HTTP_Version.HTTP_Version export project.Network.URI.URI + export project.Nothing.Nothing + export project.Panic.Panic + export project.Polyglot.Java export project.Polyglot.Polyglot + export project.Random.Random + export project.Runtime + export project.System export project.System.Environment export project.System.File.Existing_File_Behavior.Existing_File_Behavior @@ -90,92 +184,15 @@ export project.System.File.File_Access.File_Access export project.System.File.File_Permissions.File_Permissions export project.System.File.File_Permissions.Permission export project.System.File.Write_Extensions -export project.System.Platform -export project.System.Process -export project.System.Process.Exit_Code.Exit_Code -export project.Warning.Warning -export project.Data.Boolean.Boolean -export project.Data.Boolean.Boolean.False -export project.Data.Boolean.Boolean.True -export project.Data.Json.Extensions.to_json -export project.Data.Json.Extensions.to_js_object -export project.Data.Numbers.Float -export project.Data.Numbers.Integer -export project.Data.Numbers.Number -export project.Data.Range.Extensions.up_to -export project.Data.Range.Extensions.down_to -export project.Data.Statistics.Extensions.compute -export project.Data.Statistics.Extensions.compute_bulk -export project.Data.Statistics.Extensions.running -export project.Data.Statistics.Extensions.running_bulk -export project.Data.Statistics.Extensions.rank_data -export project.Data.Text.Extensions.reverse -export project.Data.Text.Extensions.each -export project.Data.Text.Extensions.at -export project.Data.Text.Extensions.get -export project.Data.Text.Extensions.first -export project.Data.Text.Extensions.second -export project.Data.Text.Extensions.last -export project.Data.Text.Extensions.characters -export project.Data.Text.Extensions.find -export project.Data.Text.Extensions.find_all -export project.Data.Text.Extensions.match -export project.Data.Text.Extensions.to_regex -export project.Data.Text.Extensions.split -export project.Data.Text.Extensions.tokenize -export project.Data.Text.Extensions.replace -export project.Data.Text.Extensions.cleanse -export project.Data.Text.Extensions.words -export project.Data.Text.Extensions.lines -export project.Data.Text.Extensions.insert -export project.Data.Text.Extensions.from -export project.Data.Text.Extensions.is_digit -export project.Data.Text.Extensions.is_whitespace -export project.Data.Text.Extensions.bytes -export project.Data.Text.Extensions.from_bytes -export project.Data.Text.Extensions.utf_8 -export project.Data.Text.Extensions.from_utf_8 -export project.Data.Text.Extensions.char_vector -export project.Data.Text.Extensions.from_char_vector -export project.Data.Text.Extensions.codepoints -export project.Data.Text.Extensions.from_codepoints -export project.Data.Text.Extensions.starts_with -export project.Data.Text.Extensions.ends_with -export project.Data.Text.Extensions.contains -export project.Data.Text.Extensions.repeat -export project.Data.Text.Extensions.take -export project.Data.Text.Extensions.drop -export project.Data.Text.Extensions.to_case -export project.Data.Text.Extensions.pad -export project.Data.Text.Extensions.trim -export project.Data.Text.Extensions.locate -export project.Data.Text.Extensions.locate_all -export project.Data.Text.Extensions.index_of -export project.Data.Text.Extensions.last_index_of -export project.Data.Text.Extensions.parse_float -export project.Data.Text.Extensions.parse_integer -export project.Data.Text.Extensions.parse_json -export project.Data.Text.Extensions.parse_date -export project.Data.Text.Extensions.parse_date_time -export project.Data.Text.Extensions.parse_time_of_day -export project.Data.Text.Extensions.parse_time_zone -export project.Data.Text.Extensions.substring -export project.Data.Text.Extensions.slice_text -export project.Data.Text.Extensions.split_find_delimiters -export project.Data.Text.Regex.regex -export project.Function.Function -export project.Function.identity -export project.Function.flip -export project.Function.const -export project.Function.curry -export project.Function.uncurry -export project.Meta.Enso_Project.enso_project -export project.Network.Extensions.to_uri -export project.Network.Extensions.fetch -export project.Network.Extensions.post export project.System.File_Format.Auto_Detect export project.System.File_Format.Bytes export project.System.File_Format.File_Format export project.System.File_Format.Infer export project.System.File_Format.JSON_Format export project.System.File_Format.Plain_Text_Format +export project.System.Platform +export project.System.Process +export project.System.Process.Exit_Code.Exit_Code + +export project.Warning.Warning + diff --git a/distribution/lib/Standard/Database/0.0.0-dev/src/Main.enso b/distribution/lib/Standard/Database/0.0.0-dev/src/Main.enso index 12fbb005956..2c533abaf3b 100644 --- a/distribution/lib/Standard/Database/0.0.0-dev/src/Main.enso +++ b/distribution/lib/Standard/Database/0.0.0-dev/src/Main.enso @@ -1,5 +1,5 @@ export project.Column_Description.Column_Description -import project.Connection + export project.Connection.Client_Certificate.Client_Certificate export project.Connection.Connection_Options.Connection_Options export project.Connection.Credentials.Credentials @@ -8,11 +8,15 @@ export project.Connection.Postgres.Postgres export project.Connection.SQLite.SQLite export project.Connection.SQLite_Format.SQLite_Format export project.Connection.SSL_Mode.SSL_Mode -export project.SQL_Query.SQL_Query -export project.Update_Action.Update_Action -export project.Extensions.Upload_Database_Table.update_rows -export project.Extensions.Upload_Database_Table.select_into_database_table + export project.Extensions.Upload_Database_Table.delete_rows -export project.Extensions.Upload_In_Memory_Table.update_rows -export project.Extensions.Upload_In_Memory_Table.select_into_database_table +export project.Extensions.Upload_Database_Table.select_into_database_table +export project.Extensions.Upload_Database_Table.update_rows export project.Extensions.Upload_In_Memory_Table.delete_rows +export project.Extensions.Upload_In_Memory_Table.select_into_database_table +export project.Extensions.Upload_In_Memory_Table.update_rows + +export project.SQL_Query.SQL_Query + +export project.Update_Action.Update_Action + diff --git a/distribution/lib/Standard/Table/0.0.0-dev/src/Main.enso b/distribution/lib/Standard/Table/0.0.0-dev/src/Main.enso index cd4ce55bb7e..7deeb9bfb1d 100644 --- a/distribution/lib/Standard/Table/0.0.0-dev/src/Main.enso +++ b/distribution/lib/Standard/Table/0.0.0-dev/src/Main.enso @@ -1,38 +1,60 @@ from Standard.Base import all export project.Aggregate_Column.Aggregate_Column + export project.Blank_Selector.Blank_Selector + export project.Column.Column + export project.Column_Operation.Column_Operation + export project.Column_Ref.Column_Ref + +export project.Constants.Previous_Value +export project.Constants.Report_Unmatched + export project.Data_Formatter.Data_Formatter + export project.Delimited.Delimited_Format.Delimited_Format export project.Delimited.Quote_Style.Quote_Style + export project.Excel.Excel_Format.Excel_Format export project.Excel.Excel_Range.Excel_Range export project.Excel.Excel_Workbook.Excel_Workbook -export project.Headers.Headers -export project.Join_Condition.Join_Condition -export project.Join_Kind.Join_Kind -export project.Match_Columns.Match_Columns -export project.Position.Position -export project.Prefix_Name.Prefix_Name -export project.Set_Mode.Set_Mode -export project.Simple_Expression.Simple_Calculation -export project.Simple_Expression.Simple_Expression -export project.Sort_Column.Sort_Column -export project.Table.Table -export project.Value_Type.Auto -export project.Value_Type.Bits -export project.Value_Type.Value_Type -export project.Constants.Previous_Value -export project.Constants.Report_Unmatched + export project.Expression.expr -export project.Extensions.Column_Vector_Extensions.to_column + export project.Extensions.Column_Vector_Extensions.compute export project.Extensions.Column_Vector_Extensions.compute_bulk export project.Extensions.Column_Vector_Extensions.running -export project.Extensions.Table_Conversions.to_table +export project.Extensions.Column_Vector_Extensions.to_column export project.Extensions.Table_Conversions.from_objects export project.Extensions.Table_Conversions.parse_to_table +export project.Extensions.Table_Conversions.to_table export project.Extensions.Table_Conversions.write_table + +export project.Headers.Headers + +export project.Join_Condition.Join_Condition + +export project.Join_Kind.Join_Kind + +export project.Match_Columns.Match_Columns + +export project.Position.Position + +export project.Prefix_Name.Prefix_Name + +export project.Set_Mode.Set_Mode + +export project.Simple_Expression.Simple_Calculation +export project.Simple_Expression.Simple_Expression + +export project.Sort_Column.Sort_Column + +export project.Table.Table + +export project.Value_Type.Auto +export project.Value_Type.Bits +export project.Value_Type.Value_Type + diff --git a/distribution/lib/Standard/Test/0.0.0-dev/src/Main.enso b/distribution/lib/Standard/Test/0.0.0-dev/src/Main.enso index 661c6d22bf3..7cfd7fe93bd 100644 --- a/distribution/lib/Standard/Test/0.0.0-dev/src/Main.enso +++ b/distribution/lib/Standard/Test/0.0.0-dev/src/Main.enso @@ -8,23 +8,28 @@ from project.Extensions import all export project.Bench.Bench export project.Bench.Phase_Conf -export project.Faker.Faker -export project.Problems -export project.Suite.Suite -export project.Test.Test -export project.Extensions.should_fail_with + +export project.Extensions.should_be_a +export project.Extensions.should_be_false +export project.Extensions.should_be_true +export project.Extensions.should_contain +export project.Extensions.should_contain_the_same_elements_as +export project.Extensions.should_end_with export project.Extensions.should_equal export project.Extensions.should_equal_type +export project.Extensions.should_fail_with +export project.Extensions.should_not_contain export project.Extensions.should_not_equal export project.Extensions.should_not_equal_type -export project.Extensions.should_start_with -export project.Extensions.should_end_with -export project.Extensions.should_succeed -export project.Extensions.should_be_a -export project.Extensions.should_be_true -export project.Extensions.should_be_false -export project.Extensions.should_contain_the_same_elements_as export project.Extensions.should_only_contain_elements_in -export project.Extensions.should_contain -export project.Extensions.should_not_contain +export project.Extensions.should_start_with +export project.Extensions.should_succeed + +export project.Faker.Faker + +export project.Problems + +export project.Suite.Suite + +export project.Test.Test diff --git a/distribution/lib/Standard/Visualization/0.0.0-dev/src/Main.enso b/distribution/lib/Standard/Visualization/0.0.0-dev/src/Main.enso index 14c2e0e2fb6..367b468f1a0 100644 --- a/distribution/lib/Standard/Visualization/0.0.0-dev/src/Main.enso +++ b/distribution/lib/Standard/Visualization/0.0.0-dev/src/Main.enso @@ -2,8 +2,11 @@ from Standard.Base import all export project.AI -export project.Helpers -export project.Id.Id -export project.Preprocessor export project.File_Upload.file_uploading +export project.Helpers + +export project.Id.Id + +export project.Preprocessor +