diff options
Diffstat (limited to 'stdlib/source/library/lux/control/security/policy.lux')
| -rw-r--r-- | stdlib/source/library/lux/control/security/policy.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/library/lux/control/security/policy.lux b/stdlib/source/library/lux/control/security/policy.lux index 923d28db1..963f0377f 100644 --- a/stdlib/source/library/lux/control/security/policy.lux +++ b/stdlib/source/library/lux/control/security/policy.lux @@ -11,18 +11,18 @@ (primitive .public (Policy brand value label) value - (type: .public (Can_Upgrade brand label value) + (type .public (Can_Upgrade brand label value) (-> value (Policy brand value label))) - (type: .public (Can_Downgrade brand label value) + (type .public (Can_Downgrade brand label value) (-> (Policy brand value label) value)) - (type: .public (Privilege brand label) + (type .public (Privilege brand label) (Record [#can_upgrade (Can_Upgrade brand label) #can_downgrade (Can_Downgrade brand label)])) - (type: .public (Delegation brand from to) + (type .public (Delegation brand from to) (All (_ value) (-> (Policy brand value from) (Policy brand value to)))) @@ -33,7 +33,7 @@ (Delegation brand from to))) (|>> downgrade upgrade)) - (type: .public (Context brand scope label) + (type .public (Context brand scope label) (-> (Privilege brand label) (scope label))) @@ -51,8 +51,8 @@ (def (of_policy constructor) (-> Type Type) - (type (All (_ brand label) - (constructor (All (_ value) (Policy brand value label)))))) + (type_literal (All (_ brand label) + (constructor (All (_ value) (Policy brand value label)))))) (def .public functor (~ (..of_policy Functor)) @@ -80,13 +80,13 @@ [(primitive .public <brand> Any - (type: .public <value> + (type .public <value> (Policy <brand>)) - (type: .public <upgrade> + (type .public <upgrade> (Can_Upgrade <brand>)) - (type: .public <downgrade> + (type .public <downgrade> (Can_Downgrade <brand>)) )] |