diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/world/service/authentication.lux | 13 | ||||
-rw-r--r-- | stdlib/source/lux/world/service/crud.lux | 11 | ||||
-rw-r--r-- | stdlib/source/lux/world/service/inventory.lux | 13 | ||||
-rw-r--r-- | stdlib/source/lux/world/service/journal.lux | 6 | ||||
-rw-r--r-- | stdlib/source/lux/world/service/mail.lux | 9 |
5 files changed, 24 insertions, 28 deletions
diff --git a/stdlib/source/lux/world/service/authentication.lux b/stdlib/source/lux/world/service/authentication.lux index 2cd35f7dd..a9acda426 100644 --- a/stdlib/source/lux/world/service/authentication.lux +++ b/stdlib/source/lux/world/service/authentication.lux @@ -1,22 +1,21 @@ (.module: [lux #* [control + [try (#+ Try)] [security - [capability (#+ Capability)]]] - [data - [error (#+ Error)]]]) + [capability (#+ Capability)]]]]) (type: #export (Can-Register ! account secret value) - (Capability [account secret value] (! (Error Any)))) + (Capability [account secret value] (! (Try Any)))) (type: #export (Can-Authenticate ! account secret value) - (Capability [account secret] (! (Error value)))) + (Capability [account secret] (! (Try value)))) (type: #export (Can-Reset ! account secret) - (Capability [account secret] (! (Error Any)))) + (Capability [account secret] (! (Try Any)))) (type: #export (Can-Forget ! account) - (Capability [account] (! (Error Any)))) + (Capability [account] (! (Try Any)))) (type: #export (Service ! account secret value) {#can-register (Can-Register ! account secret value) diff --git a/stdlib/source/lux/world/service/crud.lux b/stdlib/source/lux/world/service/crud.lux index 8e1e99277..82fee2c75 100644 --- a/stdlib/source/lux/world/service/crud.lux +++ b/stdlib/source/lux/world/service/crud.lux @@ -1,10 +1,9 @@ (.module: [lux #* [control + ["." try (#+ Try)] [security ["!" capability (#+ capability:)]]] - [data - ["." error (#+ Error)]] [time ["." instant (#+ Instant)]]]) @@ -15,16 +14,16 @@ #updated Instant}) (capability: #export (Can-Create ! entity) - (can-create [Instant entity] (! (Error ID)))) + (can-create [Instant entity] (! (Try ID)))) (capability: #export (Can-Retrieve ! entity) - (can-retrieve ID (! (Error [Time entity])))) + (can-retrieve ID (! (Try [Time entity])))) (capability: #export (Can-Update ! entity) - (can-update [ID Instant entity] (! (Error Any)))) + (can-update [ID Instant entity] (! (Try Any)))) (capability: #export (Can-Delete ! entity) - (can-delete ID (! (Error Any)))) + (can-delete ID (! (Try Any)))) (type: #export (CRUD ! entity) {#can-create (Can-Create ! entity) diff --git a/stdlib/source/lux/world/service/inventory.lux b/stdlib/source/lux/world/service/inventory.lux index 0e3fae6be..dbdc93d6d 100644 --- a/stdlib/source/lux/world/service/inventory.lux +++ b/stdlib/source/lux/world/service/inventory.lux @@ -1,10 +1,9 @@ (.module: [lux #* [control + [try (#+ Try)] [security - ["!" capability (#+ capability:)]]] - [data - [error (#+ Error)]]]) + ["!" capability (#+ capability:)]]]]) (type: #export ID Nat) @@ -13,16 +12,16 @@ #property ID}) (capability: #export (Can-Own !) - (can-own Ownership (! (Error Any)))) + (can-own Ownership (! (Try Any)))) (capability: #export (Can-Disown !) - (can-disown Ownership (! (Error Any)))) + (can-disown Ownership (! (Try Any)))) (capability: #export (Can-Check !) - (can-check Ownership (! (Error Bit)))) + (can-check Ownership (! (Try Bit)))) (capability: #export (Can-List-Property !) - (can-list-property ID (! (Error (List ID))))) + (can-list-property ID (! (Try (List ID))))) (type: #export (Inventory !) {#can-own (Can-Own !) diff --git a/stdlib/source/lux/world/service/journal.lux b/stdlib/source/lux/world/service/journal.lux index 4a3c7b62f..f4476a37f 100644 --- a/stdlib/source/lux/world/service/journal.lux +++ b/stdlib/source/lux/world/service/journal.lux @@ -3,10 +3,10 @@ [control [equivalence (#+ Equivalence)] [interval (#+ Interval)] + [try (#+ Try)] [security ["!" capability (#+ capability:)]]] [data - [error (#+ Error)] ["." text ("#@." equivalence)]] [time ["." instant (#+ Instant) ("#@." equivalence)]]]) @@ -40,10 +40,10 @@ (instant@= (get@ #when reference) (get@ #when sample))))) (capability: #export (Can-Write ! a) - (can-write (Entry a) (! (Error Any)))) + (can-write (Entry a) (! (Try Any)))) (capability: #export (Can-Read ! a) - (can-read Range (! (Error (List (Entry a)))))) + (can-read Range (! (Try (List (Entry a)))))) (type: #export (Journal ! a) {#can-write (Can-Write ! a) diff --git a/stdlib/source/lux/world/service/mail.lux b/stdlib/source/lux/world/service/mail.lux index ce5eb91b3..eb49c6131 100644 --- a/stdlib/source/lux/world/service/mail.lux +++ b/stdlib/source/lux/world/service/mail.lux @@ -1,18 +1,17 @@ (.module: [lux #* [control + [try (#+ Try)] [concurrency [frp (#+ Channel)]] [security - ["!" capability (#+ capability:)]]] - [data - [error (#+ Error)]]]) + ["!" capability (#+ capability:)]]]]) (capability: #export (Can-Send ! address message) - (can-send [address message] (! (Error Any)))) + (can-send [address message] (! (Try Any)))) (capability: #export (Can-Subscribe ! address message) - (can-subscribe [address] (! (Error (Channel message))))) + (can-subscribe [address] (! (Try (Channel message))))) (type: #export (Service ! address message) {#can-send (Can-Send ! address message) |