on master help sign in
Added some needed exports in Network.Socket
152985bYacine Hmito
libs/contrib/Network/Socket.idr+3
@@ -273,6 +273,7 @@ freeRecvStruct (RSPtr p) = foreign FFI_C "idrnet_free_recv_struct" (Ptr -> IO ()
273freeRecvfromStruct : RecvfromStructPtr -> IO ()
273freeRecvfromStruct : RecvfromStructPtr -> IO ()
274freeRecvfromStruct (RFPtr p) = foreign FFI_C "idrnet_free_recvfrom_struct" (Ptr -> IO ()) p
274freeRecvfromStruct (RFPtr p) = foreign FFI_C "idrnet_free_recvfrom_struct" (Ptr -> IO ()) p
275
275
276+export
276recv : Socket -> Int -> IO (Either SocketError (String, ByteLength))
277recv : Socket -> Int -> IO (Either SocketError (String, ByteLength))
277recv sock len = do
278recv sock len = do
278 -- Firstly make the request, get some kind of recv structure which
279 -- Firstly make the request, get some kind of recv structure which
@@ -309,6 +310,7 @@ recvBuf sock (BPtr ptr) len = do
309 else
310 else
310 return $ Right recv_res
311 return $ Right recv_res
311
312
313+export
312sendTo : Socket -> SocketAddress -> Port -> String -> IO (Either SocketError ByteLength)
314sendTo : Socket -> SocketAddress -> Port -> String -> IO (Either SocketError ByteLength)
313sendTo sock addr p dat = do
315sendTo sock addr p dat = do
314 sendto_res <- foreign FFI_C "idrnet_sendto"
316 sendto_res <- foreign FFI_C "idrnet_sendto"
@@ -344,6 +346,7 @@ foreignGetRecvfromPort (RFPtr p) = do
344 port <- foreign FFI_C "idrnet_sockaddr_ipv4_port" (Ptr -> IO Int) sockaddr_ptr
346 port <- foreign FFI_C "idrnet_sockaddr_ipv4_port" (Ptr -> IO Int) sockaddr_ptr
345 return port
347 return port
346
348
349+export
347recvFrom : Socket -> ByteLength -> IO (Either SocketError (UDPAddrInfo, String, ByteLength))
350recvFrom : Socket -> ByteLength -> IO (Either SocketError (UDPAddrInfo, String, ByteLength))
348recvFrom sock bl = do
351recvFrom sock bl = do
349 recv_ptr <- foreign FFI_C "idrnet_recvfrom" (Int -> Int -> IO Ptr)
352 recv_ptr <- foreign FFI_C "idrnet_recvfrom" (Int -> Int -> IO Ptr)