{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}

-- | Tests for GenValidity instances
module Test.Syd.Validity.GenValidity.Property
  ( genGeneratesValid,
    genGeneratesInvalid,
  )
where

import Data.GenValidity
import Test.QuickCheck
import Test.Syd.Validity.Property.Utils

-- | The given generator generates only valid data points
genGeneratesValid ::
  forall a.
  (Show a, Validity a) =>
  Gen a ->
  Property
genGeneratesValid gen = forAll gen shouldBeValid

-- | The given generator generates only invalid data points
genGeneratesInvalid ::
  forall a.
  (Show a, Validity a) =>
  Gen a ->
  Property
genGeneratesInvalid gen = forAll gen shouldBeInvalid