module Test.QuickCheck.DynamicLogic.Utils where

import Test.QuickCheck
import Test.QuickCheck.Property

withSize :: Testable prop => (Int -> prop) -> Property
withSize :: forall prop. Testable prop => (Int -> prop) -> Property
withSize Int -> prop
f = Gen Prop -> Property
MkProperty forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a. (Int -> Gen a) -> Gen a
sized forall a b. (a -> b) -> a -> b
$ Property -> Gen Prop
unProperty forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall prop. Testable prop => prop -> Property
property forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int -> prop
f