on master help sign in
Added some needed exports in Network.Socket

recv, recvFrom, send, sendTo

commit152985bdafc8a3529d64baeec9b7a12a8fa77a50 authorYacine Hmito <yacine.hmito@gmail.com> dateMon 9 May 2016, 01:36 (10 years ago) parent37aa54a
1 file changed+3
libs/contrib/Network/Socket.idr+3
libs/contrib/Network/Socket.idr+3
@@ -273,6 +273,7 @@ freeRecvStruct (RSPtr p) = foreign FFI_C "idrnet_free_recv_struct" (Ptr -> IO ()
273273freeRecvfromStruct : RecvfromStructPtr -> IO ()
274274freeRecvfromStruct (RFPtr p) = foreign FFI_C "idrnet_free_recvfrom_struct" (Ptr -> IO ()) p
275275
276+export
276277recv : Socket -> Int -> IO (Either SocketError (String, ByteLength))
277278recv sock len = do
278279 -- Firstly make the request, get some kind of recv structure which
@@ -309,6 +310,7 @@ recvBuf sock (BPtr ptr) len = do
309310 else
310311 return $ Right recv_res
311312
313+export
312314sendTo : Socket -> SocketAddress -> Port -> String -> IO (Either SocketError ByteLength)
313315sendTo sock addr p dat = do
314316 sendto_res <- foreign FFI_C "idrnet_sendto"
@@ -344,6 +346,7 @@ foreignGetRecvfromPort (RFPtr p) = do
344346 port <- foreign FFI_C "idrnet_sockaddr_ipv4_port" (Ptr -> IO Int) sockaddr_ptr
345347 return port
346348
349+export
347350recvFrom : Socket -> ByteLength -> IO (Either SocketError (UDPAddrInfo, String, ByteLength))
348351recvFrom sock bl = do
349352 recv_ptr <- foreign FFI_C "idrnet_recvfrom" (Int -> Int -> IO Ptr)