( Cidr(..),
cidr_from_string,
cidr_tests,
- combine_all
+ combine_all,
+ prop_all_cidrs_contain_themselves
) where
import Data.List (nubBy)
test_combine_contained1,
test_combine_contained2
]
+
+
+-- QuickCheck Tests
+prop_all_cidrs_contain_themselves :: Cidr -> Bool
+prop_all_cidrs_contain_themselves cidr1 = cidr1 `contains` cidr1
+