Hans.IP4.State

Documentation

data IP4State

Constructors

IP4State

Fields

• ip4Routes :: !(IORef RoutingTable)

  Addresses currently assigned to devices.

• ip4ArpTable :: !ArpTable

  The ARP cache.

• ip4Fragments :: !FragTable

  IP4 packet fragments

• ip4ArpRetry :: !Int

  Arp retry count

• ip4ArpRetryDelay :: !Int
• ip4ResponderQueue :: !(BoundedChan ResponderRequest)
• ip4RandomSeed :: !(IORef StdGen)

Instances

HasIP4State IP4State

Methods

ip4State :: Getting r IP4State IP4State

data SendSource

Constructors

SourceAny

Any interface that will route the message

SourceIP4 !IP4

The interface with this address

SourceDev !Device !IP4

This device with this source address

data ResponderRequest

Constructors

Finish !Device !Mac [ByteString]

Finish sending these IP4 packets

Send !SendSource !IP4 !Bool !NetworkProtocol ByteString

Send this IP4 payload to this address

newIP4State :: Config -> IO IP4State

class HasIP4State state where

Minimal complete definition

ip4State

Methods

ip4State :: Getting r state IP4State

Instances

HasIP4State IP4State

Methods

ip4State :: Getting r IP4State IP4State

HasIP4State NetworkStack

Methods

ip4State :: Getting r NetworkStack IP4State

addRoute :: HasIP4State state => state -> Bool -> Route -> IO ()

lookupRoute4 :: HasIP4State state => state -> IP4 -> IO (Maybe (IP4, IP4, Device))

Lookup the source address, as well as the next hop and device.

isLocalAddr :: HasIP4State state => state -> IP4 -> IO (Maybe Route)

Is this an address that's assigned to a device in the network stack?

nextIdent :: HasIP4State state => state -> IO IP4Ident

Give back the result of using the random function on the internal state.

routesForDev :: HasIP4State state => state -> Device -> IO [Route]

Give back the list of routing rules associated with this device.