aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/world/net.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux/world/net.lux')
-rw-r--r--stdlib/source/lux/world/net.lux16
1 files changed, 15 insertions, 1 deletions
diff --git a/stdlib/source/lux/world/net.lux b/stdlib/source/lux/world/net.lux
index 867430af0..a29df5f84 100644
--- a/stdlib/source/lux/world/net.lux
+++ b/stdlib/source/lux/world/net.lux
@@ -1,5 +1,10 @@
(.module:
- lux)
+ [lux #*
+ [data
+ [error (#+ Error)]]
+ [control
+ [security
+ [capability (#+ Capability)]]]])
(type: #export Address Text)
@@ -8,3 +13,12 @@
(type: #export Location
{#address Address
#port Port})
+
+(type: #export (Can-Read ! o)
+ (Capability Nat (! (Error o))))
+
+(type: #export (Can-Write ! i)
+ (Capability i (! (Error Any))))
+
+(type: #export (Can-Close !)
+ (Capability [] (! (Error Any))))