diff options
| author | Eduardo Julian | 2022-07-08 17:47:23 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-07-08 17:47:23 -0400 |
| commit | 7976268575e7c6910dfba2d2733e8cc1883678e7 (patch) | |
| tree | 0ce156081612235c0df5e2ad9167be3fc5d75c6c /stdlib/source/documentation/lux/control/security/capability.lux | |
| parent | 39325bb36c6f6459c861ef12f9e99b9e66b52594 (diff) | |
Re-named the "documentation" macro to "definition".
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/documentation/lux/control/security/capability.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/documentation/lux/control/security/capability.lux b/stdlib/source/documentation/lux/control/security/capability.lux index de8b33889..8d9c7f2ad 100644 --- a/stdlib/source/documentation/lux/control/security/capability.lux +++ b/stdlib/source/documentation/lux/control/security/capability.lux @@ -12,15 +12,15 @@ (.List $.Module) ($.module /._ "" - [($.documentation (/.Capability brand input output) + [($.definition (/.Capability brand input output) (format "Represents the capability to perform an operation." \n "This operation is assumed to have security implications.")) - ($.documentation /.use + ($.definition /.use "Applies a capability against its required input." [(use capability input)]) - ($.documentation /.capability: + ($.definition /.capability: "Defines a capability as a unique type, and a constructor for instances." [(capability: (Can_Duplicate a) (can_duplicate a [a a])) @@ -31,7 +31,7 @@ [left right] (..use capability 123)] (same? left right))]) - ($.documentation /.async + ($.definition /.async "Converts a synchronous I/O-based capability into an asynchronous capability." [(async capability)])] [])) |