mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-29 22:51:51 +03:00
dff0f1da43
The Network.Socket.Data code previously used hardcoded constants manually read
from auto-generated C source code, however these constants are specific to
Linux. The original code looked like this:
export
ToCode SocketFamily where
-- Don't know how to read a constant value from C code in idris2...
-- gotta to hardcode those for now
toCode AF_UNSPEC = 0 -- unsafePerformIO (cMacro "#AF_UNSPEC" Int)
toCode AF_UNIX = 1
toCode AF_INET = 2
toCode AF_INET6 = 10
The AF_INET6 constant is correct on my Debian 10 laptop:
molly on flywheel ~> grep -rE '^#define AF_INET6' /usr/include
/usr/include/x86_64-linux-gnu/bits/socket.h:#define AF_INET6 PF_INET6
molly on flywheel ~> grep -rE '^#define PF_INET6' /usr/include
/usr/include/x86_64-linux-gnu/bits/socket.h:#define PF_INET6 10 /* IP version 6. */
However, this is not the case on an OpenBSD machine:
spanner# grep -rE '^#define[[:space:]]+AF_INET6' /usr/include
/usr/include/sys/socket.h:#define AF_INET6 24 /* IPv6 */
This commit adds accessor functions to the C runtime support library for
retrieving the values of these macros as they appear in the system libc header
files, which can then be invoked using the normal C FFI machinery.
107 lines
2.8 KiB
C
107 lines
2.8 KiB
C
#ifndef IDRISNET_H
|
|
#define IDRISNET_H
|
|
|
|
// Includes used by the idris-file.
|
|
#ifdef _WIN32
|
|
#include <winsock2.h>
|
|
#include <Ws2tcpip.h>
|
|
#else
|
|
#include <netdb.h>
|
|
#include <unistd.h>
|
|
#include <sys/types.h>
|
|
#include <sys/socket.h>
|
|
#endif
|
|
|
|
struct sockaddr_storage;
|
|
struct addrinfo;
|
|
|
|
typedef struct idrnet_recv_result {
|
|
int result;
|
|
void* payload;
|
|
} idrnet_recv_result;
|
|
|
|
// Same type of thing as idrnet_recv_result, but for UDP, so stores some
|
|
// address information
|
|
typedef struct idrnet_recvfrom_result {
|
|
int result;
|
|
void* payload;
|
|
struct sockaddr_storage* remote_addr;
|
|
} idrnet_recvfrom_result;
|
|
|
|
// Memory management functions
|
|
void* idrnet_malloc(int size);
|
|
void idrnet_free(void* ptr);
|
|
unsigned int idrnet_peek(void *ptr, unsigned int offset);
|
|
void idrnet_poke(void *ptr, unsigned int offset, char val);
|
|
|
|
// Gets value of errno
|
|
int idrnet_errno();
|
|
|
|
int idrnet_socket(int domain, int type, int protocol);
|
|
|
|
// Address family accessors
|
|
int idrnet_af_unspec(void);
|
|
int idrnet_af_unix(void);
|
|
int idrnet_af_inet(void);
|
|
int idrnet_af_inet6(void);
|
|
|
|
// Bind
|
|
int idrnet_bind(int sockfd, int family, int socket_type, char* host, int port);
|
|
|
|
// Retrieve information about socket
|
|
int idrnet_getsockname(int sockfd, void *address, void *len);
|
|
|
|
// Connect
|
|
int idrnet_connect(int sockfd, int family, int socket_type, char* host, int port);
|
|
|
|
// Accessor functions for struct_sockaddr
|
|
int idrnet_sockaddr_family(void* sockaddr);
|
|
char* idrnet_sockaddr_ipv4(void* sockaddr);
|
|
int idrnet_sockaddr_ipv4_port(void* sockaddr);
|
|
void* idrnet_create_sockaddr();
|
|
|
|
int idrnet_sockaddr_port(int sockfd);
|
|
|
|
// Accept
|
|
int idrnet_accept(int sockfd, void* sockaddr);
|
|
|
|
// Send
|
|
int idrnet_send(int sockfd, char* data);
|
|
int idrnet_send_buf(int sockfd, void* data, int len);
|
|
|
|
// Receive
|
|
// Creates a result structure containing result and payload
|
|
void* idrnet_recv(int sockfd, int len);
|
|
// Receives directly into a buffer
|
|
int idrnet_recv_buf(int sockfd, void* buf, int len);
|
|
|
|
// UDP Send
|
|
int idrnet_sendto(int sockfd, char* data, char* host, int port, int family);
|
|
int idrnet_sendto_buf(int sockfd, void* buf, int buf_len, char* host, int port, int family);
|
|
|
|
|
|
// UDP Receive
|
|
void* idrnet_recvfrom(int sockfd, int len);
|
|
void* idrnet_recvfrom_buf(int sockfd, void* buf, int len);
|
|
|
|
// Receive structure accessors
|
|
int idrnet_get_recv_res(void* res_struct);
|
|
char* idrnet_get_recv_payload(void* res_struct);
|
|
void idrnet_free_recv_struct(void* res_struct);
|
|
|
|
// Recvfrom structure accessors
|
|
int idrnet_get_recvfrom_res(void* res_struct);
|
|
char* idrnet_get_recvfrom_payload(void* res_struct);
|
|
void* idrnet_get_recvfrom_sockaddr(void* res_struct);
|
|
void idrnet_free_recvfrom_struct(void* res_struct);
|
|
|
|
|
|
int idrnet_getaddrinfo(struct addrinfo** address_res, char* host,
|
|
int port, int family, int socket_type);
|
|
|
|
int idrnet_geteagain();
|
|
|
|
int isNull(void* ptr);
|
|
|
|
#endif
|