summaryrefslogtreecommitdiff
path: root/Property.hs
diff options
context:
space:
mode:
Diffstat (limited to 'Property.hs')
-rw-r--r--Property.hs4
1 files changed, 4 insertions, 0 deletions
diff --git a/Property.hs b/Property.hs
index 77a1f502..95a225c9 100644
--- a/Property.hs
+++ b/Property.hs
@@ -89,6 +89,10 @@ x `requires` y = combineProperties [y, x] `describe` propertyDesc x
describe :: Property -> Desc -> Property
describe p d = p { propertyDesc = d }
+(==>) :: Desc -> Property -> Property
+(==>) = flip describe
+infixl 1 ==>
+
{- Makes a Property only be performed when a test succeeds. -}
check :: IO Bool -> Property -> Property
check c property = Property (propertyDesc property) $ ifM c