Replace all from ... export all with explicit exports

distribution/lib/Standard/Base/0.0.0-dev/src/Data/Boolean.enso

@@ -1,7 +1,8 @@
 import project.Any.Any
 import project.Nothing.Nothing
 
-from project.Data.Boolean.Boolean export False, True
+export project.Data.Boolean.Boolean.False
+export project.Data.Boolean.Boolean.True
 
 ## A type with only two possible values.
 

distribution/lib/Standard/Base/0.0.0-dev/src/Main.enso

@@ -93,14 +93,88 @@ export project.System.Platform
 export project.System.Process
 export project.System.Process.Exit_Code.Exit_Code
 export project.Warning.Warning
-from project.Data.Boolean export Boolean, False, True
-from project.Data.Json.Extensions export all
-from project.Data.Numbers export Float, Integer, Number
-from project.Data.Range.Extensions export all
-from project.Data.Statistics.Extensions export all
-from project.Data.Text.Extensions export all
-from project.Data.Text.Regex export regex
-from project.Function export all
-from project.Meta.Enso_Project export enso_project
-from project.Network.Extensions export all
-from project.System.File_Format export Auto_Detect, Bytes, File_Format, Infer, JSON_Format, Plain_Text_Format
+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

distribution/lib/Standard/Database/0.0.0-dev/src/Main.enso

@@ -1,4 +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
@@ -9,5 +10,9 @@ 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
-from project.Extensions.Upload_Database_Table export all
-from project.Extensions.Upload_In_Memory_Table export all
+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_In_Memory_Table.delete_rows

distribution/lib/Standard/Geo/0.0.0-dev/src/Main.enso

@@ -2,7 +2,7 @@ from Standard.Base import all
 
 from Standard.Table import Table
 
-from project.Geo_Json export geo_json_to_table
+export project.Geo_Json.geo_json_to_table
 
 ## UNSTABLE
    ICON location

distribution/lib/Standard/Table/0.0.0-dev/src/Main.enso

@@ -25,7 +25,14 @@ export project.Table.Table
 export project.Value_Type.Auto
 export project.Value_Type.Bits
 export project.Value_Type.Value_Type
-from project.Constants export all
-from project.Expression export expr
-from project.Extensions.Column_Vector_Extensions export all
-from project.Extensions.Table_Conversions export all
+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.Table_Conversions.from_objects
+export project.Extensions.Table_Conversions.parse_to_table
+export project.Extensions.Table_Conversions.write_table

distribution/lib/Standard/Test/0.0.0-dev/src/Main.enso

@@ -12,5 +12,19 @@ export project.Faker.Faker
 export project.Problems
 export project.Suite.Suite
 export project.Test.Test
-from project.Extensions export all
+export project.Extensions.should_fail_with
+export project.Extensions.should_equal
+export project.Extensions.should_equal_type
+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
 

distribution/lib/Standard/Visualization/0.0.0-dev/src/Main.enso

@@ -5,5 +5,5 @@ export project.AI
 export project.Helpers
 export project.Id.Id
 export project.Preprocessor
-from project.File_Upload export file_uploading
+export project.File_Upload.file_uploading
 

docs/infrastructure/benchmarks.md

@@ -55,6 +55,16 @@ to 0, and to run `withDebug` command like this:
 withDebug --debugger benchOnly -- <fully qualified benchmark name>
 ```
 
+Another option that does not require changing the source code is to run
+something like
+
+```
+sbt:runtime-benchmarks> run -w 1 -i 1 -f 1 -jvmArgs -agentlib:jdwp=transport=dt_socket,server=y,suspend=y,address=localhost:8000 org.enso.compiler.benchmarks.module.ImportStandardLibrariesBenchmark.importStandardLibraries
+```
+
+This command will run the `importStandardLibraries` benchmark in fork waiting
+for the debugger to attach.
+
 ## Standard library benchmarks
 
 Unlike the Engine micro benchmarks, these benchmarks are written entirely in

docs/syntax/functions.md

@@ -132,18 +132,26 @@ Number.floor self = case self of
     ...
 ```
 
-3. **As a Function with an Explicit `self` Argument:** A function defined with
-   the type of the `self` argument specified to be a type.
+3. **As a module method:** A function defined outside the body of a type and
+   without explicit `self` argument, is considered a _module method_.
 
 ```ruby
-floor (self : Number) = case self of
-    Integer -> ...
+module_method x y = x + y
 ```
 
-If the user does not explicitly specify the `this` argument by name when
+If the user does not explicitly specify the `self` argument by name when
 defining a method (e.g. they use the `Type.name` syntax), it is implicitly added
 to the start of the argument list.
 
+Note that the following methods defined in the body of type and as an extension
+method are equivalent:
+
+```
+type My_Type
+    method self = 42
+My_Type.method self = 42
+```
+
 ## Calling Functions and Methods
 
 Enso makes the distinction between functions and methods. Methods are entities

docs/syntax/imports.md

@@ -18,18 +18,23 @@ code from modules.
 - [Import Syntax](#import-syntax)
   - [Qualified Imports](#qualified-imports)
   - [Unqualified Imports](#unqualified-imports)
+- [Imports with multiple targets](#imports-with-multiple-targets)
 - [Export Syntax](#export-syntax)
   - [Qualified Exports](#qualified-exports)
   - [Unqualified Exports](#unqualified-exports)
   - [Visibility of Export Bindings](#visibility-of-export-bindings)
+  - [Implicit exports](#implicit-exports)
+    - [Defined entities in a module](#defined-entities-in-a-module)
+    - [Synthetic module](#synthetic-module)
+- [Exports with multiple targets](#exports-with-multiple-targets)
 
 <!-- /MarkdownTOC -->
 
 ## Qualified Names
 
 In the following text, **entity** shall denote a module, a method (instance,
-static, foreign), type, or a type constructor. In other words, an _entity_ is
-anything that can be assigned to a variable.
+static, extension, conversion, foreign), type, or a type constructor. In other
+words, an _entity_ is anything that can be assigned to a variable.
 
 Both imports and exports require the use of qualified entity names. A qualified
 name consists of the library namespace (usually organization under which its
@@ -95,6 +100,30 @@ Imports in Enso _may_ introduce ambiguous symbols, which is treated as a
 compilation error. Ideally, the error should be delayed until one of the
 ambiguous symbols is _used_ in Enso code.
 
+## Imports with multiple targets
+
+Import of one symbol can resolve to multiple targets in case of extension or
+conversion methods. For example, the following import in `Main.enso`:
+`A_Module.enso`:
+
+```
+type My_Type
+type Other_Type
+My_Type.method = 42
+Other_Type.method = 42
+```
+
+`Main.enso`:
+
+```
+import project.A_Module.method
+```
+
+imports both `My_Type.method` and `Other_Type.method` methods.
+
+Note that `import project.A_Module.My_Type.method` would lead to a compilation
+error, as it is only possible to import constructors from a type, not methods.
+
 ## Export Syntax
 
 In order to allow for easy composition and aggregation of code, Enso provides
@@ -112,31 +141,19 @@ the name provided after the `as` keyword, if provided).
 
 ### Unqualified Exports
 
-Unqualified exports are broken up into three main categories:
+Unlike imports, exports cannot be used with the `all` and `hiding` keywords. So
+the only supported syntax is to export a list of names with _restricted
+exports_.
 
-1. **Unrestricted Exports:** These export all symbols from the module or type
-   into the current scope. They consist of the keyword `from`, followed by a
-   qualified module name, followed by an optional rename part (using the `as`
-   keyword), then the keywords `export all`. For example:
-   ```
-   from Standard.Base.Data.List as Builtin_List export all
-   ```
-2. **Restricted Exports:** These export a specified set of names, behaving as
-   though they were redefined in the current scope. They consist of the keyword
-   `from`, followed by a qualified module or type name (with optional
-   `as`-rename), then the word `export` followed by a coma-separated list of
-   names to be exported. For example:
-   ```
-   from Standard.Base.Data.List export Cons, Nil, from_vector
-   ```
-3. **Hiding Exports:** These are the inverse of restricted exports, and export
-   _all_ symbols other than the named ones. They consist of the `from` keyword,
-   followed by a qualified module or type name (with optional `as`-rename), then
-   the words `export all hiding`, followed by a coma-separated list of names to
-   be excluded from the export. For example:
-   ```
-   from Standard.Base.Data.List export all hiding from_vector, Nil
-   ```
+**Restricted Exports:** These export a specified set of names, behaving as
+though they were redefined in the current scope. They consist of the keyword
+`from`, followed by a qualified module or type name (with optional `as`-rename),
+then the word `export` followed by a coma-separated list of names to be
+exported. For example:
+
+```
+from Standard.Base.Data.List export Cons, Nil, from_vector
+```
 
 In essence, an export allows the user to "paste" the contents of the module or
 type being exported into the module declaring the export. This means that
@@ -146,3 +163,63 @@ exports that create name clashes must be resolved at the _export_ site.
 
 Bindings exported from a module `X` are available in an identical fashion to
 bindings that are _defined_ in the module `X`.
+
+### Implicit exports
+
+The compiler inserts implicit exports for entities defined in a module and for
+submodules of a _synthetic module_. A synthetic module is basically a directory
+in the source structure.
+
+#### Defined entities in a module
+
+Entities defined in a module are automatically exported from the module. This
+means that the following modules are semantically identical:
+
+```
+type My_Type
+method x = x
+```
+
+```
+export project.Module.My_Type
+export project.Module.method
+type My_Type
+method x = x
+```
+
+#### Synthetic module
+
+Consider a project named `Proj` with the following source structure:
+
+`Proj/src/Synthetic_Mod/Module.enso`:
+
+```
+type My_Type
+```
+
+`Proj/src/Main.enso`:
+
+```
+import project.Synthetic_Mod.Module.My_Type
+```
+
+We can import submodules of `Synthetic_Mod`, because the compiler automatically
+inserts exports for them. Internally, `Synthetic_Mod` is represented as a module
+with single export:
+
+```
+export project.Synthetic_Mod.Module
+```
+
+## Exports with multiple targets
+
+Export of a single symbol can be resolved to multiple targets (entities) in case
+of extension or conversion methods. Similarly to
+[imports with multiple targets](#imports-with-multiple-targets), the following
+export in `A_Module.enso`:
+
+```
+export project.A_Module.export
+```
+
+exports both `My_Type.method` and `Other_Type.method` methods.