module Data.GenValidity.Aeson where
#if !MIN_VERSION_base(4,8,0)
import Data.Functor ((<$>))
#endif
import Data.GenValidity
import Data.GenValidity.HashMap ()
import Data.GenValidity.Text ()
import Data.GenValidity.Vector ()
import Data.GenValidity.Scientific ()
import Data.Validity.Aeson ()
import Data.Aeson
import Test.QuickCheck
instance GenUnchecked Value where
genUnchecked =
oneof
[ Object <$> genUnchecked
, Array <$> genUnchecked
, String <$> genUnchecked
, Number <$> genUnchecked
, Bool <$> genUnchecked
, pure Null
]
instance GenValid Value where
genValid =
oneof
[ Object <$> genValid
, Array <$> genValid
, String <$> genValid
, Number <$> genValid
, Bool <$> genValid
, pure Null
]
instance GenInvalid Value where
genInvalid =
oneof
[Object <$> genInvalid, Array <$> genInvalid, String <$> genInvalid]