Network.FFI(source)

FFI binding to the low-Level C Sockets bindings for Idris.

Modified (C) The Idris Community, 2020

Definitions

prim__idrnet_socket : Int -> Int -> Int -> PrimIO Int

prim__idrnet_close : SocketDescriptor -> PrimIO Int

prim__idrnet_bind : SocketDescriptor -> Int -> Int -> String -> Port -> PrimIO Int

prim__idrnet_connect : SocketDescriptor -> Int -> Int -> String -> Port -> PrimIO Int

prim__idrnet_listen : SocketDescriptor -> Int -> PrimIO Int

prim__idrnet_fdopen : Int -> String -> PrimIO AnyPtr

prim__idrnet_sockaddr_family : AnyPtr -> PrimIO Int

prim__idrnet_sockaddr_ipv4 : AnyPtr -> PrimIO String

prim__idrnet_sockaddr_unix : AnyPtr -> PrimIO String

prim__idrnet_sockaddr_ipv4_port : AnyPtr -> PrimIO Int

prim__idrnet_sockaddr_port : SocketDescriptor -> PrimIO Int

prim__idrnet_create_sockaddr : PrimIO AnyPtr

prim__idrnet_accept : SocketDescriptor -> AnyPtr -> PrimIO Int

prim__idrnet_send : SocketDescriptor -> String -> PrimIO Int

prim__idrnet_send_bytes : SocketDescriptor -> Buffer -> Int -> Bits32 -> PrimIO Int

prim__idrnet_send_buf : SocketDescriptor -> AnyPtr -> Int -> PrimIO Int

prim__idrnet_recv : SocketDescriptor -> Int -> PrimIO AnyPtr

prim__idrnet_recv_bytes : SocketDescriptor -> Buffer -> Int -> Int -> PrimIO Int

prim__idrnet_recv_buf : SocketDescriptor -> AnyPtr -> Int -> PrimIO Int

prim__idrnet_sendto : SocketDescriptor -> String -> String -> Port -> Int -> PrimIO Int

prim__idrnet_sendto_buf : SocketDescriptor -> AnyPtr -> Int -> String -> Port -> Int -> PrimIO Int

prim__idrnet_recvfrom : SocketDescriptor -> Int -> PrimIO AnyPtr

prim__idrnet_recvfrom_buf : SocketDescriptor -> AnyPtr -> Int -> PrimIO AnyPtr

prim__idrnet_get_recv_res : AnyPtr -> PrimIO Int

prim__idrnet_get_recv_payload : AnyPtr -> PrimIO String

prim__idrnet_free_recv_struct : AnyPtr -> PrimIO ()

prim__idrnet_get_recvfrom_res : AnyPtr -> PrimIO Int

prim__idrnet_get_recvfrom_payload : AnyPtr -> PrimIO String

prim__idrnet_get_recvfrom_sockaddr : AnyPtr -> PrimIO AnyPtr

prim__idrnet_free_recvfrom_struct : AnyPtr -> PrimIO ()

prim__idrnet_geteagain : PrimIO Int

prim__idrnet_errno : PrimIO Int

prim__idrnet_peek : AnyPtr -> Int -> PrimIO Int

prim__idrnet_poke : AnyPtr -> Int -> Int -> PrimIO ()