Idris2Doc : Network.FFI

Network.FFI

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

Modified (C) The Idris Community, 2020

Definitions

prim__idrnet_socket : Int->Int->Int->PrimIOInt
prim__idrnet_close : SocketDescriptor->PrimIOInt
prim__idrnet_bind : SocketDescriptor->Int->Int->String->Port->PrimIOInt
prim__idrnet_connect : SocketDescriptor->Int->Int->String->Port->PrimIOInt
prim__idrnet_listen : SocketDescriptor->Int->PrimIOInt
prim__idrnet_fdopen : Int->String->PrimIOAnyPtr
prim__idrnet_sockaddr_family : AnyPtr->PrimIOInt
prim__idrnet_sockaddr_ipv4 : AnyPtr->PrimIOString
prim__idrnet_sockaddr_unix : AnyPtr->PrimIOString
prim__idrnet_sockaddr_ipv4_port : AnyPtr->PrimIOInt
prim__idrnet_sockaddr_port : SocketDescriptor->PrimIOInt
prim__idrnet_create_sockaddr : PrimIOAnyPtr
prim__idrnet_accept : SocketDescriptor->AnyPtr->PrimIOInt
prim__idrnet_send : SocketDescriptor->String->PrimIOInt
prim__idrnet_send_bytes : SocketDescriptor->Buffer->Int->Bits32->PrimIOInt
prim__idrnet_send_buf : SocketDescriptor->AnyPtr->Int->PrimIOInt
prim__idrnet_recv : SocketDescriptor->Int->PrimIOAnyPtr
prim__idrnet_recv_bytes : SocketDescriptor->Buffer->Int->Bits32->PrimIOInt
prim__idrnet_recv_buf : SocketDescriptor->AnyPtr->Int->PrimIOInt
prim__idrnet_sendto : SocketDescriptor->String->String->Port->Int->PrimIOInt
prim__idrnet_sendto_buf : SocketDescriptor->AnyPtr->Int->String->Port->Int->PrimIOInt
prim__idrnet_recvfrom : SocketDescriptor->Int->PrimIOAnyPtr
prim__idrnet_recvfrom_buf : SocketDescriptor->AnyPtr->Int->PrimIOAnyPtr
prim__idrnet_get_recv_res : AnyPtr->PrimIOInt
prim__idrnet_get_recv_payload : AnyPtr->PrimIOString
prim__idrnet_free_recv_struct : AnyPtr->PrimIO ()
prim__idrnet_get_recvfrom_res : AnyPtr->PrimIOInt
prim__idrnet_get_recvfrom_payload : AnyPtr->PrimIOString
prim__idrnet_get_recvfrom_sockaddr : AnyPtr->PrimIOAnyPtr
prim__idrnet_free_recvfrom_struct : AnyPtr->PrimIO ()
prim__idrnet_geteagain : PrimIOInt
prim__idrnet_errno : PrimIOInt
prim__idrnet_peek : AnyPtr->Int->PrimIOInt
prim__idrnet_poke : AnyPtr->Int->Int->PrimIO ()