{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Test.Validity.GenValidity.Property
( genGeneratesValid
, genGeneratesInvalid
) where
import Data.GenValidity
import Test.QuickCheck
import Test.Validity.Property.Utils
genGeneratesValid ::
forall a. (Show a, Validity a)
=> Gen a
-> Property
genGeneratesValid gen = forAll gen shouldBeValid
genGeneratesInvalid ::
forall a. (Show a, Validity a)
=> Gen a
-> Property
genGeneratesInvalid gen = forAll gen shouldBeInvalid