Tap.hs

-- | [radiotap](https://radiotap.org/)
module Data.Tap (Tap(..), getTap, putTap
  , Hdr(..), mkPrsnts
  , Fld(..), fmt, unk, defFlds
  , Struct(..), structLen, padStructs) where

import Control.Monad
import Data.Binary
import Data.Binary.Get
import Data.Binary.Put
import Data.Bits
import Data.Either
import Data.Function
import Data.Int
import Data.List
import Data.List.NonEmpty (NonEmpty(..))
import qualified Data.List.NonEmpty as NE
import Data.Monoid

-- | radiotap data
data Tap = Tap{hdr :: Hdr, fields :: [Fld]}
  deriving (Eq, Read, Show)

-- | decoder
getTap :: [Fld] -> Get Tap
getTap dfn = get >>= \h -> Tap h <$> getFlds dfn h

-- | encoder
putTap :: Tap -> Put
putTap (Tap h fs) = put h <> foldMap putStruct (padStructs $ structs =<< fs)

getFlds :: [Fld] -> Hdr -> Get [Fld]
getFlds dfn Hdr{prsnt=p:|ps} = do
  prsntStructs <- forM nums $ \n -> case lookupFld dfn n of
    Nothing -> fail $ "present structs: undefined field num: " <> show n
    Just  f -> return $ structs f
  either fail return . elaborate dfn nums =<< getStructs (concat prsntStructs)
  where
    nums = concat $ zipWith presents [0..] $ p:ps

presents :: Int -> Word32 -> [Int]
presents i w = [b + i * 32 | b <- [0..30], testBit w b]

-- chunk structs into fields
elaborate :: [Fld] -> [Int] -> [Struct] -> Either String [Fld]
elaborate dfn = go
  where
    go [] [] = Right []
    go [] s@(_:_) = Left $ "elaborate: too many structs: " <> show s
    go ns@(_:_) [] = Left $ "elaborate: too many present: " <> show ns
    go (n:ns) strcts = case lookupFld dfn n of
      Nothing -> Left $ "elaborate: undefined field num: " <> show n
      Just f -> case consume f strcts of
        Left err -> Left err
        Right (f', rest) -> (f':) <$> go ns rest

consume :: Fld -> [Struct] -> Either String (Fld, [Struct])
consume f@Fld{structs=ds} strcts = case match ds strcts of
  Left err -> Left err
  Right (t, rest) -> Right (f{structs=t}, rest)

match :: [Struct] -> [Struct] -> Either String ([Struct], [Struct])
match [] rest = Right ([], rest)
match _ [] = Left "match: not enough structs"
match (d:ds) (s:rest) = case matchStruct d s of
  Left err -> Left err
  Right s' -> case match ds rest of
    Left err -> Left err
    Right (ms, rest') -> Right (s':ms, rest')

matchStruct :: Struct -> Struct -> Either String Struct
matchStruct dfn strct = case (dfn, strct) of
  (U8{},  U8  u8)  -> Right $ U8  u8
  (S8{},  S8  s8)  -> Right $ S8  s8
  (U16{}, U16 u16) -> Right $ U16 u16
  (S16{}, S16 s16) -> Right $ S16 s16
  (U32{}, U32 u32) -> Right $ U32 u32
  (S32{}, S32 s32) -> Right $ S32 s32
  (U64{}, U64 u64) -> Right $ U64 u64
  (S64{}, S64 s64) -> Right $ S64 s64
  (expct, actual)  -> Left $ "expected " ++ renderExp expct ++ " but got " ++ renderAct actual
  where
    renderExp e = case e of
      U8{}  -> "u8"
      S8{}  -> "s8"
      U16{} -> "u16"
      S16{} -> "s16"
      U32{} -> "u32"
      S32{} -> "s32"
      U64{} -> "u64"
      S64{} -> "s64"
    renderAct e = case e of
      U8  u8  -> "u8 "  <> show u8
      S8  s8  -> "s8 "  <> show s8
      U16 u16 -> "u16 " <> show u16
      S16 s16 -> "s16 " <> show s16
      U32 u32 -> "u32 " <> show u32
      S32 s32 -> "s32 " <> show s32
      U64 u64 -> "u64 " <> show u64
      S64 s64 -> "s64 " <> show s64

lookupFld :: [Fld] -> Int -> Maybe Fld
lookupFld dfn n = find ((n ==).num) dfn

-- | header
data Hdr = Hdr{ver :: Word8, hpd :: Word8, len :: Word16, prsnt :: NonEmpty Word32}
  deriving (Eq, Read, Show)

instance Binary Hdr where
  get = Hdr <$> getWord8 <*> getWord8 <*> getWord16le <*> getPrsnt
    where
      getPrsnt = do
        p <- getWord32le
        if testBit p 31 then (p:|) <$> go else return $ p:|[]
        where
          go = do
            p <- getWord32le
            if testBit p 31 then (p:) <$> go else return [p]
  put h = do
    putWord8 (ver h) >> putWord8 (hpd h) >> putWord16le (len h)
    let p:|ps = prsnt h
    putWord32le p >> if testBit p 31 then go ps else mempty
    where
      go [] = mempty
      go (p:ps) = putWord32le p <> if testBit p 31 then go ps else mempty

-- | expect sorted input
mkPrsnts :: [Int] -> NonEmpty Word32
mkPrsnts ns = let (ns', w) = setPrsnts ns 0
              in applyWhen (not $ null ns') (`setBit` 31) w :| go ns' 1
  where
    go []  _ = []
    go ns' i = applyWhen (not $ null ns'') (`setBit` 31) w : go ns'' (i + 1)
      where
        (ns'', w) = setPrsnts ns' i

-- req sorted input nums
setPrsnts :: [Int] -> Int -> ([Int], Word32)
setPrsnts ns i = (ns', appEndo e 0)
  where
    (bs, ns') = span (\n -> n < (i + 1) * 32) ns
    e = mconcat [Endo $ flip setBit $ b `mod` 32 | b <- bs]

-- | radiotap field
data Fld = Fld{name :: String, num :: Int, structs :: [Struct]}
  deriving (Eq, Read, Show)

-- | format fields: sort then check reserved and duplicates
fmt :: [Fld] -> Either String [Fld]
fmt = go . NE.groupWith num . sortOn num
  where
    go [] = Right []
    go ((f:|[]):gs)
      | num f `mod` 32 == 31 = Left $ "reserved field number: " <> show f
      | otherwise = (f:) <$> go gs
    go ((f:|fs):_) = Left $ "duplicate numbered fields: " ++ show (f:fs)

-- | verify all fields are defined
unk :: [Fld] -> [Fld] -> Either String [Fld]
unk dfn = go
  where
    go [] = Right []
    go (f:fs) = case lookupFld dfn $ num f of
      Nothing -> Left $ "undefined field: " ++ show f
      Just d
        | mismatchStructs (structs d) (structs f) -> Left $
          "mismatched structs: dfn=" ++ show (structs d) ++ " field=" ++ show (structs f)
        | otherwise -> (f:) <$> go fs

mismatchStructs :: [Struct] -> [Struct] -> Bool
mismatchStructs ds = any isLeft . zipWith matchStruct ds

-- | radiotap structure
data Struct = U8 Word8 | S8 Int8 | U16 Word16 | S16 Int16 | U32 Word32
  | S32 Int32 | U64 Word64 | S64 Int64
  deriving (Eq, Read, Show)

-- | byte length
structLen :: Struct -> Integer
structLen s = case s of
  U8{}  -> 1
  S8{}  -> 1
  U16{} -> 2
  S16{} -> 2
  U32{} -> 4
  S32{} -> 4
  U64{} -> 8
  S64{} -> 8

getStructs :: [Struct] -> Get [Struct]
getStructs [] = return []
getStructs [s] = pure <$> getStruct s
getStructs (a:b:s) = (:) <$> getStruct a <* replicateM_ (pad a b) getWord8 <*> getStructs (b:s)

getStruct :: Struct -> Get Struct
getStruct s = case s of
  U8{}  -> U8  <$> getWord8
  S8{}  -> S8  <$> getInt8
  U16{} -> U16 <$> getWord16le
  S16{} -> S16 <$> getInt16le
  U32{} -> U32 <$> getWord32le
  S32{} -> S32 <$> getInt32le
  U64{} -> U64 <$> getWord64le
  S64{} -> S64 <$> getInt64le

-- | insert natural alignment padding
padStructs :: [Struct] -> [Struct]
padStructs [] = []
padStructs [s] = [s]
padStructs (a:b:s) = [a] ++ replicate (pad a b) (U8 0) ++ padStructs (b:s)

putStruct :: Struct -> Put
putStruct s = case s of
  U8  w8  -> putWord8 w8
  S8  s8  -> putInt8  s8
  U16 w16 -> putWord16le w16
  S16 s16 -> putInt16le  s16
  U32 w32 -> putWord32le w32
  S32 s32 -> putInt32le  s32
  U64 w64 -> putWord64le w64
  S64 s64 -> putInt64le  s64

pad :: Struct -> Struct -> Int
pad a b = case (a,b) of
  (U8{}, U16{}) -> 1
  (U8{}, S16{}) -> 1
  (U8{}, U32{}) -> 3
  (U8{}, S32{}) -> 3
  (U8{}, U64{}) -> 7
  (U8{}, S64{}) -> 7
  (S8{}, U16{}) -> 1
  (S8{}, S16{}) -> 1
  (S8{}, U32{}) -> 3
  (S8{}, S32{}) -> 3
  (S8{}, U64{}) -> 7
  (S8{}, S64{}) -> 7
  (U16{},U32{}) -> 2
  (U16{},S32{}) -> 2
  (U16{},U64{}) -> 6
  (U16{},S64{}) -> 6
  (S16{},U32{}) -> 2
  (S16{},S32{}) -> 2
  (S16{},U64{}) -> 6
  (S16{},S64{}) -> 6
  (U32{},U64{}) -> 4
  (U32{},S64{}) -> 4
  (S32{},U64{}) -> 4
  (S32{},S64{}) -> 4
  (_    ,_    ) -> 0

-- | radiotap defined fields
defFlds :: [Fld]
defFlds = [Fld "TSFT" 0 [U64 0], Fld "Flags" 1 [U8 0]
  , Fld "Rate" 2 [U8 0], Fld "Channel" 3 [U16 0, U16 0]
  , Fld "FHSS" 4 [U8 0, U8 0], Fld "Antenna Signal" 5 [S8 0]
  , Fld "Antenna Noise" 6 [S8 0], Fld "Lock quality" 7 [U16 0]
  , Fld "TX attenuation" 8 [U16 0], Fld "dB TX attenuation" 9 [U16 0]
  , Fld "dBm TX power" 10 [S8 0], Fld "Antenna" 11 [U8 0]
  , Fld "dB antenna signal" 12 [U8 0], Fld "dB antenna noise" 13 [U8 0]
  , Fld "RX flags" 14 [U16 0], Fld "TX flags" 15 [U16 0]
  , Fld "MCS" 19 [U8 0, U8 0, U8 0]
  , Fld "A-MPDU status" 20 [U32 0, U16 0, U8 0, U8 0]
  , Fld "VHT" 21 $ [U16 0, U8 0, U8 0] ++ replicate 4 (U8 0) ++
    [U8 0, U8 0, U16 0]
  , Fld "timestamp" 22 [U64 0, U16 0, U8 0, U8 0]
  , Fld "HE" 23 $ replicate 6 $ U16 0
  , Fld "HE-MU" 24 $ [U16 0, U16 0] ++ replicate 4 (U8 0) ++ replicate 4 (U8 0)
  , Fld "HE-MU-other-user" 25 [U16 0, U16 0, U8 0, U8 0]
  , Fld "0-length-PSDU" 26 [U8 0], Fld "L-SIG" 27 [U16 0, U16 0]]