+tests = [ -- Asctime
+ property ( Asctime.fromAscii "Sun Nov 6 08:49:37 1994"
+ ≡ Right referenceLocalTime )
+
+ , property ( "Sun Nov 6 08:49:37 1994"
+ ≡ Asctime.toAscii referenceLocalTime )
+
+ , property $ \lt → Right lt ≡ Asctime.fromAscii (Asctime.toAscii lt)
+
+ -- RFC733
+ , property ( RFC733.fromAscii "Sunday, 06-Nov-94 08:49:37 GMT"
+ ≡ Right referenceZonedTime )
+
+ , property ( "Sunday, 06-Nov-1994 08:49:37 GMT"
+ ≡ RFC733.toAscii referenceZonedTime )
+
+ , property $ \zt → Right zt ≡ RFC733.fromAscii (RFC733.toAscii zt)
+
+ -- RFC1123
+ , property ( RFC1123.fromAscii "Sun, 06 Nov 1994 08:49:37 GMT"
+ ≡ Right referenceZonedTime )
+
+ , property ( "Sun, 06 Nov 1994 08:49:37 GMT"
+ ≡ RFC1123.toAscii referenceZonedTime )
+
+ , property $ \zt → Right zt ≡ RFC1123.fromAscii (RFC1123.toAscii zt)