2 ( ipv4address_from_octets,
21 data IPv4Address = None | IPv4Address { octet1 :: Octet,
28 -- We don't export our constructor so this function is the only
29 -- way to construct an address from octets. As a result, we can
30 -- return IPv4Address.None in response to being passed one of more
32 ipv4address_from_octets :: Octet -> Octet -> Octet -> Octet -> IPv4Address
33 ipv4address_from_octets oct1 oct2 oct3 oct4
34 | or [oct1 == Octet.None,
37 oct4 == Octet.None] = IPv4Address.None
38 | otherwise = IPv4Address oct1 oct2 oct3 oct4
41 min_address :: IPv4Address -> Maskbits -> IPv4Address
43 | mask == 32 = IPv4Address oct1 oct2 oct3 oct4
44 | mask == 31 = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 a30 a31 Zero)
45 | mask == 30 = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 a30 Zero Zero)
46 | mask == 29 = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 a29 Zero Zero Zero)
47 | mask == 28 = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 a28 Zero Zero Zero Zero)
48 | mask == 27 = IPv4Address oct1 oct2 oct3 (Octet a25 a26 a27 Zero Zero Zero Zero Zero)
49 | mask == 26 = IPv4Address oct1 oct2 oct3 (Octet a25 a26 Zero Zero Zero Zero Zero Zero)
50 | mask == 25 = IPv4Address oct1 oct2 oct3 (Octet a25 Zero Zero Zero Zero Zero Zero Zero)
51 | mask == 24 = IPv4Address oct1 oct2 oct3 (min_octet)
52 | mask == 23 = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 a22 a23 Zero) (min_octet)
53 | mask == 22 = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 a22 Zero Zero) (min_octet)
54 | mask == 21 = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 a21 Zero Zero Zero) (min_octet)
55 | mask == 20 = IPv4Address oct1 oct2 (Octet a17 a18 a19 a20 Zero Zero Zero Zero) (min_octet)
56 | mask == 19 = IPv4Address oct1 oct2 (Octet a17 a18 a19 Zero Zero Zero Zero Zero) (min_octet)
57 | mask == 18 = IPv4Address oct1 oct2 (Octet a17 a18 Zero Zero Zero Zero Zero Zero) (min_octet)
58 | mask == 17 = IPv4Address oct1 oct2 (Octet a17 Zero Zero Zero Zero Zero Zero Zero) (min_octet)
59 | mask == 16 = IPv4Address oct1 oct2 (min_octet) (min_octet)
60 | mask == 15 = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 a14 a15 Zero) (min_octet) (min_octet)
61 | mask == 14 = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 a14 Zero Zero) (min_octet) (min_octet)
62 | mask == 13 = IPv4Address oct1 (Octet a9 a10 a11 a12 a13 Zero Zero Zero) (min_octet) (min_octet)
63 | mask == 12 = IPv4Address oct1 (Octet a9 a10 a11 a12 Zero Zero Zero Zero) (min_octet) (min_octet)
64 | mask == 11 = IPv4Address oct1 (Octet a9 a10 a11 Zero Zero Zero Zero Zero) (min_octet) (min_octet)
65 | mask == 10 = IPv4Address oct1 (Octet a9 a10 Zero Zero Zero Zero Zero Zero) (min_octet) (min_octet)
66 | mask == 9 = IPv4Address oct1 (Octet a9 Zero Zero Zero Zero Zero Zero Zero) (min_octet) (min_octet)
67 | mask == 8 = IPv4Address oct1 (min_octet) (min_octet) (min_octet)
68 | mask == 7 = IPv4Address (Octet a1 a2 a3 a4 a5 a6 a7 Zero) (min_octet) (min_octet) (min_octet)
69 | mask == 6 = IPv4Address (Octet a1 a2 a3 a4 a5 a6 Zero Zero) (min_octet) (min_octet) (min_octet)
70 | mask == 5 = IPv4Address (Octet a1 a2 a3 a4 a5 Zero Zero Zero) (min_octet) (min_octet) (min_octet)
71 | mask == 4 = IPv4Address (Octet a1 a2 a3 a4 Zero Zero Zero Zero) (min_octet) (min_octet) (min_octet)
72 | mask == 3 = IPv4Address (Octet a1 a2 a3 Zero Zero Zero Zero Zero) (min_octet) (min_octet) (min_octet)
73 | mask == 2 = IPv4Address (Octet a1 a2 Zero Zero Zero Zero Zero Zero) (min_octet) (min_octet) (min_octet)
74 | mask == 1 = IPv4Address (Octet a1 Zero Zero Zero Zero Zero Zero Zero) (min_octet) (min_octet) (min_octet)
75 | mask == 0 = IPv4Address (min_octet) (min_octet) (min_octet) (min_octet)
113 max_address :: IPv4Address -> Maskbits -> IPv4Address
114 max_address addr 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)
185 min_octet1 :: IPv4Address -> Maskbits -> Octet
186 min_octet1 addr mask = octet1 (min_address addr mask)
188 min_octet2 :: IPv4Address -> Maskbits -> Octet
189 min_octet2 addr mask = octet2 (min_address addr mask)
191 min_octet3 :: IPv4Address -> Maskbits -> Octet
192 min_octet3 addr mask = octet3 (min_address addr mask)
194 min_octet4 :: IPv4Address -> Maskbits -> Octet
195 min_octet4 addr mask = octet4 (min_address addr mask)
197 max_octet1 :: IPv4Address -> Maskbits -> Octet
198 max_octet1 addr mask = octet1 (max_address addr mask)
200 max_octet2 :: IPv4Address -> Maskbits -> Octet
201 max_octet2 addr mask = octet2 (max_address addr mask)
203 max_octet3 :: IPv4Address -> Maskbits -> Octet
204 max_octet3 addr mask = octet3 (max_address addr mask)
206 max_octet4 :: IPv4Address -> Maskbits -> Octet
207 max_octet4 addr mask = octet4 (max_address addr mask)