src/IPv4Address.hs

   1 module IPv4Address
   2 ( ipv4address_from_octets,
   3   IPv4Address(None),
   4   max_octet1,
   5   max_octet2,
   6   max_octet3,
   7   max_octet4,
   8   min_octet1,
   9   min_octet2,
  10   min_octet3,
  11   min_octet4
  12 )
  13   where
  14
  15 import Bit
  16 import Maskbits
  17 import Octet
  18
  19 data IPv4Address = None | IPv4Address { octet1 :: Octet,
  20                                         octet2 :: Octet,
  21                                         octet3 :: Octet,
  22                                         octet4 :: Octet }
  23                  deriving (Eq, Show)
  24
  25
  26 -- We don't export our constructor so this function is the only
  27 -- way to construct an address from octets. As a result, we can
  28 -- return IPv4Address.None in response to being passed one of more
  29 -- Octet.None octets.
  30 ipv4address_from_octets :: Octet -> Octet -> Octet -> Octet -> IPv4Address
  31 ipv4address_from_octets oct1 oct2 oct3 oct4
  32     | or [oct1 == Octet.None,
  33           oct2 == Octet.None,
  34           oct3 == Octet.None,
  35           oct4 == Octet.None] = IPv4Address.None
  36     | otherwise = IPv4Address oct1 oct2 oct3 oct4
  37
  38
  39 min_address :: IPv4Address -> Maskbits -> IPv4Address
  40 min_address _ Maskbits.None = IPv4Address.None
  41 min_address addr (Maskbits mask)
  42     | mask == 32 = IPv4Address oct1 oct2 oct3 oct4
  43     | mask == 31 = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 a30 a31 Zero)
  44     | mask == 30 = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 a30 Zero Zero)
  45     | mask == 29 = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 Zero Zero Zero)
  46     | mask == 28 = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 Zero Zero Zero Zero)
  47     | mask == 27 = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 Zero Zero Zero Zero Zero)
  48     | mask == 26 = IPv4Address oct1 oct2 oct3 (Octet a25 a26 Zero Zero Zero Zero Zero Zero)
  49     | mask == 25 = IPv4Address oct1 oct2 oct3 (Octet a25 Zero Zero Zero Zero Zero Zero Zero)
  50     | mask == 24 = IPv4Address oct1 oct2 oct3 (min_octet)
  51     | mask == 23 = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 a22 a23 Zero) (min_octet)
  52     | mask == 22 = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 a22 Zero Zero) (min_octet)
  53     | mask == 21 = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 Zero Zero Zero) (min_octet)
  54     | mask == 20 = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 Zero Zero Zero Zero) (min_octet)
  55     | mask == 19 = IPv4Address oct1 oct2 (Octet a17 a18 a19 Zero Zero Zero Zero Zero) (min_octet)
  56     | mask == 18 = IPv4Address oct1 oct2 (Octet a17 a18 Zero Zero Zero Zero Zero Zero) (min_octet)
  57     | mask == 17 = IPv4Address oct1 oct2 (Octet a17 Zero Zero Zero Zero Zero Zero Zero) (min_octet)
  58     | mask == 16 = IPv4Address oct1 oct2 (min_octet) (min_octet)
  59     | mask == 15 = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 a14 a15 Zero) (min_octet) (min_octet)
  60     | mask == 14 = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 a14 Zero Zero) (min_octet) (min_octet)
  61     | mask == 13 = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 Zero Zero Zero) (min_octet) (min_octet)
  62     | mask == 12 = IPv4Address oct1 (Octet a9 a10 a11 a12 Zero Zero Zero Zero) (min_octet) (min_octet)
  63     | mask == 11 = IPv4Address oct1 (Octet a9 a10 a11 Zero Zero Zero Zero Zero) (min_octet) (min_octet)
  64     | mask == 10 = IPv4Address oct1 (Octet a9 a10 Zero Zero Zero Zero Zero Zero) (min_octet) (min_octet)
  65     | mask == 9 = IPv4Address oct1 (Octet a9 Zero Zero Zero Zero Zero Zero Zero) (min_octet) (min_octet)
  66     | mask == 8 = IPv4Address oct1 (min_octet) (min_octet) (min_octet)
  67     | mask == 7 = IPv4Address (Octet a1 a2 a3 a4 a5 a6 a7 Zero) (min_octet) (min_octet) (min_octet)
  68     | mask == 6 = IPv4Address (Octet a1 a2 a3 a4 a5 a6 Zero Zero) (min_octet) (min_octet) (min_octet)
  69     | mask == 5 = IPv4Address (Octet a1 a2 a3 a4 a5 Zero Zero Zero) (min_octet) (min_octet) (min_octet)
  70     | mask == 4 = IPv4Address (Octet a1 a2 a3 a4 Zero Zero Zero Zero) (min_octet) (min_octet) (min_octet)
  71     | mask == 3 = IPv4Address (Octet a1 a2 a3 Zero Zero Zero Zero Zero) (min_octet) (min_octet) (min_octet)
  72     | mask == 2 = IPv4Address (Octet a1 a2 Zero Zero Zero Zero Zero Zero) (min_octet) (min_octet) (min_octet)
  73     | mask == 1 = IPv4Address (Octet a1 Zero Zero Zero Zero Zero Zero Zero) (min_octet) (min_octet) (min_octet)
  74     | mask == 0 = IPv4Address (min_octet) (min_octet) (min_octet) (min_octet)
  75     | otherwise = addr
  76     where
  77       a1  = (b1 oct1)
  78       a2  = (b2 oct1)
  79       a3  = (b3 oct1)
  80       a4  = (b4 oct1)
  81       a5  = (b5 oct1)
  82       a6  = (b6 oct1)
  83       a7  = (b7 oct1)
  84       a9  = (b1 oct2)
  85       a10 = (b2 oct2)
  86       a11 = (b3 oct2)
  87       a12 = (b4 oct2)
  88       a13 = (b5 oct2)
  89       a14 = (b6 oct2)
  90       a15 = (b7 oct2)
  91       a17 = (b1 oct3)
  92       a18 = (b2 oct3)
  93       a19 = (b3 oct3)
  94       a20 = (b4 oct3)
  95       a21 = (b5 oct3)
  96       a22 = (b6 oct3)
  97       a23 = (b7 oct3)
  98       a25 = (b1 oct4)
  99       a26 = (b2 oct4)
 100       a27 = (b3 oct4)
 101       a28 = (b4 oct4)
 102       a29 = (b5 oct4)
 103       a30 = (b6 oct4)
 104       a31 = (b7 oct4)
 105       oct1 = (octet1 addr)
 106       oct2 = (octet2 addr)
 107       oct3 = (octet3 addr)
 108       oct4 = (octet4 addr)
 109
 110
 111
 112 max_address :: IPv4Address -> Maskbits -> IPv4Address
 113 max_address _ Maskbits.None = IPv4Address.None
 114 max_address addr (Maskbits mask)
 115     | mask == 32 = IPv4Address oct1 oct2 oct3 oct4
 116     | mask == 31 = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 a30 a31 One)
 117     | mask == 30 = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 a30 One One)
 118     | mask == 29 = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 One One One)
 119     | mask == 28 = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 One One One One)
 120     | mask == 27 = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 One One One One One)
 121     | mask == 26 = IPv4Address oct1 oct2 oct3 (Octet a25 a26 One One One One One One)
 122     | mask == 25 = IPv4Address oct1 oct2 oct3 (Octet a25 One One One One One One One)
 123     | mask == 24 = IPv4Address oct1 oct2 oct3 (max_octet)
 124     | mask == 23 = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 a22 a23 One) (max_octet)
 125     | mask == 22 = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 a22 One One) (max_octet)
 126     | mask == 21 = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 One One One) (max_octet)
 127     | mask == 20 = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 One One One One) (max_octet)
 128     | mask == 19 = IPv4Address oct1 oct2 (Octet a17 a18 a19 One One One One One) (max_octet)
 129     | mask == 18 = IPv4Address oct1 oct2 (Octet a17 a18 One One One One One One) (max_octet)
 130     | mask == 17 = IPv4Address oct1 oct2 (Octet a17 One One One One One One One) (max_octet)
 131     | mask == 16 = IPv4Address oct1 oct2 (max_octet) (max_octet)
 132     | mask == 15 = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 a14 a15 One) (max_octet) (max_octet)
 133     | mask == 14 = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 a14 One One) (max_octet) (max_octet)
 134     | mask == 13 = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 One One One) (max_octet) (max_octet)
 135     | mask == 12 = IPv4Address oct1 (Octet a9 a10 a11 a12 One One One One) (max_octet) (max_octet)
 136     | mask == 11 = IPv4Address oct1 (Octet a9 a10 a11 One One One One One) (max_octet) (max_octet)
 137     | mask == 10 = IPv4Address oct1 (Octet a9 a10 One One One One One One) (max_octet) (max_octet)
 138     | mask == 9 = IPv4Address oct1 (Octet a9 One One One One One One One) (max_octet) (max_octet)
 139     | mask == 8 = IPv4Address oct1 (max_octet) (max_octet) (max_octet)
 140     | mask == 7 = IPv4Address (Octet a1 a2 a3 a4 a5 a6 a7 One) (max_octet) (max_octet) (max_octet)
 141     | mask == 6 = IPv4Address (Octet a1 a2 a3 a4 a5 a6 One One) (max_octet) (max_octet) (max_octet)
 142     | mask == 5 = IPv4Address (Octet a1 a2 a3 a4 a5 One One One) (max_octet) (max_octet) (max_octet)
 143     | mask == 4 = IPv4Address (Octet a1 a2 a3 a4 One One One One) (max_octet) (max_octet) (max_octet)
 144     | mask == 3 = IPv4Address (Octet a1 a2 a3 One One One One One) (max_octet) (max_octet) (max_octet)
 145     | mask == 2 = IPv4Address (Octet a1 a2 One One One One One One) (max_octet) (max_octet) (max_octet)
 146     | mask == 1 = IPv4Address (Octet a1 One One One One One One One) (max_octet) (max_octet) (max_octet)
 147     | mask == 0 = IPv4Address (max_octet) (max_octet) (max_octet) (max_octet)
 148     | otherwise = addr
 149     where
 150       a1  = (b1 oct1)
 151       a2  = (b2 oct1)
 152       a3  = (b3 oct1)
 153       a4  = (b4 oct1)
 154       a5  = (b5 oct1)
 155       a6  = (b6 oct1)
 156       a7  = (b7 oct1)
 157       a9  = (b1 oct2)
 158       a10 = (b2 oct2)
 159       a11 = (b3 oct2)
 160       a12 = (b4 oct2)
 161       a13 = (b5 oct2)
 162       a14 = (b6 oct2)
 163       a15 = (b7 oct2)
 164       a17 = (b1 oct3)
 165       a18 = (b2 oct3)
 166       a19 = (b3 oct3)
 167       a20 = (b4 oct3)
 168       a21 = (b5 oct3)
 169       a22 = (b6 oct3)
 170       a23 = (b7 oct3)
 171       a25 = (b1 oct4)
 172       a26 = (b2 oct4)
 173       a27 = (b3 oct4)
 174       a28 = (b4 oct4)
 175       a29 = (b5 oct4)
 176       a30 = (b6 oct4)
 177       a31 = (b7 oct4)
 178       oct1 = (octet1 addr)
 179       oct2 = (octet2 addr)
 180       oct3 = (octet3 addr)
 181       oct4 = (octet4 addr)
 182
 183
 184
 185 min_octet1 :: IPv4Address -> Maskbits -> Octet
 186 min_octet1 addr mask = octet1 (min_address addr mask)
 187
 188 min_octet2 :: IPv4Address -> Maskbits -> Octet
 189 min_octet2 addr mask = octet2 (min_address addr mask)
 190
 191 min_octet3 :: IPv4Address -> Maskbits -> Octet
 192 min_octet3 addr mask = octet3 (min_address addr mask)
 193
 194 min_octet4 :: IPv4Address -> Maskbits -> Octet
 195 min_octet4 addr mask = octet4 (min_address addr mask)
 196
 197 max_octet1 :: IPv4Address -> Maskbits -> Octet
 198 max_octet1 addr mask = octet1 (max_address addr mask)
 199
 200 max_octet2 :: IPv4Address -> Maskbits -> Octet
 201 max_octet2 addr mask = octet2 (max_address addr mask)
 202
 203 max_octet3 :: IPv4Address -> Maskbits -> Octet
 204 max_octet3 addr mask = octet3 (max_address addr mask)
 205
 206 max_octet4 :: IPv4Address -> Maskbits -> Octet
 207 max_octet4 addr mask = octet4 (max_address addr mask)