Net.ARP_Protocol

Documentation

data Interface m

Constructors

Interface

Fields

• lookup :: Addr -> m (Maybe Addr)
• dump :: m CacheDump

type CacheDump = [(Addr, Maybe Addr)]

initialize :: forall {m} {c :: Type -> Type} {m :: Type -> Type} {v :: Type -> Type} {a}. (DelayIO m, ForkIO m, ChannelIO c m, ChannelIO c m, MVarIO v m, MVarIO v m) => ([Char] -> m a) -> Interface m Packet (Packet Packet) -> Addr -> m (Interface m)