IPv4Spec.hs

{-# OPTIONS_GHC -Wno-deprecations #-}

module Net.IPv4Spec (spec) where

import Data.Bits
import Net.IPv4
import Test.Hspec
import Prelude hiding (any)

spec :: Spec
spec = do
  describe "Bits" $ do
    it ".&." $ do
      any .&. any `shouldBe` any
      any .&. loopback `shouldBe` any
      loopback .&. broadcast `shouldBe` loopback
      broadcast .&. broadcast `shouldBe` broadcast
    it ".|." $ do
      any .|. any `shouldBe` any
      any .|. loopback `shouldBe` loopback
      loopback .|. broadcast `shouldBe` broadcast
      broadcast .|. broadcast `shouldBe` broadcast
    it "xor" $ do
      any `xor` any `shouldBe` any
      any `xor` loopback `shouldBe` loopback
      loopback `xor` broadcast `shouldBe` complement loopback
      broadcast `xor` broadcast `shouldBe` any
    it "complement" $ do
      complement any `shouldBe` broadcast
      complement loopback `shouldBe` ipv4 128 255 255 254
      complement broadcast `shouldBe` any
    it "shift" $ do
      shift any 0 `shouldBe` any
      shift broadcast 0 `shouldBe` broadcast
      shift broadcast 8 `shouldBe` ipv4 255 255 255 0
      shift broadcast (-8) `shouldBe` ipv4 0 255 255 255
      shift broadcast 32 `shouldBe` any
      shift broadcast 40 `shouldBe` any
    it "rotate" $ do
      rotate loopback 0 `shouldBe` loopback
      rotate loopback 0 `shouldBe` loopback
      rotate loopback 8 `shouldBe` ipv4 0 0 1 127
      rotate loopback (-8) `shouldBe` ipv4 1 127 0 0
      rotate loopback 32 `shouldBe` loopback
    it "bitSize" $ do
      bitSize any `shouldBe` 32
    it "bitSizeMaybe" $ do
      bitSizeMaybe any `shouldBe` Just 32
    it "isSigned" $ do
      isSigned any `shouldBe` False
      isSigned broadcast `shouldBe` False
    it "testBit" $ do
      testBit loopback <$> [0 .. 31]
        `shouldBe` [ True
                   , False
                   , False
                   , False
                   , False
                   , False
                   , False
                   , False
                   , False
                   , False
                   , False
                   , False
                   , False
                   , False
                   , False
                   , False
                   , False
                   , False
                   , False
                   , False
                   , False
                   , False
                   , False
                   , False
                   , True
                   , True
                   , True
                   , True
                   , True
                   , True
                   , True
                   , False
                   ]
    it "bit" $ do
      bit 0 `shouldBe` ipv4 0 0 0 1
      bit 1 `shouldBe` ipv4 0 0 0 2
      bit 31 `shouldBe` ipv4 128 0 0 0
    it "popCount" $ do
      popCount any `shouldBe` 0
      popCount loopback `shouldBe` 8
      popCount broadcast `shouldBe` 32
  describe "FiniteBits" $ do
    it "finiteBitSize" $ do
      finiteBitSize any `shouldBe` 32
      finiteBitSize loopback `shouldBe` 32
      finiteBitSize broadcast `shouldBe` 32