Reducing helper methods in Standard.Base.Meta

CHANGELOG.md

@@ -23,9 +23,11 @@
 
 - [Allow using `/` to access files inside a directory reached through a data
   link.][11926]
+- [Reducing helper methods in `Standard.Base.Meta`.][12031]
 - [Added Table.Offset][12071]
 
 [11926]: https://github.com/enso-org/enso/pull/11926
+[12031]: https://github.com/enso-org/enso/pull/12031
 [12071]: https://github.com/enso-org/enso/pull/12071
 
 #### Enso Language & Runtime

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

@@ -460,4 +460,4 @@ download (uri:(URI | Text)=(Missing_Argument.throw "uri")) file:Writable_File (m
 type Raw_Response
     ## PRIVATE
     get_dropdown_options : Vector Option
-    get_dropdown_options = [Option "Raw HTTP Response" (Meta.get_qualified_type_name Raw_Response)]
+    get_dropdown_options = [Option "Raw HTTP Response" (Raw_Response.to Meta.Type . qualified_name)]

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

@@ -459,7 +459,7 @@ key_widget dict:Dictionary -> Widget =
 
 ## PRIVATE
 key_value_widget -> Widget =
-    fqn = Meta.get_qualified_type_name Pair . take (..Before_Last '.')
+    fqn = Pair.to Meta.Type . qualified_name . take (..Before_Last '.')
     default = 'pair "key" Nothing'
     pair = Option "Pair" fqn+".pair" [["first", make_all_selector], ["second", make_all_selector]]
     item_editor = Single_Choice display=..Always values=[pair]

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

@@ -430,7 +430,7 @@ make_enso object =
 ## PRIVATE
 key_value_widget : Widget
 key_value_widget =
-    fqn = Meta.get_qualified_type_name Pair . take (..Before_Last '.')
+    fqn = Pair.to Meta.Type . qualified_name . take (..Before_Last '.')
     default = 'pair "key" Nothing'
     pair = Option "Pair" fqn+".pair" [["first", Text_Input], ["second", make_all_selector]]
     item_editor = Single_Choice display=..Always values=[pair]

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

@@ -147,7 +147,7 @@ Any.to_js_object self =
                     0.up_to field_names.length . map i-> builder.append [field_names.at i, fs.at i . to_js_object]
                 JS_Object.from_pairs pairs
         _ : Meta.Constructor ->
-            type_name = Meta.get_qualified_type_name self . split '.' . at -2
+            type_name = self.to Meta.Type . qualified_name . split '.' . at -2
             JS_Object.from_pairs [["type", type_name], ["constructor", m.name]]
         _ -> Error.throw ("Cannot convert " + self.to_text + " to JSON")
 

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

@@ -474,6 +474,6 @@ type Locale
     widget_options : Vector Option
     widget_options = Locale.predefined_locale_fields.map field_name->
         display_string = field_name.replace '_' ' ' . to_case (if field_name.length == 2 then Case.Upper else Case.Title)
-        fqn = Meta.get_qualified_type_name Locale
+        fqn = Locale.to Meta.Type . qualified_name
         code_string = fqn + "." + field_name
         Option display_string code_string

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

@@ -21,7 +21,7 @@ type Encoding
     ## PRIVATE
        Gets the default drop down option for Encoding.
     default_widget display:Display=..When_Modified -> Widget =
-        fqn = Meta.get_qualified_type_name Encoding
+        fqn = Encoding.to Meta.Type . qualified_name
         values = [Option "UTF-8" fqn+".utf_8", Option "ASCII" fqn+".ascii", Option "UTF-16LE" fqn+".utf_16_le", Option "UTF-16BE" fqn+".utf_16_be", Option "UTF-32LE" fqn+".utf_32_le", Option "UTF-32BE" fqn+".utf_32_be", Option "Windows-1250" fqn+".windows_1250", Option "Windows-1251" fqn+".windows_1251", Option "Windows-1252" fqn+".windows_1252", Option "Windows-1253" fqn+".windows_1253", Option "Windows-1254" fqn+".windows_1254", Option "Windows-1255" fqn+".windows_1255", Option "Windows-1256" fqn+".windows_1256", Option "Windows-1257" fqn+".windows_1257", Option "Windows-1258" fqn+".windows_1258"]
         Single_Choice values=values display=display
 

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

@@ -60,7 +60,7 @@ ensure_duration object ~action =
         _ : Period -> Error.throw (Time_Error.Error "Cannot use Period as a parameter")
         x ->
             Error.throw Illegal_Argument.Error <|
-                "Expected Duration type, got: " + (Meta.get_qualified_type_name x)
+                "Expected Duration type, got: " + (x.to Meta.Type . qualified_name)
 
 ## Represents the amount of time between two points in time.
 @Builtin_Type

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

@@ -29,7 +29,7 @@ ensure_period object ~action error_msg="Cannot use Duration as a parameter" =
             Error.throw (Time_Error.Error error_msg)
         x ->
             Error.throw Illegal_Argument.Error <|
-                "Expected Period type, got: " + (Meta.get_qualified_type_name x)
+                "Expected Period type, got: " + (x.to Meta.Type . qualified_name)
 
 ## A date-based amount of time in the ISO-8601 calendar system, such as
    '2 years, 3 months and 4 days'.

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

@@ -49,7 +49,7 @@ type XML_Format
 
     ## PRIVATE
     get_dropdown_options : Vector Option
-    get_dropdown_options = [Option "XML" (Meta.get_qualified_type_name XML_Format)]
+    get_dropdown_options = [Option "XML" (XML_Format.to Meta.Type . qualified_name)]
 
     ## PRIVATE
     get_name_patterns -> Vector File_Name_Pattern =

distribution/lib/Standard/Base/0.0.0-dev/src/Internal/Instrumentor.enso

@@ -0,0 +1,92 @@
+private
+
+import project.Any.Any
+import project.Data.Text.Text
+import project.Function.Function
+import project.Meta
+import project.Internal.Meta_Helpers
+import project.Data.Vector.Vector
+import project.Nothing.Nothing
+import project.Runtime.Managed_Resource.Managed_Resource
+
+## PRIVATE
+   ADVANCED
+
+   Builder to create instrumentation for a function
+type Instrumentor
+    private Value impl
+
+    ## PRIVATE
+       ADVANCED
+
+       Registers callback to be executed at the begining of node/expression
+       execution. The callback `fn` gets UUID of the node/expression that is
+       being executed and can return `Nothing` to continue regular execution
+       or anything else to skip the execution and just return given value.
+
+       Arguments:
+       - fn: The callback function accepting UUID.
+    on_enter self (fn : Text -> Any | Nothing) =
+        new = Meta_Helpers.instrumentor_builtin "onEnter" [ self.impl, fn ]
+        Instrumentor.Value new
+
+    ## PRIVATE
+       ADVANCED
+
+       Registers callback to be executed when a node/expression evaluation
+       is over. The callback `fn` gets UUID and the computed value (or value
+       of `expression` if specified). Usually
+       the value is _cached_ and returned from `on_enter` callback next time
+       the same expression is evaluated.
+
+       > Example
+         Specify `expression` to _"inline evaluate"_ it.
+            see_a_b uuid:Text ~result =
+              if uuid == "expected-uuid" then
+                IO.println "evalutated to "+result.to_text
+
+            Meta.meta .fn . instrument . on_return fn=see_a_b expression="a+b" . activate
+
+       Arguments:
+       - fn: The callback function accepting UUID and computed value
+       - expression: Expression to evaluate on_return - by default Nothing -
+         e.g. to provide the return value of the function
+    on_return self (fn : Text -> Any -> Nothing) expression:(Text | Nothing)=Nothing =
+        new = Meta_Helpers.instrumentor_builtin "onReturn" [ self.impl, fn, expression ]
+        Instrumentor.Value new
+
+    ## PRIVATE
+       ADVANCED
+
+       Registers callback to be executed when a node/expression representing function is about to be called.
+       The callback `fn` shall accept three arguments. The UUID to identify the expression, the function to be
+       invoked and the arguments to pass to the function. The callback can return `Nothing`
+       (in such case the function gets executed with provided arguments) or some other value,
+       which is then returned instead of calling the function.
+
+       Arguments:
+       - fn: The callback function accepting UUID and function value
+    on_call self (fn : Text -> Function -> Vector Any -> Any | Nothing) =
+        new = Meta_Helpers.instrumentor_builtin "onCall" [ self.impl, fn ]
+        Instrumentor.Value new
+
+    ## PRIVATE
+       ADVANCED
+
+       Activates configured instrumentor. Returns managed resource to
+       deactivate the instrumentor later.
+
+       Arguments:
+       - value: The value of the atom in the meta representation.
+    activate self =
+        finalize_instrumentor impl = Meta_Helpers.instrumentor_builtin "deactivate" [ impl ]
+        create action = (Meta_Helpers.instrumentor_builtin action [ self.impl, finalize_instrumentor ]) : Managed_Resource
+        create "activate"
+
+
+## ADVANCED
+   GROUP Metadata
+   ICON metadata
+
+   Starts building an instrumentation for a given node
+Meta.Unresolved_Symbol.instrument self -> Instrumentor = Instrumentor.Value (Meta_Helpers.instrumentor_builtin "newBuilder" [ self.impl ])

distribution/lib/Standard/Base/0.0.0-dev/src/Internal/Meta_Helpers.enso

@@ -0,0 +1,25 @@
+private
+
+get_atom_constructor_builtin atom = @Builtin_Method "Meta.get_atom_constructor"
+get_atom_fields_builtin atom = @Builtin_Method "Meta.get_atom_fields"
+get_type_constructors_builtin typ factory = @Builtin_Method "Meta.get_type_constructors"
+get_type_methods_builtin typ = @Builtin_Method "Meta.get_type_methods"
+get_polyglot_language_builtin value = @Builtin_Method "Meta.get_polyglot_language"
+create_unresolved_symbol_builtin name symbol = @Builtin_Method "Meta.create_unresolved_symbol"
+get_unresolved_symbol_name_builtin symbol = @Builtin_Method "Meta.get_unresolved_symbol_name"
+get_constructor_fields_builtin atom_constructor = @Builtin_Method "Meta.get_constructor_fields"
+get_constructor_name_builtin atom_constructor = @Builtin_Method "Meta.get_constructor_name"
+new_atom_builtin constructor fields = @Builtin_Method "Meta.new_atom"
+atom_with_hole_builtin factory = @Builtin_Method "Meta.atom_with_hole_builtin"
+is_same_object_builtin value_1 value_2 = @Builtin_Method "Meta.is_same_object"
+is_a_builtin value typ = @Builtin_Method "Meta.is_a"
+type_of_builtin value = @Builtin_Method "Meta.type_of"
+get_annotation_builtin target method parameter_name = @Builtin_Method "Meta.get_annotation"
+find_atom_constructor_builtin value = @Builtin_Method "Meta.find_atom_constructor"
+get_kind_builtin value = @Builtin_Method "Meta.get_kind_builtin"
+simple_type_name_builtin value = @Builtin_Method "Meta.simple_name_builtin"
+get_qualified_type_name_builtin value = @Builtin_Method "Meta.get_qualified_type_name"
+get_short_type_name_builtin typ = @Builtin_Method "Meta.get_short_type_name"
+get_constructor_declaring_type_builtin constructor = @Builtin_Method "Meta.get_constructor_declaring_type"
+instrumentor_builtin op args = @Builtin_Method "Meta.instrumentor_builtin"
+find_type_by_qualified_name_builtin fqn = @Builtin_Method "Meta.find_type_by_qualified_name"

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

@@ -11,7 +11,7 @@ polyglot java import org.slf4j.LoggerFactory
    `from Standard.Base.Logging import all`.
 Any.log_message : Text -> Log_Level -> Any
 Any.log_message self ~message:Text level:Log_Level=Log_Level.Info =
-    type_name = Meta.get_qualified_type_name self
+    type_name = self.to Meta.Type . qualified_name
     logger = LoggerFactory.getLogger type_name
     case level of
         Log_Level.Finest -> logger.trace message