Hans.Network

Documentation

class NetworkAddr addr => Network addr where

Interaction with routing and message delivery for a network layer.

Minimal complete definition

pseudoHeader, lookupRoute, sendDatagram'

Methods

pseudoHeader :: addr -> addr -> NetworkProtocol -> Int -> PartialChecksum

Calculate the pseudo-header for checksumming a packet at this layer of the network.

lookupRoute :: HasNetworkStack ns => ns -> addr -> IO (Maybe (RouteInfo addr))

Lookup a route to reach this destination address.

sendDatagram' :: HasNetworkStack ns => ns -> Device -> addr -> addr -> addr -> Bool -> NetworkProtocol -> ByteString -> IO ()

Send a single datagram to a destination.

Instances

Network IP4

Methods

pseudoHeader :: IP4 -> IP4 -> NetworkProtocol -> Int -> PartialChecksum

lookupRoute :: HasNetworkStack ns => ns -> IP4 -> IO (Maybe (RouteInfo IP4))

sendDatagram' :: HasNetworkStack ns => ns -> Device -> IP4 -> IP4 -> IP4 -> Bool -> NetworkProtocol -> ByteString -> IO ()

Network Addr

Methods

pseudoHeader :: Addr -> Addr -> NetworkProtocol -> Int -> PartialChecksum

lookupRoute :: HasNetworkStack ns => ns -> Addr -> IO (Maybe (RouteInfo Addr))

sendDatagram' :: HasNetworkStack ns => ns -> Device -> Addr -> Addr -> Addr -> Bool -> NetworkProtocol -> ByteString -> IO ()

sendDatagram :: (HasNetworkStack ns, Network addr) => ns -> RouteInfo addr -> addr -> Bool -> NetworkProtocol -> ByteString -> IO ()

routeDatagram :: (HasNetworkStack ns, Network addr) => ns -> addr -> Bool -> NetworkProtocol -> ByteString -> IO Bool

Send a datagram and lookup routing information at the same time. Returns False if no route to the destination was known.

findNextHop

Arguments

:: (HasNetworkStack ns, Network addr)

=> ns

-> Maybe Device

Desired output device

-> Maybe addr

Desired source address

-> addr

Destination

-> IO (Maybe (RouteInfo addr))

module Hans.Network.Types