diff options
Diffstat (limited to 'stdlib/source/lux/control/identity.lux')
-rw-r--r-- | stdlib/source/lux/control/identity.lux | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/stdlib/source/lux/control/identity.lux b/stdlib/source/lux/control/identity.lux index da7445bc7..094ede9a6 100644 --- a/stdlib/source/lux/control/identity.lux +++ b/stdlib/source/lux/control/identity.lux @@ -31,12 +31,13 @@ (Capability (ID code entity storage) code))) - (type: #export (Service code storage) - [(Can-Identify code storage) - (Can-Anonymize code storage)]) + (type: #export (Service code) + (Ex [storage] + [(Can-Identify code storage) + (Can-Anonymize code storage)])) (def: Service<_> - Service + (All [code storage] (Service code storage)) [(|>> :abstraction) (|>> :representation)]) @@ -44,6 +45,12 @@ (-> (Service code storage) (scope storage))) + (def: #export (service _) + (All [code] + (Ex [storage] + (-> Any (Service code storage)))) + ..Service<_>) + (def: #export (with-identity context) (All [code scope] (Ex [storage] |