+ 1 * (bit_to_int (b8 x))
+
+
+
+octet_from_int :: Int -> Octet
+octet_from_int x
+ | (x < 0) || (x > 255) = Octet.None
+ | otherwise = (Octet a1 a2 a3 a4 a5 a6 a7 a8)
+ where
+ a1 = if (x >= 128) then One else Zero
+ a2 = if ((x `mod` 128) >= 64) then One else Zero
+ a3 = if ((x `mod` 64) >= 32) then One else Zero
+ a4 = if ((x `mod` 32) >= 16) then One else Zero
+ a5 = if ((x `mod` 16) >= 8) then One else Zero
+ a6 = if ((x `mod` 8) >= 4) then One else Zero
+ a7 = if ((x `mod` 4) >= 2) then One else Zero
+ a8 = if ((x `mod` 2) == 1) then One else Zero
+
+
+octet_from_string :: String -> Octet
+octet_from_string s =
+ case (reads s :: [(Int, String)]) of
+ [] -> Octet.None
+ x:_ -> octet_from_int (fst x)