| raAddr | Hans.IP4.Icmp4 |
| raPreferenceLevel | Hans.IP4.Icmp4 |
| rcvNxt | Hans.Tcp.RecvWindow |
| rcvRight | Hans.Tcp.RecvWindow |
| rcvWnd | Hans.Tcp.RecvWindow |
| RDA | Hans.Dns.Packet |
| RData | Hans.Dns.Packet |
| RDCNAME | Hans.Dns.Packet |
| RDHINFO | Hans.Dns.Packet |
| RDMB | Hans.Dns.Packet |
| RDMD | Hans.Dns.Packet |
| RDMF | Hans.Dns.Packet |
| RDMG | Hans.Dns.Packet |
| RDMINFO | Hans.Dns.Packet |
| RDMR | Hans.Dns.Packet |
| RDMX | Hans.Dns.Packet |
| RDNS | Hans.Dns.Packet |
| RDNULL | Hans.Dns.Packet |
| RDPTR | Hans.Dns.Packet |
| RDSOA | Hans.Dns.Packet |
| RDUnknown | Hans.Dns.Packet |
| readIP4 | Hans.IP4.Packet |
| readIP4Mask | Hans.IP4.Packet |
| readMac | Hans.Ethernet.Types, Hans.Ethernet |
| receiveBytes | Hans.Tcp.Tcb |
| recvfrom | Hans.Socket |
| recvfrom' | Hans.Socket |
| recvSegment | Hans.Tcp.RecvWindow |
| Redirect | Hans.IP4.Icmp4 |
| RedirectCode | Hans.IP4.Icmp4 |
| RedirectForHost | Hans.IP4.Icmp4 |
| RedirectForNetwork | Hans.IP4.Icmp4 |
| RedirectForTypeOfServiceAndHost | Hans.IP4.Icmp4 |
| RedirectForTypeOfServiceAndNetwork | Hans.IP4.Icmp4 |
| registerActive | Hans.Tcp.State, Hans.Types |
| registerListening | Hans.Tcp.State, Hans.Types |
| registerRecv | Hans.Udp.State, Hans.Types |
| registerTimeWait | Hans.Tcp.State, Hans.Types |
| releaseSlot | Hans.Tcp.Tcb |
| removeTcpPortForward | |
| 1 (Function) | Hans.Types |
| 2 (Function) | Hans.Nat |
| removeUdpPortForward | |
| 1 (Function) | Hans.Types |
| 2 (Function) | Hans.Nat |
| renderArpPacket | Hans.IP4.Packet |
| renderIcmp4Packet | Hans.IP4.Icmp4 |
| renderIP4Options | Hans.IP4.Packet |
| repeatedly | Hans.IP4.Dhcp.Options |
| replicateA | Hans.IP4.Dhcp.Options |
| ReplyMessage | Hans.IP4.Dhcp.Packet |
| Request | |
| 1 (Type/Class) | Hans.IP4.Dhcp.Packet |
| 2 (Data Constructor) | Hans.IP4.Dhcp.Packet |
| requestAddress | Hans.IP4.Dhcp.Packet |
| requestBroadcast | Hans.IP4.Dhcp.Packet |
| requestClientHardwareAddress | Hans.IP4.Dhcp.Packet |
| RequestMessage | |
| 1 (Type/Class) | Hans.IP4.Dhcp.Packet |
| 2 (Data Constructor) | Hans.IP4.Dhcp.Packet |
| requestParameters | Hans.IP4.Dhcp.Packet |
| requestServerAddr | Hans.IP4.Dhcp.Packet |
| requestToAck | Hans.IP4.Dhcp.Packet |
| requestToMessage | Hans.IP4.Dhcp.Packet |
| requestXid | Hans.IP4.Dhcp.Packet |
| reserveSlot | Hans.Tcp.Tcb |
| reset2MSL | Hans.Tcp.Tcb |
| resetIdleTimer | Hans.Tcp.Tcb |
| resetRetransmit | Hans.Tcp.Tcb |
| resetTimeWait | Hans.Tcp.State, Hans.Types |
| resolveAddr | Hans.IP4.ArpTable |
| RespCode | Hans.Dns.Packet |
| RespFormatError | Hans.Dns.Packet |
| RespNameError | Hans.Dns.Packet |
| RespNoError | Hans.Dns.Packet |
| RespNotImplemented | Hans.Dns.Packet |
| responder | |
| 1 (Function) | Hans.IP4.Output, Hans.IP4 |
| 2 (Function) | Hans.Tcp.Output |
| 3 (Function) | Hans.Udp.Output |
| ResponderRequest | Hans.IP4.State, Hans.Types |
| RespRefused | Hans.Dns.Packet |
| RespReserved | Hans.Dns.Packet |
| RespServerFailure | Hans.Dns.Packet |
| retransmitTimeout | Hans.Tcp.SendWindow |
| retryRetransmit | Hans.Tcp.Tcb |
| riDev | Hans.Network.Types, Hans.Network, Hans |
| riNext | Hans.Network.Types, Hans.Network, Hans |
| riSource | Hans.Network.Types, Hans.Network, Hans |
| Route | |
| 1 (Type/Class) | Hans.IP4.RoutingTable, Hans |
| 2 (Data Constructor) | Hans.IP4.RoutingTable, Hans |
| routeDatagram | Hans.Network |
| routeDevice | Hans.IP4.RoutingTable, Hans |
| RouteInfo | |
| 1 (Type/Class) | Hans.Network.Types, Hans.Network, Hans |
| 2 (Data Constructor) | Hans.Network.Types, Hans.Network, Hans |
| routeNetwork | Hans.IP4.RoutingTable, Hans |
| routeNextHop | Hans.IP4.RoutingTable |
| RouterAddress | |
| 1 (Type/Class) | Hans.IP4.Icmp4 |
| 2 (Data Constructor) | Hans.IP4.Icmp4 |
| RouterAdvertisement | Hans.IP4.Icmp4 |
| RouterSolicitation | Hans.IP4.Icmp4 |
| routesForDev | |
| 1 (Function) | Hans.IP4.RoutingTable |
| 2 (Function) | Hans.IP4.State, Hans.Types |
| routeSource | Hans.IP4.RoutingTable |
| routeTcp | Hans.Tcp.Output |
| RouteType | Hans.IP4.RoutingTable, Hans |
| routeType | Hans.IP4.RoutingTable, Hans |
| RoutingException | Hans.Socket |
| RoutingTable | Hans.IP4.RoutingTable, Hans.Types |
| RR | |
| 1 (Type/Class) | Hans.Dns.Packet |
| 2 (Data Constructor) | Hans.Dns.Packet |
| rrClass | Hans.Dns.Packet |
| rrName | Hans.Dns.Packet |
| rrRData | Hans.Dns.Packet |
| rrTTL | Hans.Dns.Packet |
| runHans | Hans.Monad |
| runHansOnce | Hans.Monad |
| runPutPacket | Hans.Serialize |
| rxOffload | Hans.Device.Types, Hans.Device |