Arbitrary Value (Aeson)

Aeson.hs

instance Arbitrary Aeson.Value where
  arbitrary = sized sizedArbitraryValue

sizedArbitraryValue :: Int -> Gen Aeson.Value
sizedArbitraryValue n
  | n <= 0 = oneof [pure Aeson.Null, bool, number, string]
  | otherwise = resize n' $ oneof [pure Aeson.Null, bool, number, string, array, object']
  where
    n' = n `div` 2
    bool = Aeson.Bool <$> arbitrary
    number = (Aeson.Number . fromRational . toRational :: Double -> Aeson.Value) <$> arbitrary
    string = (Aeson.String . T.pack) <$> arbitrary
    array = (Aeson.Array . V.fromList) <$> arbitrary
    object' = (Aeson.Object . HM.fromList . map (first T.pack)) <$> arbitrary