{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Test.Syd.Validity.GenValidity
( genValiditySpec
, genValidSpec
, genInvalidSpec
, genValidGeneratesValid
, genGeneratesValid
, genInvalidGeneratesInvalid
, genGeneratesInvalid
) where
import Data.Data
import Data.GenValidity
import Test.Syd
import Test.QuickCheck
import Test.Syd.Validity.GenValidity.Property
import Test.Syd.Validity.Utils
genValiditySpec ::
forall a. (Typeable a, Show a, GenValid a, GenInvalid a)
=> Spec
genValiditySpec :: Spec
genValiditySpec = do
(Typeable a, Show a, GenValid a) => Spec
forall a. (Typeable a, Show a, GenValid a) => Spec
genValidSpec @a
(Typeable a, Show a, GenInvalid a) => Spec
forall a. (Typeable a, Show a, GenInvalid a) => Spec
genInvalidSpec @a
genValidSpec ::
forall a. (Typeable a, Show a, GenValid a)
=> Spec
genValidSpec :: Spec
genValidSpec =
Spec -> Spec
forall (a :: [*]) b c. TestDefM a b c -> TestDefM a b c
parallel (Spec -> Spec) -> Spec -> Spec
forall a b. (a -> b) -> a -> b
$ do
let name :: String
name = Typeable a => String
forall k (a :: k). Typeable a => String
nameOf @a
String -> Spec -> Spec
forall (outers :: [*]) inner.
String -> TestDefM outers inner () -> TestDefM outers inner ()
describe (String
"GenValid " String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
name) (Spec -> Spec) -> Spec -> Spec
forall a b. (a -> b) -> a -> b
$
String -> Spec -> Spec
forall (outers :: [*]) inner.
String -> TestDefM outers inner () -> TestDefM outers inner ()
describe (String
"genValid :: Gen " String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
name) (Spec -> Spec) -> Spec -> Spec
forall a b. (a -> b) -> a -> b
$
String -> Property -> Spec
forall (outers :: [*]) inner test.
(HasCallStack, IsTest test, Arg1 test ~ (), Arg2 test ~ inner) =>
String -> test -> TestDefM outers inner ()
it (String
"only generates valid \'" String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
name String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
"\'s") (Property -> Spec) -> Property -> Spec
forall a b. (a -> b) -> a -> b
$
(Show a, GenValid a) => Property
forall a. (Show a, GenValid a) => Property
genValidGeneratesValid @a
genInvalidSpec ::
forall a. (Typeable a, Show a, GenInvalid a)
=> Spec
genInvalidSpec :: Spec
genInvalidSpec =
Spec -> Spec
forall (a :: [*]) b c. TestDefM a b c -> TestDefM a b c
parallel (Spec -> Spec) -> Spec -> Spec
forall a b. (a -> b) -> a -> b
$ do
let name :: String
name = Typeable a => String
forall k (a :: k). Typeable a => String
nameOf @a
String -> Spec -> Spec
forall (outers :: [*]) inner.
String -> TestDefM outers inner () -> TestDefM outers inner ()
describe (String
"GenInvalid " String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
name) (Spec -> Spec) -> Spec -> Spec
forall a b. (a -> b) -> a -> b
$
String -> Spec -> Spec
forall (outers :: [*]) inner.
String -> TestDefM outers inner () -> TestDefM outers inner ()
describe (String
"genInvalid :: Gen " String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
name) (Spec -> Spec) -> Spec -> Spec
forall a b. (a -> b) -> a -> b
$
String -> Property -> Spec
forall (outers :: [*]) inner test.
(HasCallStack, IsTest test, Arg1 test ~ (), Arg2 test ~ inner) =>
String -> test -> TestDefM outers inner ()
it (String
"only generates invalid \'" String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
name String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
"\'s") (Property -> Spec) -> Property -> Spec
forall a b. (a -> b) -> a -> b
$
(Show a, GenInvalid a) => Property
forall a. (Show a, GenInvalid a) => Property
genInvalidGeneratesInvalid @a
genValidGeneratesValid ::
forall a. (Show a, GenValid a)
=> Property
genValidGeneratesValid :: Property
genValidGeneratesValid = Gen a -> Property
forall a. (Show a, Validity a) => Gen a -> Property
genGeneratesValid @a Gen a
forall a. GenValid a => Gen a
genValid
genInvalidGeneratesInvalid ::
forall a. (Show a, GenInvalid a)
=> Property
genInvalidGeneratesInvalid :: Property
genInvalidGeneratesInvalid = Gen a -> Property
forall a. (Show a, Validity a) => Gen a -> Property
genGeneratesInvalid @a Gen a
forall a. GenInvalid a => Gen a
genInvalid