diff options
| author | Eduardo Julian | 2021-08-09 23:02:01 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-09 23:02:01 -0400 |
| commit | 464b6e8f5e6c62f58fa8c7ff61ab2ad215e98bd1 (patch) | |
| tree | 1ae9d95956cee4251cd29a3e24c246c4360d567d /stdlib/source/library/lux/control/security | |
| parent | f621a133e6e0a516c0586270fea8eaffb4829d82 (diff) | |
Improved single-line comment syntax (from "##" to "...").
Diffstat (limited to 'stdlib/source/library/lux/control/security')
| -rw-r--r-- | stdlib/source/library/lux/control/security/capability.lux | 22 |
1 files changed, 12 insertions, 10 deletions
diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux index 4834e172c..b0123dc68 100644 --- a/stdlib/source/library/lux/control/security/capability.lux +++ b/stdlib/source/library/lux/control/security/capability.lux @@ -4,9 +4,9 @@ [abstract [monad (#+ do)]] [control + ["." io (#+ IO)] ["<>" parser ["<c>" code]] - ["." io (#+ IO)] [concurrency ["." async (#+ Async)]]] [data @@ -30,7 +30,7 @@ (-> input output) - (def: forge + (def: capability (All [brand input output] (-> (-> input output) (Capability brand input output))) @@ -44,10 +44,12 @@ output)) ((:representation capability) input)) - (syntax: .public (capability: {export |export|.parser} - {declaration |declaration|.parser} - {annotations (<>.maybe |annotations|.parser)} - {[forge input output] (<c>.form ($_ <>.and <c>.local_identifier <c>.any <c>.any))}) + (syntax: .public (capability: {[export_policy declaration annotations [forger input output]] + (|export|.parser + ($_ <>.and + |declaration|.parser + (<>.maybe |annotations|.parser) + (<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) @@ -64,14 +66,14 @@ g!brand (\ ! map (|>> %.code code.text) (macro.gensym (format (%.name [this_module name])))) .let [capability (` (..Capability (.primitive (~ g!brand)) (~ input) (~ output)))]] - (in (list (` (type: (~+ (|export|.format export)) + (in (list (` (type: (~ export_policy) (~ (|declaration|.format declaration)) (~ capability))) - (` (def: (~ (code.local_identifier forge)) + (` (def: (~ (code.local_identifier forger)) (All [(~+ (list\map code.local_identifier vars))] (-> (-> (~ input) (~ output)) (~ capability))) - (~! ..forge))) + (~! ..capability))) )))) (def: .public (async capability) @@ -79,5 +81,5 @@ (All [brand input output] (-> (Capability brand input (IO output)) (Capability brand input (Async output)))) - (..forge (|>> ((:representation capability)) async.future))) + (..capability (|>> ((:representation capability)) async.future))) ) |