| 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 | 
| 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 |