@@ -1,6 +1,7 @@
11{-# LANGUAGE DeriveDataTypeable, OverloadedStrings, NoImplicitPrelude
22 , DeriveGeneric, DeriveAnyClass, PatternGuards, FlexibleInstances
33 , MultiParamTypeClasses, StandaloneDeriving #-}
4+{-# OPTIONS_GHC -fconstraint-solver-iterations=10 #-}
45-- | This file is generated from the Wikipedia page
56-- <http://en.wikipedia.org/wiki/ISO_3166-1_alpha-2>
67module Data.CountryCodes.ISO31661 (
@@ -23,6 +24,8 @@ import Data.OpenApi
2324import GHC.Generics
2425import Prelude (Show,Read,Eq,Ord,Bounded,Enum,error,($),(++),Maybe(..),(.),fail,seq)
2526import Text.Shakespeare.I18N
27+import Test.QuickCheck.Arbitrary
28+import Test.QuickCheck.Arbitrary.Generic
2629
2730data CountryCode =
2831 AD
@@ -1605,3 +1608,7 @@ instance RenderMessage master CountryCode where
16051608-- | Allow the deep evaluation of CountryCode with `deepseq`
16061609instance NFData CountryCode where
16071610 rnf a = a `seq` ()
1611+
1612+instance Arbitrary CountryCode where
1613+ arbitrary = genericArbitrary
1614+ shrink = genericShrink