diff options
Diffstat (limited to 'stdlib/source/lux/world/net/udp.jvm.lux')
-rw-r--r-- | stdlib/source/lux/world/net/udp.jvm.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux/world/net/udp.jvm.lux b/stdlib/source/lux/world/net/udp.jvm.lux index a3124bdf2..139ed4f49 100644 --- a/stdlib/source/lux/world/net/udp.jvm.lux +++ b/stdlib/source/lux/world/net/udp.jvm.lux @@ -12,7 +12,7 @@ (world [blob #+ Blob]) [io] [host]) - [..]) + [//]) (host;import java.lang.AutoCloseable (close [] #io #try void)) @@ -45,7 +45,7 @@ (exception: #export Multiple-Candidate-Addresses) (def: (resolve address) - (-> ..;Address (io;IO (e;Error InetAddress))) + (-> //;Address (io;IO (e;Error InetAddress))) (do (e;ErrorT io;Monad<IO>) [addresses (InetAddress.getAllByName [address])] (: (io;IO (e;Error InetAddress)) @@ -58,7 +58,7 @@ {#socket DatagramSocket} (def: #export (read data offset length self) - (-> Blob Nat Nat UDP (T;Task [Nat ..;Address ..;Port])) + (-> Blob Nat Nat UDP (T;Task [Nat //;Address //;Port])) (let [(^open) (@repr self) packet (DatagramPacket.new|receive [data (nat-to-int offset) (nat-to-int length)])] (P;future @@ -70,7 +70,7 @@ (int-to-nat (DatagramPacket.getPort [] packet))]))))) (def: #export (write address port data offset length self) - (-> ..;Address ..;Port Blob Nat Nat UDP (T;Task Unit)) + (-> //;Address //;Port Blob Nat Nat UDP (T;Task Unit)) (P;future (do (e;ErrorT io;Monad<IO>) [address (resolve address) @@ -92,7 +92,7 @@ (wrap (@opaque (#socket socket)))))) (def: #export (server port) - (-> ..;Port (T;Task UDP)) + (-> //;Port (T;Task UDP)) (P;future (do (e;ErrorT io;Monad<IO>) [socket (DatagramSocket.new|server [(nat-to-int port)])] |