Hans.NetworkStack

Contents

• Re-exported Types
• DNS
• Sockets
  • Socket Functions
  • Socket Exceptions

Synopsis

• data NetworkStack = NetworkStack {
  • nsArp :: ArpHandle
  • nsEthernet :: EthernetHandle
  • nsIp4 :: IP4Handle
  • nsIcmp4 :: Icmp4Handle
  • nsUdp :: UdpHandle
  • nsTcp :: TcpHandle
  • nsDns :: DnsHandle
  }
• newNetworkStack :: IO NetworkStack
• class HasEthernet stack where
  • ethernetHandle :: stack -> EthernetHandle
• startEthernetLayer :: HasEthernet stack => stack -> IO ()
• addDevice :: HasEthernet stack => stack -> Mac -> Tx -> Rx -> IO ()
• removeDevice :: HasEthernet stack => stack -> Mac -> IO ()
• deviceUp :: HasEthernet stack => stack -> Mac -> IO ()
• deviceDown :: HasEthernet stack => stack -> Mac -> IO ()
• class HasArp stack where
  • arpHandle :: stack -> ArpHandle
• startArpLayer :: (HasEthernet stack, HasArp stack) => stack -> IO ()
• class HasIcmp4 stack where
  • icmp4Handle :: stack -> Icmp4Handle
• startIcmp4Layer :: (HasIcmp4 stack, HasIP4 stack) => stack -> IO ()
• class HasIP4 stack where
  • ip4Handle :: stack -> IP4Handle
• startIP4Layer :: (HasArp stack, HasEthernet stack, HasIP4 stack) => stack -> IO ()
• type Mtu = Int
• addIP4Addr :: (HasArp stack, HasIP4 stack) => stack -> IP4Mask -> Mac -> Mtu -> IO ()
• routeVia :: HasIP4 stack => stack -> IP4Mask -> IP4 -> IO ()
• listenIP4Protocol :: HasIP4 stack => stack -> IP4Protocol -> Handler -> IO ()
• ignoreIP4Protocol :: HasIP4 stack => stack -> IP4Protocol -> IO ()
• class HasUdp stack where
  • udpHandle :: stack -> UdpHandle
• startUdpLayer :: (HasIP4 stack, HasIcmp4 stack, HasUdp stack) => stack -> IO ()
• addUdpHandler :: HasUdp stack => stack -> UdpPort -> Handler -> IO ()
• removeUdpHandler :: HasUdp stack => stack -> UdpPort -> IO ()
• queueUdp :: HasUdp stack => stack -> IP4Header -> ByteString -> IO ()
• sendUdp :: HasUdp stack => stack -> IP4 -> Maybe UdpPort -> UdpPort -> ByteString -> IO ()
• class HasIP4 stack => HasTcp stack where
  • tcpHandle :: stack -> TcpHandle
• startTcpLayer :: HasTcp stack => stack -> IO ()
• listen :: HasTcp stack => stack -> IP4 -> TcpPort -> IO Socket
• connect :: HasTcp stack => stack -> IP4 -> TcpPort -> Maybe TcpPort -> IO Socket
• class HasUdp stack => HasDns stack where
  • dnsHandle :: stack -> DnsHandle
• startDnsLayer :: HasDns stack => stack -> IO ()
• addNameServer :: HasDns stack => stack -> IP4 -> IO ()
• removeNameServer :: HasDns stack => stack -> IP4 -> IO ()
• getHostByName :: HasDns stack => stack -> HostName -> IO HostEntry
• getHostByAddr :: HasDns stack => stack -> IP4 -> IO HostEntry
• data UdpPort
• data TcpPort
• type HostName = String
• data HostEntry = HostEntry {
  • hostName :: HostName
  • hostAliases :: [HostName]
  • hostAddresses :: [IP4]
  }
• data Socket
• sockRemoteHost :: Socket -> IP4
• sockRemotePort :: Socket -> TcpPort
• sockLocalPort :: Socket -> TcpPort
• accept :: Socket -> IO Socket
• close :: Socket -> IO ()
• sendBytes :: Socket -> ByteString -> IO Int64
• recvBytes :: Socket -> Int64 -> IO ByteString
• data AcceptError = AcceptError
• data CloseError = CloseError
• data ConnectError = ConnectionRefused
• data ListenError = ListenError

Documentation

Re-exported Types

DNS

Sockets

Socket Functions

Socket Exceptions