src/IPv4Address.hs

   1 module IPv4Address
   2 ( ipv4address_from_octets,
   3   ipv4address_tests,
   4   IPv4Address(None),
   5   max_octet1,
   6   max_octet2,
   7   max_octet3,
   8   max_octet4,
   9   min_octet1,
  10   min_octet2,
  11   min_octet3,
  12   min_octet4,
  13   most_sig_bit_different,
  14   octet1,
  15   octet2,
  16   octet3,
  17   octet4
  18 ) where
  19
  20 import Test.HUnit
  21 import Test.QuickCheck
  22
  23 import qualified Bit as B
  24 import Maskable
  25 import Maskbits
  26 import Octet
  27
  28 data IPv4Address = None | IPv4Address { octet1 :: Octet,
  29                                         octet2 :: Octet,
  30                                         octet3 :: Octet,
  31                                         octet4 :: Octet }
  32                  deriving (Eq)
  33
  34
  35 instance Show IPv4Address where
  36     show IPv4Address.None = "None"
  37     show addr = concat [(show oct1) ++ ".",
  38                         (show oct2) ++ ".",
  39                         (show oct3) ++ ".",
  40                         (show oct4)]
  41         where
  42           oct1 = (octet1 addr)
  43           oct2 = (octet2 addr)
  44           oct3 = (octet3 addr)
  45           oct4 = (octet4 addr)
  46
  47
  48 instance Arbitrary IPv4Address where
  49     arbitrary = do
  50       oct1 <- arbitrary :: Gen Octet
  51       oct2 <- arbitrary :: Gen Octet
  52       oct3 <- arbitrary :: Gen Octet
  53       oct4 <- arbitrary :: Gen Octet
  54       return (IPv4Address oct1 oct2 oct3 oct4)
  55
  56     coarbitrary _ = variant 0
  57
  58
  59
  60 instance Maskable IPv4Address where
  61     apply_mask _ Maskbits.None = IPv4Address.None
  62     apply_mask addr mask
  63         | mask == ThirtyTwo = ipv4address_from_octets oct1 oct2 oct3 oct4
  64         | mask == ThirtyOne = ipv4address_from_octets oct1 oct2 oct3 (apply_mask oct4 Seven)
  65         | mask == Thirty = ipv4address_from_octets oct1 oct2 oct3 (apply_mask oct4 Six)
  66         | mask == TwentyNine = ipv4address_from_octets oct1 oct2 oct3 (apply_mask oct4 Five)
  67         | mask == TwentyEight = ipv4address_from_octets oct1 oct2 oct3 (apply_mask oct4 Four)
  68         | mask == TwentySeven = ipv4address_from_octets oct1 oct2 oct3 (apply_mask oct4 Three)
  69         | mask == TwentySix = ipv4address_from_octets oct1 oct2 oct3 (apply_mask oct4 Two)
  70         | mask == TwentyFive = ipv4address_from_octets oct1 oct2 oct3 (apply_mask oct4 One)
  71         | mask == TwentyFour = ipv4address_from_octets oct1 oct2 oct3 (min_octet)
  72         | mask == TwentyThree = ipv4address_from_octets oct1 oct2 (apply_mask oct3 Seven) (min_octet)
  73         | mask == TwentyTwo = ipv4address_from_octets oct1 oct2 (apply_mask oct3 Six) (min_octet)
  74         | mask == TwentyOne = ipv4address_from_octets oct1 oct2 (apply_mask oct3 Five) (min_octet)
  75         | mask == Twenty = ipv4address_from_octets oct1 oct2 (apply_mask oct3 Four) (min_octet)
  76         | mask == Nineteen = ipv4address_from_octets oct1 oct2 (apply_mask oct3 Three) (min_octet)
  77         | mask == Eighteen = ipv4address_from_octets oct1 oct2 (apply_mask oct3 Two) (min_octet)
  78         | mask == Seventeen = ipv4address_from_octets oct1 oct2 (apply_mask oct3 One) (min_octet)
  79         | mask == Sixteen = ipv4address_from_octets oct1 oct2 (min_octet) (min_octet)
  80         | mask == Fifteen = ipv4address_from_octets oct1 (apply_mask oct2 Seven) (min_octet) (min_octet)
  81         | mask == Fourteen = ipv4address_from_octets oct1 (apply_mask oct2 Six) (min_octet) (min_octet)
  82         | mask == Thirteen = ipv4address_from_octets oct1 (apply_mask oct2 Five) (min_octet) (min_octet)
  83         | mask == Twelve = ipv4address_from_octets oct1 (apply_mask oct2 Four) (min_octet) (min_octet)
  84         | mask == Eleven = ipv4address_from_octets oct1 (apply_mask oct2 Three) (min_octet) (min_octet)
  85         | mask == Ten = ipv4address_from_octets oct1 (apply_mask oct2 Two) (min_octet) (min_octet)
  86         | mask == Nine = ipv4address_from_octets oct1 (apply_mask oct2 One) (min_octet) (min_octet)
  87         | mask == Eight = ipv4address_from_octets oct1 (min_octet) (min_octet) (min_octet)
  88         | mask == Seven = ipv4address_from_octets (apply_mask oct1 Seven) (min_octet) (min_octet) (min_octet)
  89         | mask == Six = ipv4address_from_octets (apply_mask oct1 Six) (min_octet) (min_octet) (min_octet)
  90         | mask == Five = ipv4address_from_octets (apply_mask oct1 Five) (min_octet) (min_octet) (min_octet)
  91         | mask == Four =  ipv4address_from_octets (apply_mask oct1 Four) (min_octet) (min_octet) (min_octet)
  92         | mask == Three = ipv4address_from_octets (apply_mask oct1 Three) (min_octet) (min_octet) (min_octet)
  93         | mask == Two = ipv4address_from_octets (apply_mask oct1 Two) (min_octet) (min_octet) (min_octet)
  94         | mask == One = ipv4address_from_octets (apply_mask oct1 One) (min_octet) (min_octet) (min_octet)
  95         | mask == Zero = ipv4address_from_octets (min_octet) (min_octet) (min_octet) (min_octet)
  96         | otherwise = IPv4Address.None
  97         where
  98           oct1 = (octet1 addr)
  99           oct2 = (octet2 addr)
 100           oct3 = (octet3 addr)
 101           oct4 = (octet4 addr)
 102
 103
 104 -- We don't export our constructor so this function is the only
 105 -- way to construct an address from octets. As a result, we can
 106 -- return IPv4Address.None in response to being passed one of more
 107 -- Octet.None octets.
 108 ipv4address_from_octets :: Octet -> Octet -> Octet -> Octet -> IPv4Address
 109 ipv4address_from_octets oct1 oct2 oct3 oct4
 110     | or [oct1 == Octet.None,
 111           oct2 == Octet.None,
 112           oct3 == Octet.None,
 113           oct4 == Octet.None] = IPv4Address.None
 114     | otherwise = IPv4Address oct1 oct2 oct3 oct4
 115
 116
 117 min_address :: IPv4Address -> Maskbits -> IPv4Address
 118 min_address IPv4Address.None _ = IPv4Address.None
 119 min_address _ Maskbits.None = IPv4Address.None
 120 min_address addr mask
 121     | mask == ThirtyTwo = IPv4Address oct1 oct2 oct3 oct4
 122     | mask == ThirtyOne = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 a30 a31 B.Zero)
 123     | mask == Thirty = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 a30 B.Zero B.Zero)
 124     | mask == TwentyNine = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 B.Zero B.Zero B.Zero)
 125     | mask == TwentyEight = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 B.Zero B.Zero B.Zero B.Zero)
 126     | mask == TwentySeven = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 B.Zero B.Zero B.Zero B.Zero B.Zero)
 127     | mask == TwentySix = IPv4Address oct1 oct2 oct3 (Octet a25 a26 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero)
 128     | mask == TwentyFive = IPv4Address oct1 oct2 oct3 (Octet a25 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero)
 129     | mask == TwentyFour = IPv4Address oct1 oct2 oct3 (min_octet)
 130     | mask == TwentyThree = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 a22 a23 B.Zero) (min_octet)
 131     | mask == TwentyTwo = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 a22 B.Zero B.Zero) (min_octet)
 132     | mask == TwentyOne = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 B.Zero B.Zero B.Zero) (min_octet)
 133     | mask == Twenty = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 B.Zero B.Zero B.Zero B.Zero) (min_octet)
 134     | mask == Nineteen = IPv4Address oct1 oct2 (Octet a17 a18 a19 B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet)
 135     | mask == Eighteen = IPv4Address oct1 oct2 (Octet a17 a18 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet)
 136     | mask == Seventeen = IPv4Address oct1 oct2 (Octet a17 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet)
 137     | mask == Sixteen = IPv4Address oct1 oct2 (min_octet) (min_octet)
 138     | mask == Fifteen = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 a14 a15 B.Zero) (min_octet) (min_octet)
 139     | mask == Fourteen = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 a14 B.Zero B.Zero) (min_octet) (min_octet)
 140     | mask == Thirteen = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 B.Zero B.Zero B.Zero) (min_octet) (min_octet)
 141     | mask == Twelve = IPv4Address oct1 (Octet a9 a10 a11 a12 B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet)
 142     | mask == Eleven = IPv4Address oct1 (Octet a9 a10 a11 B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet)
 143     | mask == Ten = IPv4Address oct1 (Octet a9 a10 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet)
 144     | mask == Nine = IPv4Address oct1 (Octet a9 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet)
 145     | mask == Eight = IPv4Address oct1 (min_octet) (min_octet) (min_octet)
 146     | mask == Seven = IPv4Address (Octet a1 a2 a3 a4 a5 a6 a7 B.Zero) (min_octet) (min_octet) (min_octet)
 147     | mask == Six = IPv4Address (Octet a1 a2 a3 a4 a5 a6 B.Zero B.Zero) (min_octet) (min_octet) (min_octet)
 148     | mask == Five = IPv4Address (Octet a1 a2 a3 a4 a5 B.Zero B.Zero B.Zero) (min_octet) (min_octet) (min_octet)
 149     | mask == Four = IPv4Address (Octet a1 a2 a3 a4 B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet) (min_octet)
 150     | mask == Three = IPv4Address (Octet a1 a2 a3 B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet) (min_octet)
 151     | mask == Two = IPv4Address (Octet a1 a2 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet) (min_octet)
 152     | mask == One = IPv4Address (Octet a1 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet) (min_octet)
 153     | mask == Zero = IPv4Address (min_octet) (min_octet) (min_octet) (min_octet)
 154     | otherwise = addr
 155     where
 156       a1  = (b1 oct1)
 157       a2  = (b2 oct1)
 158       a3  = (b3 oct1)
 159       a4  = (b4 oct1)
 160       a5  = (b5 oct1)
 161       a6  = (b6 oct1)
 162       a7  = (b7 oct1)
 163       a9  = (b1 oct2)
 164       a10 = (b2 oct2)
 165       a11 = (b3 oct2)
 166       a12 = (b4 oct2)
 167       a13 = (b5 oct2)
 168       a14 = (b6 oct2)
 169       a15 = (b7 oct2)
 170       a17 = (b1 oct3)
 171       a18 = (b2 oct3)
 172       a19 = (b3 oct3)
 173       a20 = (b4 oct3)
 174       a21 = (b5 oct3)
 175       a22 = (b6 oct3)
 176       a23 = (b7 oct3)
 177       a25 = (b1 oct4)
 178       a26 = (b2 oct4)
 179       a27 = (b3 oct4)
 180       a28 = (b4 oct4)
 181       a29 = (b5 oct4)
 182       a30 = (b6 oct4)
 183       a31 = (b7 oct4)
 184       oct1 = (octet1 addr)
 185       oct2 = (octet2 addr)
 186       oct3 = (octet3 addr)
 187       oct4 = (octet4 addr)
 188
 189
 190
 191 max_address :: IPv4Address -> Maskbits -> IPv4Address
 192 max_address IPv4Address.None _ = IPv4Address.None
 193 max_address _ Maskbits.None = IPv4Address.None
 194 max_address addr mask
 195     | mask == ThirtyTwo = IPv4Address oct1 oct2 oct3 oct4
 196     | mask == ThirtyOne = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 a30 a31 B.One)
 197     | mask == Thirty = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 a30 B.One B.One)
 198     | mask == TwentyNine = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 B.One B.One B.One)
 199     | mask == TwentyEight = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 B.One B.One B.One B.One)
 200     | mask == TwentySeven = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 B.One B.One B.One B.One B.One)
 201     | mask == TwentySix = IPv4Address oct1 oct2 oct3 (Octet a25 a26 B.One B.One B.One B.One B.One B.One)
 202     | mask == TwentyFive = IPv4Address oct1 oct2 oct3 (Octet a25 B.One B.One B.One B.One B.One B.One B.One)
 203     | mask == TwentyFour = IPv4Address oct1 oct2 oct3 (max_octet)
 204     | mask == TwentyThree = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 a22 a23 B.One) (max_octet)
 205     | mask == TwentyTwo = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 a22 B.One B.One) (max_octet)
 206     | mask == TwentyOne = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 B.One B.One B.One) (max_octet)
 207     | mask == Twenty = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 B.One B.One B.One B.One) (max_octet)
 208     | mask == Nineteen = IPv4Address oct1 oct2 (Octet a17 a18 a19 B.One B.One B.One B.One B.One) (max_octet)
 209     | mask == Eighteen = IPv4Address oct1 oct2 (Octet a17 a18 B.One B.One B.One B.One B.One B.One) (max_octet)
 210     | mask == Seventeen = IPv4Address oct1 oct2 (Octet a17 B.One B.One B.One B.One B.One B.One B.One) (max_octet)
 211     | mask == Sixteen = IPv4Address oct1 oct2 (max_octet) (max_octet)
 212     | mask == Fifteen = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 a14 a15 B.One) (max_octet) (max_octet)
 213     | mask == Fourteen = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 a14 B.One B.One) (max_octet) (max_octet)
 214     | mask == Thirteen = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 B.One B.One B.One) (max_octet) (max_octet)
 215     | mask == Twelve = IPv4Address oct1 (Octet a9 a10 a11 a12 B.One B.One B.One B.One) (max_octet) (max_octet)
 216     | mask == Eleven = IPv4Address oct1 (Octet a9 a10 a11 B.One B.One B.One B.One B.One) (max_octet) (max_octet)
 217     | mask == Ten = IPv4Address oct1 (Octet a9 a10 B.One B.One B.One B.One B.One B.One) (max_octet) (max_octet)
 218     | mask == Nine = IPv4Address oct1 (Octet a9 B.One B.One B.One B.One B.One B.One B.One) (max_octet) (max_octet)
 219     | mask == Eight = IPv4Address oct1 (max_octet) (max_octet) (max_octet)
 220     | mask == Seven = IPv4Address (Octet a1 a2 a3 a4 a5 a6 a7 B.One) (max_octet) (max_octet) (max_octet)
 221     | mask == Six = IPv4Address (Octet a1 a2 a3 a4 a5 a6 B.One B.One) (max_octet) (max_octet) (max_octet)
 222     | mask == Five = IPv4Address (Octet a1 a2 a3 a4 a5 B.One B.One B.One) (max_octet) (max_octet) (max_octet)
 223     | mask == Four = IPv4Address (Octet a1 a2 a3 a4 B.One B.One B.One B.One) (max_octet) (max_octet) (max_octet)
 224     | mask == Three = IPv4Address (Octet a1 a2 a3 B.One B.One B.One B.One B.One) (max_octet) (max_octet) (max_octet)
 225     | mask == Two = IPv4Address (Octet a1 a2 B.One B.One B.One B.One B.One B.One) (max_octet) (max_octet) (max_octet)
 226     | mask == One = IPv4Address (Octet a1 B.One B.One B.One B.One B.One B.One B.One) (max_octet) (max_octet) (max_octet)
 227     | mask == Zero = IPv4Address (max_octet) (max_octet) (max_octet) (max_octet)
 228     | otherwise = addr
 229     where
 230       a1  = (b1 oct1)
 231       a2  = (b2 oct1)
 232       a3  = (b3 oct1)
 233       a4  = (b4 oct1)
 234       a5  = (b5 oct1)
 235       a6  = (b6 oct1)
 236       a7  = (b7 oct1)
 237       a9  = (b1 oct2)
 238       a10 = (b2 oct2)
 239       a11 = (b3 oct2)
 240       a12 = (b4 oct2)
 241       a13 = (b5 oct2)
 242       a14 = (b6 oct2)
 243       a15 = (b7 oct2)
 244       a17 = (b1 oct3)
 245       a18 = (b2 oct3)
 246       a19 = (b3 oct3)
 247       a20 = (b4 oct3)
 248       a21 = (b5 oct3)
 249       a22 = (b6 oct3)
 250       a23 = (b7 oct3)
 251       a25 = (b1 oct4)
 252       a26 = (b2 oct4)
 253       a27 = (b3 oct4)
 254       a28 = (b4 oct4)
 255       a29 = (b5 oct4)
 256       a30 = (b6 oct4)
 257       a31 = (b7 oct4)
 258       oct1 = (octet1 addr)
 259       oct2 = (octet2 addr)
 260       oct3 = (octet3 addr)
 261       oct4 = (octet4 addr)
 262
 263
 264
 265 min_octet1 :: IPv4Address -> Maskbits -> Octet
 266 min_octet1 addr mask = octet1 (min_address addr mask)
 267
 268 min_octet2 :: IPv4Address -> Maskbits -> Octet
 269 min_octet2 addr mask = octet2 (min_address addr mask)
 270
 271 min_octet3 :: IPv4Address -> Maskbits -> Octet
 272 min_octet3 addr mask = octet3 (min_address addr mask)
 273
 274 min_octet4 :: IPv4Address -> Maskbits -> Octet
 275 min_octet4 addr mask = octet4 (min_address addr mask)
 276
 277 max_octet1 :: IPv4Address -> Maskbits -> Octet
 278 max_octet1 addr mask = octet1 (max_address addr mask)
 279
 280 max_octet2 :: IPv4Address -> Maskbits -> Octet
 281 max_octet2 addr mask = octet2 (max_address addr mask)
 282
 283 max_octet3 :: IPv4Address -> Maskbits -> Octet
 284 max_octet3 addr mask = octet3 (max_address addr mask)
 285
 286 max_octet4 :: IPv4Address -> Maskbits -> Octet
 287 max_octet4 addr mask = octet4 (max_address addr mask)
 288
 289
 290 -- Given two addresses, find the number of the most significant bit
 291 -- where they differ. If the addresses are the same, return
 292 -- Maskbits.Zero.
 293 most_sig_bit_different :: IPv4Address -> IPv4Address -> Maskbits
 294 most_sig_bit_different addr1 addr2
 295   | addr1 == addr2 = Maskbits.Zero
 296   | m1  /= n1  = Maskbits.One
 297   | m2  /= n2  = Two
 298   | m3  /= n3  = Three
 299   | m4  /= n4  = Four
 300   | m5  /= n5  = Five
 301   | m6  /= n6  = Six
 302   | m7  /= n7  = Seven
 303   | m8  /= n8  = Eight
 304   | m9  /= n9  = Nine
 305   | m10 /= n10 = Ten
 306   | m11 /= n11 = Eleven
 307   | m12 /= n12 = Twelve
 308   | m13 /= n13 = Thirteen
 309   | m14 /= n14 = Fourteen
 310   | m15 /= n15 = Fifteen
 311   | m16 /= n16 = Sixteen
 312   | m17 /= n17 = Seventeen
 313   | m18 /= n18 = Eighteen
 314   | m19 /= n19 = Nineteen
 315   | m20 /= n20 = Twenty
 316   | m21 /= n21 = TwentyOne
 317   | m22 /= n22 = TwentyTwo
 318   | m23 /= n23 = TwentyThree
 319   | m24 /= n24 = TwentyFour
 320   | m25 /= n25 = TwentyFive
 321   | m26 /= n26 = TwentySix
 322   | m27 /= n27 = TwentySeven
 323   | m28 /= n28 = TwentyEight
 324   | m29 /= n29 = TwentyNine
 325   | m30 /= n30 = Thirty
 326   | m31 /= n31 = ThirtyOne
 327   | m32 /= n32 = ThirtyTwo
 328   | otherwise  = Maskbits.Zero
 329   where
 330     m1  = (b1 oct1a)
 331     m2  = (b2 oct1a)
 332     m3  = (b3 oct1a)
 333     m4  = (b4 oct1a)
 334     m5  = (b5 oct1a)
 335     m6  = (b6 oct1a)
 336     m7  = (b7 oct1a)
 337     m8  = (b8 oct1a)
 338     m9  = (b1 oct2a)
 339     m10 = (b2 oct2a)
 340     m11 = (b3 oct2a)
 341     m12 = (b4 oct2a)
 342     m13 = (b5 oct2a)
 343     m14 = (b6 oct2a)
 344     m15 = (b7 oct2a)
 345     m16 = (b8 oct2a)
 346     m17 = (b1 oct3a)
 347     m18 = (b2 oct3a)
 348     m19 = (b3 oct3a)
 349     m20 = (b4 oct3a)
 350     m21 = (b5 oct3a)
 351     m22 = (b6 oct3a)
 352     m23 = (b7 oct3a)
 353     m24 = (b8 oct3a)
 354     m25 = (b1 oct4a)
 355     m26 = (b2 oct4a)
 356     m27 = (b3 oct4a)
 357     m28 = (b4 oct4a)
 358     m29 = (b5 oct4a)
 359     m30 = (b6 oct4a)
 360     m31 = (b7 oct4a)
 361     m32 = (b8 oct4a)
 362     oct1a = (octet1 addr1)
 363     oct2a = (octet2 addr1)
 364     oct3a = (octet3 addr1)
 365     oct4a = (octet4 addr1)
 366     n1  = (b1 oct1b)
 367     n2  = (b2 oct1b)
 368     n3  = (b3 oct1b)
 369     n4  = (b4 oct1b)
 370     n5  = (b5 oct1b)
 371     n6  = (b6 oct1b)
 372     n7  = (b7 oct1b)
 373     n8  = (b8 oct1b)
 374     n9  = (b1 oct2b)
 375     n10 = (b2 oct2b)
 376     n11 = (b3 oct2b)
 377     n12 = (b4 oct2b)
 378     n13 = (b5 oct2b)
 379     n14 = (b6 oct2b)
 380     n15 = (b7 oct2b)
 381     n16 = (b8 oct2b)
 382     n17 = (b1 oct3b)
 383     n18 = (b2 oct3b)
 384     n19 = (b3 oct3b)
 385     n20 = (b4 oct3b)
 386     n21 = (b5 oct3b)
 387     n22 = (b6 oct3b)
 388     n23 = (b7 oct3b)
 389     n24 = (b8 oct3b)
 390     n25 = (b1 oct4b)
 391     n26 = (b2 oct4b)
 392     n27 = (b3 oct4b)
 393     n28 = (b4 oct4b)
 394     n29 = (b5 oct4b)
 395     n30 = (b6 oct4b)
 396     n31 = (b7 oct4b)
 397     n32 = (b8 oct4b)
 398     oct1b = (octet1 addr2)
 399     oct2b = (octet2 addr2)
 400     oct3b = (octet3 addr2)
 401     oct4b = (octet4 addr2)
 402
 403
 404
 405 -- HUnit Tests
 406 mk_testaddr :: Int -> Int -> Int -> Int -> IPv4Address
 407 mk_testaddr a b c d =
 408     IPv4Address oct1 oct2 oct3 oct4
 409     where
 410       oct1 = octet_from_int a
 411       oct2 = octet_from_int b
 412       oct3 = octet_from_int c
 413       oct4 = octet_from_int d
 414
 415
 416 test_most_sig_bit_different1 :: Test
 417 test_most_sig_bit_different1 =
 418     TestCase $ assertEqual "10.1.1.0 and 10.1.0.0 differ in bit 24" TwentyFour (most_sig_bit_different (mk_testaddr 10 1 1 0) (mk_testaddr 10 1 0 0))
 419
 420
 421 test_most_sig_bit_different2 :: Test
 422 test_most_sig_bit_different2 =
 423     TestCase $ assertEqual "10.1.2.0 and 10.1.1.0 differ in bit 23" TwentyThree (most_sig_bit_different (mk_testaddr 10 1 2 0) (mk_testaddr 10 1 1 0))
 424
 425
 426 ipv4address_tests :: [Test]
 427 ipv4address_tests = [ test_most_sig_bit_different1,
 428                       test_most_sig_bit_different2 ]