IdrisDoc: IdrisNet.Socket

IdrisNet.Socket

sockaddr_free : SockaddrPtr -> IO ()
sock_free : BufPtr -> IO ()

Frees a given pointer

sock_alloc : ByteLength -> IO BufPtr

Allocates an amount of memory given by the ByteLength parameter.

Used to allocate a mutable pointer to be given to the Recv functions.

data SockaddrPtr : Type
SAPtr : Ptr -> SockaddrPtr
MkUDPRecvData : (remote_addr : SocketAddress) -> (remote_port : Port) -> (recv_data : String) -> (data_len : Int) -> UDPRecvData
MkUDPAddrInfo : (remote_addr : SocketAddress) -> (remote_port : Port) -> UDPAddrInfo
MkSocket : (descriptor : SocketDescriptor) -> (family : SocketFamily) -> (socketType : SocketType) -> (protocalNumber : ProtocolNumber) -> Socket
ByteLength : Type
data BufPtr : Type
BPtr : Ptr -> BufPtr