diff options
| author | Eduardo Julian | 2022-04-09 00:46:03 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-04-09 00:46:03 -0400 |
| commit | f11afb9d2dfe2d59b41e8056eb8c4ae65268415f (patch) | |
| tree | d7f57f5d62ddb58fceec0a827b0047ed70833841 /stdlib/source/library/lux/control/security | |
| parent | ab99de20a3d0566a71bf0ef607d9d6e291d7f62a (diff) | |
Re-branded "abstract" types as "primitive" types.
Diffstat (limited to 'stdlib/source/library/lux/control/security')
| -rw-r--r-- | stdlib/source/library/lux/control/security/capability.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/library/lux/control/security/policy.lux | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux index 9affbf537..84f146614 100644 --- a/stdlib/source/library/lux/control/security/capability.lux +++ b/stdlib/source/library/lux/control/security/capability.lux @@ -15,7 +15,7 @@ [collection ["[0]" list ("[1]#[0]" functor)]]] [type - [abstract "*"]] + [primitive "*"]] ["[0]" meta] ["[0]" macro ["[0]" code] @@ -23,7 +23,7 @@ ["|[0]|" export] ["|[0]|" declaration]]]]]) -(abstract: .public (Capability brand input output) +(primitive: .public (Capability brand input output) (-> input output) (def: capability diff --git a/stdlib/source/library/lux/control/security/policy.lux b/stdlib/source/library/lux/control/security/policy.lux index de357b6e2..a05faeae2 100644 --- a/stdlib/source/library/lux/control/security/policy.lux +++ b/stdlib/source/library/lux/control/security/policy.lux @@ -6,9 +6,9 @@ [apply {"+" Apply}] [monad {"+" Monad}]] [type - [abstract "*"]]]]) + [primitive "*"]]]]) -(abstract: .public (Policy brand value label) +(primitive: .public (Policy brand value label) value (type: .public (Can_Upgrade brand label value) @@ -77,7 +77,7 @@ ) (template [<brand> <value> <upgrade> <downgrade>] - [(abstract: .public <brand> + [(primitive: .public <brand> Any (type: .public <value> |