Nettle.Ethernet.EthernetFrame

Contents

• Data types
• Parsers and unparsers
• ARP frames

Description

Synopsis

• type EthernetFrame = EthernetHeader :*: (EthernetBody :*: HNil)
• data EthernetBody
  • = IPInEthernet !IPPacket
  • | ARPInEthernet !ARPPacket
  • | UninterpretedEthernetBody !ByteString
• data EthernetHeader
  • = EthernetHeader {
    • destMACAddress :: !EthernetAddress
    • sourceMACAddress :: !EthernetAddress
    • typeCode :: !EthernetTypeCode
    }
  • | Ethernet8021Q {
    • destMACAddress :: !EthernetAddress
    • sourceMACAddress :: !EthernetAddress
    • typeCode :: !EthernetTypeCode
    • priorityCodePoint :: !VLANPriority
    • canonicalFormatIndicator :: !Bool
    • vlanId :: !VLANID
    }
• type EthernetTypeCode = Word16
• ethTypeIP, typeEth2Cutoff, ethTypeVLAN, ethTypeLLDP, ethTypeARP :: EthernetTypeCode
• type VLANPriority = Word8
• type VLANID = Word16
• eth_ip_packet :: EthernetFrame -> Maybe (EthernetHeader :*: IPPacket)
• eth_ip_tcp_packet :: EthernetFrame -> Maybe (EthernetHeader :*: (IPHeader :*: (TCPHeader :*: HNil)))
• eth_ip_udp_packet :: EthernetFrame -> Maybe (EthernetHeader :*: (IPHeader :*: (UDPHeader :*: (ByteString :*: HNil))))
• foldEthernetFrame :: (EthernetHeader -> EthernetBody -> a) -> EthernetFrame -> a
• foldEthernetBody :: (IPPacket -> a) -> (ARPPacket -> a) -> (ByteString -> a) -> EthernetBody -> a
• getEthernetFrame :: Get EthernetFrame
• getEthHeader :: Get EthernetHeader
• getEthernetFrame2 :: Int -> Get EthernetFrame
• getEthHeader2 :: Get EthernetHeader
• putEthHeader :: EthernetHeader -> Put
• putEthFrame :: EthernetFrame -> Put
• arpQuery :: EthernetAddress -> IPAddress -> IPAddress -> EthernetFrame
• arpReply :: EthernetAddress -> IPAddress -> EthernetAddress -> IPAddress -> EthernetFrame

Data types

Parsers and unparsers

ARP frames