API reference
UDX.connect_to_server — Method
Connect to a UDX server on the specified port
UDX.ensure_package_loaded — Method
Ensure a package is loaded in the Main module
UDX.handle_request — Method
Handle incoming requests by redirecting them to the appropriate package function. Returns true if the request was handled successfully, false otherwise.
UDX.read_string — Method
Read a string from the UDX channel
UDX.start_redirect_server — Function
Start a server that handles package redirection requests
UDX.start_server — Function
Start a UDX server on the specified port. If the port is 0, a port will be chosen automatically.
UDX.udx_flush — Method
Flush the UDX channel
UDX.udx_init_run_tcp_client — Method
Initialize a TCP server that runs a remote process
UDX.udx_read_i32 — Method
Read a 32-bit integer from the UDX channel
UDX.udx_read_mpfi — Function
Read an MPFI interval from the UDX channel
UDX.udx_read_mpfr — Method
Read an MPFR big float from the UDX channel
UDX.udx_read_mpz — Method
Read a GMP big integer from the UDX channel
UDX.udx_read_rat — Method
Read a rational number from the UDX channel
UDX.udx_write_i32 — Method
Write a 32-bit integer to the UDX channel
UDX.udx_write_mpfi — Function
Write an MPFI interval to the UDX channel
UDX.udx_write_mpfr — Method
Write an MPFR big float to the UDX channel
UDX.udx_write_mpz — Method
Write a GMP big integer to the UDX channel
UDX.udx_write_rat — Method
Write a rational number to the UDX channel
UDX.write_string — Method
Write a string to the UDX channel
MPFI extension
When the MPFI package is loaded, UDX.MPFIExt implements:
UDX.udx_read_mpfi(ch::Ptr{Cvoid})UDX.udx_write_mpfi(ch::Ptr{Cvoid}, n::BigInterval)
These are not listed above because they live in the extension module. See Getting started.