aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/documentation')
-rw-r--r--stdlib/source/documentation/lux/control/parser.lux4
-rw-r--r--stdlib/source/documentation/lux/meta.lux2
-rw-r--r--stdlib/source/documentation/lux/meta/compiler/language/lux/declaration.lux6
-rw-r--r--stdlib/source/documentation/lux/meta/compiler/phase.lux2
4 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/documentation/lux/control/parser.lux b/stdlib/source/documentation/lux/control/parser.lux
index ba7a726b2..a0ccd9f40 100644
--- a/stdlib/source/documentation/lux/control/parser.lux
+++ b/stdlib/source/documentation/lux/control/parser.lux
@@ -82,9 +82,9 @@
"Always fail with this 'message'."
($.example (failure message)))
- ($.definition /.lifted
+ ($.definition /.of_try
"Lift a potentially failed computation into a parser."
- ($.example (lifted operation)))
+ ($.example (of_try operation)))
($.definition /.else
"If the given parser fails, returns the default value."
diff --git a/stdlib/source/documentation/lux/meta.lux b/stdlib/source/documentation/lux/meta.lux
index a14f67132..f2a72fb32 100644
--- a/stdlib/source/documentation/lux/meta.lux
+++ b/stdlib/source/documentation/lux/meta.lux
@@ -144,7 +144,7 @@
($.definition /.type_context
"The current type-checking context."))
- computation (list ($.definition /.lifted)
+ computation (list ($.definition /.of_try)
($.definition /.try)
($.definition /.result'
diff --git a/stdlib/source/documentation/lux/meta/compiler/language/lux/declaration.lux b/stdlib/source/documentation/lux/meta/compiler/language/lux/declaration.lux
index 8a073556e..42c985ad2 100644
--- a/stdlib/source/documentation/lux/meta/compiler/language/lux/declaration.lux
+++ b/stdlib/source/documentation/lux/meta/compiler/language/lux/declaration.lux
@@ -29,8 +29,8 @@
($.definition /.analysis)
($.definition /.synthesis)
($.definition /.translation)
- ($.definition /.lifted_analysis)
- ($.definition /.lifted_synthesis)
- ($.definition /.lifted_translation)
+ ($.definition /.of_analysis)
+ ($.definition /.of_synthesis)
+ ($.definition /.of_translation)
($.definition /.set_current_module)
))
diff --git a/stdlib/source/documentation/lux/meta/compiler/phase.lux b/stdlib/source/documentation/lux/meta/compiler/phase.lux
index fe549b6c9..55c5cca7c 100644
--- a/stdlib/source/documentation/lux/meta/compiler/phase.lux
+++ b/stdlib/source/documentation/lux/meta/compiler/phase.lux
@@ -26,7 +26,7 @@
($.definition /.sub)
($.definition /.failure)
($.definition /.except)
- ($.definition /.lifted)
+ ($.definition /.of_try)
($.definition /.assertion)
($.definition /.identity)
($.definition /.composite)