# LANGUAGE RecordWildCards #
# LANGUAGE PatternSynonyms #

module Hans.Ethernet.Types (
    -- * Ethernet Headers
    EthernetHeader(..), getEthernetHeader, putEthernetHeader,
    EtherType,

  * * MAC addresses
    Mac(..), getMac, putMac, showMac, readMac,
    pattern BroadcastMac,

    -- ** EtherType Patterns
    pattern ETYPE_IPV4,
    pattern ETYPE_ARP,
    pattern ETYPE_IPV6

  ) where

import           Data.Serialize
                     (Get,getWord8,getWord16be,Putter,putWord16be,putWord8
                     ,Serialize(..))
import           Data.Word (Word8,Word16)
import           Numeric (readHex,showHex)


-- Mac Addresses ---------------------------------------------------------------

data Mac = Mac {-# UNPACK #-} !Word8
               {-# UNPACK #-} !Word8
               {-# UNPACK #-} !Word8
               {-# UNPACK #-} !Word8
               {-# UNPACK #-} !Word8
               {-# UNPACK #-} !Word8
               deriving (Eq,Ord,Show,Read)

instance Serialize Mac where
  get = getMac
  put = putMac
  {-# INLINE get #-}
# INLINE put #


getMac :: Get Mac
getMac  =
  do a <- getWord8
     b <- getWord8
     c <- getWord8
     d <- getWord8
     e <- getWord8
     f <- getWord8
     return $! Mac a b c d e f

putMac :: Putter Mac
putMac (Mac a b c d e f) =
  do putWord8 a
     putWord8 b
     putWord8 c
     putWord8 d
     putWord8 e
     putWord8 f

showMac :: Mac -> ShowS
showMac (Mac a b c d e f) = pad a . showChar ':'
                          . pad b . showChar ':'
                          . pad c . showChar ':'
                          . pad d . showChar ':'
                          . pad e . showChar ':'
                          . pad f
  where
  pad x | x < 0x10  = showChar '0' . showHex x
        | otherwise =                showHex x


readMac :: ReadS Mac
readMac str =
  do (a,':':rest1) <- readHex str
     (b,':':rest2) <- readHex rest1
     (c,':':rest3) <- readHex rest2
     (d,':':rest4) <- readHex rest3
     (e,':':rest5) <- readHex rest4
     (f,rest6)     <- readHex rest5
     return (Mac a b c d e f, rest6)

  | The broadcast MAC address .
pattern BroadcastMac :: Mac
pattern BroadcastMac = Mac 0xff 0xff 0xff 0xff 0xff 0xff


-- Ethernet Headers ------------------------------------------------------------

type EtherType = Word16

data EthernetHeader = EthernetHeader
  { eDest    :: {-# UNPACK #-} !Mac
  , eSource  :: {-# UNPACK #-} !Mac
  , eType    :: {-# UNPACK #-} !EtherType
  } deriving (Eq,Show)

getEthernetHeader :: Get EthernetHeader
getEthernetHeader =
  do eDest   <- getMac
     eSource <- getMac
     eType   <- getWord16be
     return EthernetHeader { .. }

putEthernetHeader :: Putter EthernetHeader
putEthernetHeader EthernetHeader { .. } =
  do putMac      eDest
     putMac      eSource
     putWord16be eType


-- Common Ether-Types ----------------------------------------------------------
pattern ETYPE_IPV4 :: (Num a, Eq a) => a
pattern ETYPE_IPV4 = 0x0800

pattern ETYPE_ARP :: (Num a, Eq a) => a
pattern ETYPE_ARP = 0x0806

pattern ETYPE_IPV6 :: (Num a, Eq a) => a
pattern ETYPE_IPV6 = 0x86DD

 * Ethernet Headers
 ** EtherType Patterns
 Mac Addresses ---------------------------------------------------------------
# UNPACK #
# UNPACK #
# UNPACK #
# UNPACK #
# UNPACK #
# UNPACK #
# INLINE get #
 Ethernet Headers ------------------------------------------------------------
# UNPACK #
# UNPACK #
# UNPACK #
 Common Ether-Types ----------------------------------------------------------
# LANGUAGE RecordWildCards #
# LANGUAGE PatternSynonyms #

module Hans.Ethernet.Types (
    EthernetHeader(..), getEthernetHeader, putEthernetHeader,
    EtherType,

  * * MAC addresses
    Mac(..), getMac, putMac, showMac, readMac,
    pattern BroadcastMac,

    pattern ETYPE_IPV4,
    pattern ETYPE_ARP,
    pattern ETYPE_IPV6

  ) where

import           Data.Serialize
                     (Get,getWord8,getWord16be,Putter,putWord16be,putWord8
                     ,Serialize(..))
import           Data.Word (Word8,Word16)
import           Numeric (readHex,showHex)



               deriving (Eq,Ord,Show,Read)

instance Serialize Mac where
  get = getMac
  put = putMac
# INLINE put #


getMac :: Get Mac
getMac  =
  do a <- getWord8
     b <- getWord8
     c <- getWord8
     d <- getWord8
     e <- getWord8
     f <- getWord8
     return $! Mac a b c d e f

putMac :: Putter Mac
putMac (Mac a b c d e f) =
  do putWord8 a
     putWord8 b
     putWord8 c
     putWord8 d
     putWord8 e
     putWord8 f

showMac :: Mac -> ShowS
showMac (Mac a b c d e f) = pad a . showChar ':'
                          . pad b . showChar ':'
                          . pad c . showChar ':'
                          . pad d . showChar ':'
                          . pad e . showChar ':'
                          . pad f
  where
  pad x | x < 0x10  = showChar '0' . showHex x
        | otherwise =                showHex x


readMac :: ReadS Mac
readMac str =
  do (a,':':rest1) <- readHex str
     (b,':':rest2) <- readHex rest1
     (c,':':rest3) <- readHex rest2
     (d,':':rest4) <- readHex rest3
     (e,':':rest5) <- readHex rest4
     (f,rest6)     <- readHex rest5
     return (Mac a b c d e f, rest6)

  | The broadcast MAC address .
pattern BroadcastMac :: Mac
pattern BroadcastMac = Mac 0xff 0xff 0xff 0xff 0xff 0xff



type EtherType = Word16

data EthernetHeader = EthernetHeader
  } deriving (Eq,Show)

getEthernetHeader :: Get EthernetHeader
getEthernetHeader =
  do eDest   <- getMac
     eSource <- getMac
     eType   <- getWord16be
     return EthernetHeader { .. }

putEthernetHeader :: Putter EthernetHeader
putEthernetHeader EthernetHeader { .. } =
  do putMac      eDest
     putMac      eSource
     putWord16be eType


pattern ETYPE_IPV4 :: (Num a, Eq a) => a
pattern ETYPE_IPV4 = 0x0800

pattern ETYPE_ARP :: (Num a, Eq a) => a
pattern ETYPE_ARP = 0x0806

pattern ETYPE_IPV6 :: (Num a, Eq a) => a
pattern ETYPE_IPV6 = 0x86DD
