diff options
author | Eduardo Julian | 2022-07-08 18:42:43 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-07-08 18:42:43 -0400 |
commit | 6a052144968df9b441df53f6aa08cbb515ff2654 (patch) | |
tree | 7276eb5450baf14cfdc69071fd082168741b8291 /stdlib/source/documentation/lux/control/function | |
parent | 14a5d4377431c7fc7a13b71cfbbaeb7baa116d29 (diff) |
Folded "default" documentation into regular definition documentation.
Diffstat (limited to 'stdlib/source/documentation/lux/control/function')
4 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/documentation/lux/control/function/contract.lux b/stdlib/source/documentation/lux/control/function/contract.lux index 4dd4990ef..ea946a3fa 100644 --- a/stdlib/source/documentation/lux/control/function/contract.lux +++ b/stdlib/source/documentation/lux/control/function/contract.lux @@ -12,8 +12,8 @@ (.List $.Module) ($.module /._ "" - [($.default /.pre_condition_failed) - ($.default /.post_condition_failed) + [($.definition /.pre_condition_failed) + ($.definition /.post_condition_failed) ($.definition /.pre (format "Pre-conditions." diff --git a/stdlib/source/documentation/lux/control/function/memo.lux b/stdlib/source/documentation/lux/control/function/memo.lux index caa98f2b1..0633cff02 100644 --- a/stdlib/source/documentation/lux/control/function/memo.lux +++ b/stdlib/source/documentation/lux/control/function/memo.lux @@ -12,8 +12,8 @@ (.List $.Module) ($.module /._ "" - [($.default /.memoization) - ($.default (/.Memo input output)) + [($.definition /.memoization) + ($.definition (/.Memo input output)) ($.definition /.open "Memoization where the memoized results can be re-used accross invocations." diff --git a/stdlib/source/documentation/lux/control/function/mixin.lux b/stdlib/source/documentation/lux/control/function/mixin.lux index 4e0415fb3..7444f1114 100644 --- a/stdlib/source/documentation/lux/control/function/mixin.lux +++ b/stdlib/source/documentation/lux/control/function/mixin.lux @@ -12,7 +12,7 @@ (.List $.Module) ($.module /._ "" - [($.default /.monoid) + [($.definition /.monoid) ($.definition (/.Mixin input output) "A partially-defined function which can be mixed with others to inherit their behavior.") diff --git a/stdlib/source/documentation/lux/control/function/predicate.lux b/stdlib/source/documentation/lux/control/function/predicate.lux index efc4bea44..a8a4fffe7 100644 --- a/stdlib/source/documentation/lux/control/function/predicate.lux +++ b/stdlib/source/documentation/lux/control/function/predicate.lux @@ -12,9 +12,9 @@ (.List $.Module) ($.module /._ "" - [($.default /.union) - ($.default /.intersection) - ($.default /.functor) + [($.definition /.union) + ($.definition /.intersection) + ($.definition /.functor) ($.definition (/.Predicate it) "A question that can be asked of a value, yield either false (#0) or true (#1).") |