Re-named wrap => in && unwrap => out.

1 files changed, 21 insertions, 9 deletions

diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux
index 100eea37e..14461791f 100644
--- a/stdlib/source/library/lux/control/security/capability.lux
+++ b/stdlib/source/library/lux/control/security/capability.lux
@@ -37,6 +37,7 @@
     (|>> :abstraction))
 
   (def: #export (use capability input)
+    {#.doc (doc "Applies a capability against its required input.")}
     (All [brand input output]
       (-> (Capability brand input output)
           input
@@ -47,23 +48,34 @@
                      {declaration |declaration|.parser}
                      {annotations (<>.maybe |annotations|.parser)}
                      {[forge input output] (<c>.form ($_ <>.and <c>.local_identifier <c>.any <c>.any))})
+    {#.doc (doc "Defines a capability as a unique type, and a constructor for instances."
+
+                (capability: (Can_Duplicate a)
+                  (can_duplicate a [a a]))
+                
+                (let [capability (can_duplicate
+                                  (function (_ value)
+                                    [value value]))
+                      [left right] (..use capability 123)]
+                  (is? left right)))}
     (do {! meta.monad}
       [this_module meta.current_module_name
        #let [[name vars] declaration]
        g!brand (\ ! map (|>> %.code code.text)
                   (macro.gensym (format (%.name [this_module name]))))
        #let [capability (` (..Capability (.primitive (~ g!brand)) (~ input) (~ output)))]]
-      (wrap (list (` (type: (~+ (|export|.format export))
-                       (~ (|declaration|.format declaration))
-                       (~ capability)))
-                  (` (def: (~ (code.local_identifier forge))
-                       (All [(~+ (list\map code.local_identifier vars))]
-                         (-> (-> (~ input) (~ output))
-                             (~ capability)))
-                       (~! ..forge)))
-                  ))))
+      (in (list (` (type: (~+ (|export|.format export))
+                     (~ (|declaration|.format declaration))
+                     (~ capability)))
+                (` (def: (~ (code.local_identifier forge))
+                     (All [(~+ (list\map code.local_identifier vars))]
+                       (-> (-> (~ input) (~ output))
+                           (~ capability)))
+                     (~! ..forge)))
+                ))))
 
   (def: #export (async capability)
+    {#.doc (doc "Converts a synchronous I/O-based capability into an asynchronous capability.")}
     (All [brand input output]
       (-> (Capability brand input (IO output))
           (Capability brand input (Async output))))