diff options
Diffstat (limited to 'Property.hs')
| -rw-r--r-- | Property.hs | 4 |
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 |