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