registry-0.2.0.0: test/Test/Data/Registry/Internal/Gens.hs

{-# LANGUAGE DataKinds             #-}
{-# LANGUAGE PartialTypeSignatures #-}

{-# OPTIONS_GHC -fno-warn-missing-monadfail-instances #-}
{-# OPTIONS_GHC -fno-warn-missing-signatures #-}
{-# OPTIONS_GHC -fno-warn-partial-type-signatures #-}

module Test.Data.Registry.Internal.Gens where

import           Data.Registry
import           Hedgehog
import           Protolude
import           Test.Data.Registry.Internal.GensRegistry

-- Hedgehog generators for the internal types
registry = normalize gensRegistry

forall :: forall a . _ => PropertyT IO a
forall = forAll $ gen @a

gen :: forall a . _ => Gen a
gen = make registry