aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/world/service
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/world/service/authentication.lux13
-rw-r--r--stdlib/source/lux/world/service/crud.lux11
-rw-r--r--stdlib/source/lux/world/service/inventory.lux13
-rw-r--r--stdlib/source/lux/world/service/journal.lux6
-rw-r--r--stdlib/source/lux/world/service/mail.lux9
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)