2 ( ipv4address_from_octets,
12 most_sig_bit_different,
20 import qualified Bit as B
24 data IPv4Address = None | IPv4Address { octet1 :: Octet,
31 instance Show IPv4Address where
32 show IPv4Address.None = "None"
33 show addr = concat [(show oct1) ++ ".",
44 -- We don't export our constructor so this function is the only
45 -- way to construct an address from octets. As a result, we can
46 -- return IPv4Address.None in response to being passed one of more
48 ipv4address_from_octets :: Octet -> Octet -> Octet -> Octet -> IPv4Address
49 ipv4address_from_octets oct1 oct2 oct3 oct4
50 | or [oct1 == Octet.None,
53 oct4 == Octet.None] = IPv4Address.None
54 | otherwise = IPv4Address oct1 oct2 oct3 oct4
57 min_address :: IPv4Address -> Maskbits -> IPv4Address
58 min_address IPv4Address.None _ = IPv4Address.None
59 min_address _ Maskbits.None = IPv4Address.None
61 | mask == ThirtyTwo = IPv4Address oct1 oct2 oct3 oct4
62 | mask == ThirtyOne = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 a30 a31 B.Zero)
63 | mask == Thirty = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 a30 B.Zero B.Zero)
64 | mask == TwentyNine = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 B.Zero B.Zero B.Zero)
65 | mask == TwentyEight = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 B.Zero B.Zero B.Zero B.Zero)
66 | mask == TwentySeven = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 B.Zero B.Zero B.Zero B.Zero B.Zero)
67 | mask == TwentySix = IPv4Address oct1 oct2 oct3 (Octet a25 a26 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero)
68 | mask == TwentyFive = IPv4Address oct1 oct2 oct3 (Octet a25 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero)
69 | mask == TwentyFour = IPv4Address oct1 oct2 oct3 (min_octet)
70 | mask == TwentyThree = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 a22 a23 B.Zero) (min_octet)
71 | mask == TwentyTwo = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 a22 B.Zero B.Zero) (min_octet)
72 | mask == TwentyOne = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 B.Zero B.Zero B.Zero) (min_octet)
73 | mask == Twenty = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 B.Zero B.Zero B.Zero B.Zero) (min_octet)
74 | mask == Nineteen = IPv4Address oct1 oct2 (Octet a17 a18 a19 B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet)
75 | mask == Eighteen = IPv4Address oct1 oct2 (Octet a17 a18 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet)
76 | mask == Seventeen = IPv4Address oct1 oct2 (Octet a17 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet)
77 | mask == Sixteen = IPv4Address oct1 oct2 (min_octet) (min_octet)
78 | mask == Fifteen = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 a14 a15 B.Zero) (min_octet) (min_octet)
79 | mask == Fourteen = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 a14 B.Zero B.Zero) (min_octet) (min_octet)
80 | mask == Thirteen = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 B.Zero B.Zero B.Zero) (min_octet) (min_octet)
81 | mask == Twelve = IPv4Address oct1 (Octet a9 a10 a11 a12 B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet)
82 | mask == Eleven = IPv4Address oct1 (Octet a9 a10 a11 B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet)
83 | mask == Ten = IPv4Address oct1 (Octet a9 a10 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet)
84 | mask == Nine = IPv4Address oct1 (Octet a9 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet)
85 | mask == Eight = IPv4Address oct1 (min_octet) (min_octet) (min_octet)
86 | mask == Seven = IPv4Address (Octet a1 a2 a3 a4 a5 a6 a7 B.Zero) (min_octet) (min_octet) (min_octet)
87 | mask == Six = IPv4Address (Octet a1 a2 a3 a4 a5 a6 B.Zero B.Zero) (min_octet) (min_octet) (min_octet)
88 | mask == Five = IPv4Address (Octet a1 a2 a3 a4 a5 B.Zero B.Zero B.Zero) (min_octet) (min_octet) (min_octet)
89 | mask == Four = IPv4Address (Octet a1 a2 a3 a4 B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet) (min_octet)
90 | mask == Three = IPv4Address (Octet a1 a2 a3 B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet) (min_octet)
91 | mask == Two = IPv4Address (Octet a1 a2 B.Zero B.Zero B.Zero B.Zero B.Zero B.Zero) (min_octet) (min_octet) (min_octet)
92 | 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)
93 | mask == Zero = IPv4Address (min_octet) (min_octet) (min_octet) (min_octet)
131 max_address :: IPv4Address -> Maskbits -> IPv4Address
132 max_address IPv4Address.None _ = IPv4Address.None
133 max_address _ Maskbits.None = IPv4Address.None
134 max_address addr mask
135 | mask == ThirtyTwo = IPv4Address oct1 oct2 oct3 oct4
136 | mask == ThirtyOne = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 a30 a31 B.One)
137 | mask == Thirty = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 a30 B.One B.One)
138 | mask == TwentyNine = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 B.One B.One B.One)
139 | mask == TwentyEight = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 B.One B.One B.One B.One)
140 | mask == TwentySeven = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 B.One B.One B.One B.One B.One)
141 | mask == TwentySix = IPv4Address oct1 oct2 oct3 (Octet a25 a26 B.One B.One B.One B.One B.One B.One)
142 | mask == TwentyFive = IPv4Address oct1 oct2 oct3 (Octet a25 B.One B.One B.One B.One B.One B.One B.One)
143 | mask == TwentyFour = IPv4Address oct1 oct2 oct3 (max_octet)
144 | mask == TwentyThree = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 a22 a23 B.One) (max_octet)
145 | mask == TwentyTwo = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 a22 B.One B.One) (max_octet)
146 | mask == TwentyOne = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 B.One B.One B.One) (max_octet)
147 | mask == Twenty = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 B.One B.One B.One B.One) (max_octet)
148 | mask == Nineteen = IPv4Address oct1 oct2 (Octet a17 a18 a19 B.One B.One B.One B.One B.One) (max_octet)
149 | mask == Eighteen = IPv4Address oct1 oct2 (Octet a17 a18 B.One B.One B.One B.One B.One B.One) (max_octet)
150 | mask == Seventeen = IPv4Address oct1 oct2 (Octet a17 B.One B.One B.One B.One B.One B.One B.One) (max_octet)
151 | mask == Sixteen = IPv4Address oct1 oct2 (max_octet) (max_octet)
152 | mask == Fifteen = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 a14 a15 B.One) (max_octet) (max_octet)
153 | mask == Fourteen = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 a14 B.One B.One) (max_octet) (max_octet)
154 | mask == Thirteen = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 B.One B.One B.One) (max_octet) (max_octet)
155 | mask == Twelve = IPv4Address oct1 (Octet a9 a10 a11 a12 B.One B.One B.One B.One) (max_octet) (max_octet)
156 | mask == Eleven = IPv4Address oct1 (Octet a9 a10 a11 B.One B.One B.One B.One B.One) (max_octet) (max_octet)
157 | mask == Ten = IPv4Address oct1 (Octet a9 a10 B.One B.One B.One B.One B.One B.One) (max_octet) (max_octet)
158 | mask == Nine = IPv4Address oct1 (Octet a9 B.One B.One B.One B.One B.One B.One B.One) (max_octet) (max_octet)
159 | mask == Eight = IPv4Address oct1 (max_octet) (max_octet) (max_octet)
160 | mask == Seven = IPv4Address (Octet a1 a2 a3 a4 a5 a6 a7 B.One) (max_octet) (max_octet) (max_octet)
161 | mask == Six = IPv4Address (Octet a1 a2 a3 a4 a5 a6 B.One B.One) (max_octet) (max_octet) (max_octet)
162 | mask == Five = IPv4Address (Octet a1 a2 a3 a4 a5 B.One B.One B.One) (max_octet) (max_octet) (max_octet)
163 | mask == Four = IPv4Address (Octet a1 a2 a3 a4 B.One B.One B.One B.One) (max_octet) (max_octet) (max_octet)
164 | mask == Three = IPv4Address (Octet a1 a2 a3 B.One B.One B.One B.One B.One) (max_octet) (max_octet) (max_octet)
165 | mask == Two = IPv4Address (Octet a1 a2 B.One B.One B.One B.One B.One B.One) (max_octet) (max_octet) (max_octet)
166 | 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)
167 | mask == Zero = IPv4Address (max_octet) (max_octet) (max_octet) (max_octet)
205 min_octet1 :: IPv4Address -> Maskbits -> Octet
206 min_octet1 addr mask = octet1 (min_address addr mask)
208 min_octet2 :: IPv4Address -> Maskbits -> Octet
209 min_octet2 addr mask = octet2 (min_address addr mask)
211 min_octet3 :: IPv4Address -> Maskbits -> Octet
212 min_octet3 addr mask = octet3 (min_address addr mask)
214 min_octet4 :: IPv4Address -> Maskbits -> Octet
215 min_octet4 addr mask = octet4 (min_address addr mask)
217 max_octet1 :: IPv4Address -> Maskbits -> Octet
218 max_octet1 addr mask = octet1 (max_address addr mask)
220 max_octet2 :: IPv4Address -> Maskbits -> Octet
221 max_octet2 addr mask = octet2 (max_address addr mask)
223 max_octet3 :: IPv4Address -> Maskbits -> Octet
224 max_octet3 addr mask = octet3 (max_address addr mask)
226 max_octet4 :: IPv4Address -> Maskbits -> Octet
227 max_octet4 addr mask = octet4 (max_address addr mask)
230 -- Given two addresses, find the number of the most significant bit
231 -- where they differ. If the addresses are the same, return
233 most_sig_bit_different :: IPv4Address -> IPv4Address -> Maskbits
234 most_sig_bit_different addr1 addr2
235 | addr1 == addr2 = Maskbits.Zero
236 | m1 /= n1 = Maskbits.One
246 | m11 /= n11 = Eleven
247 | m12 /= n12 = Twelve
248 | m13 /= n13 = Thirteen
249 | m14 /= n14 = Fourteen
250 | m15 /= n15 = Fifteen
251 | m16 /= n16 = Sixteen
252 | m17 /= n17 = Seventeen
253 | m18 /= n18 = Eighteen
254 | m19 /= n19 = Nineteen
255 | m20 /= n20 = Twenty
256 | m21 /= n21 = TwentyOne
257 | m22 /= n22 = TwentyTwo
258 | m23 /= n23 = TwentyThree
259 | m24 /= n24 = TwentyFour
260 | m25 /= n25 = TwentyFive
261 | m26 /= n26 = TwentySix
262 | m27 /= n27 = TwentySeven
263 | m28 /= n28 = TwentyEight
264 | m29 /= n29 = TwentyNine
265 | m30 /= n30 = Thirty
266 | m31 /= n31 = ThirtyOne
267 | m32 /= n32 = ThirtyTwo
268 | otherwise = Maskbits.Zero
302 oct1a = (octet1 addr1)
303 oct2a = (octet2 addr1)
304 oct3a = (octet3 addr1)
305 oct4a = (octet4 addr1)
338 oct1b = (octet1 addr2)
339 oct2b = (octet2 addr2)
340 oct3b = (octet3 addr2)
341 oct4b = (octet4 addr2)