Linting fixes. (#10589)

Generating Doc data so fixed linting.
This commit is contained in:
James Dunkerley 2024-07-18 13:42:34 +01:00 committed by GitHub
parent 4e310d723d
commit 15810a4675
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
10 changed files with 192 additions and 141 deletions

View File

@ -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

View File

@ -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

View File

@ -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

View File

@ -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`:

View File

@ -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

View File

@ -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

View File

@ -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

View File

@ -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

View File

@ -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

View File

@ -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