Progress API snapshot

enso-org · Feb 25, 2025 · 81a702a · 81a702a
1 parent 1c001bb
commit 81a702a
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/distribution/lib/Standard/Base/0.0.0-dev/docs/api/Logging.md b/distribution/lib/Standard/Base/0.0.0-dev/docs/api/Logging.md
@@ -6,4 +6,9 @@
     - Info
     - Severe
     - Warning
+- type Progress
+    - advance self amount:Standard.Base.Data.Numbers.Integer= -> Standard.Base.Logging.Progress
+    - log self detail:Standard.Base.Data.Text.Text -> Standard.Base.Logging.Progress
+    - run label:Standard.Base.Data.Text.Text up_to:Standard.Base.Data.Numbers.Integer action:Standard.Base.Any.Any -> Standard.Base.Any.Any
+    - to_text self -> Standard.Base.Any.Any
 - Standard.Base.Any.Any.log_message self ~message:Standard.Base.Data.Text.Text level:Standard.Base.Logging.Log_Level= -> Standard.Base.Any.Any