registry-hedgehog-aeson 0.3.1.1 → 0.3.1.2
raw patch · 1 files changed
+2/−2 lines, 1 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Data.Registry.Hedgehog.AesonGenerators: decrementDepth :: Registry _ _ -> Registry _ _
+ Data.Registry.Hedgehog.AesonGenerators: decrementDepth :: forall {w1 :: [Type]} {w2 :: [Type]}. Registry w1 w2 -> Registry w1 w2
- Data.Registry.Hedgehog.AesonGenerators: gen :: forall a b. (ApplyVariadic Gen a b, Typeable a, Typeable b) => a -> Typed b
+ Data.Registry.Hedgehog.AesonGenerators: gen :: (ApplyVariadic Gen a b, Typeable a, Typeable b) => a -> Typed b
- Data.Registry.Hedgehog.AesonGenerators: genValueFor :: Registry _ _ -> Gen Value
+ Data.Registry.Hedgehog.AesonGenerators: genValueFor :: forall {w1 :: [Type]} {w2 :: [Type]}. Registry w2 w1 -> Gen Value
- Data.Registry.Hedgehog.AesonGenerators: genValueWith :: (Registry _ _ -> Registry _ _) -> Gen Value
+ Data.Registry.Hedgehog.AesonGenerators: genValueWith :: forall {w1 :: [Type]} {w2 :: [Type]}. (Registry (GenT Identity (Tag "Simple" Value) ': (GenT Identity (Tag "Null" Value) ': (GenT Identity (Tag "Bool" Value) ': (GenT Identity (Tag "Number" Value) ': (GenT Identity (Tag "String" Value) ': (GenT Identity (Range Integer) ': (GenT Identity Text ': (Inputs (GenT Identity Text -> GenT Identity FieldName) :++ '[GenT Identity (Range Int)])))))))) '[GenT Identity Value, GenT Identity (Tag "Simple" Value), GenT Identity (Tag "Number" Value), GenT Identity (Tag "String" Value), Output (GenT Identity Text -> GenT Identity FieldName), GenT Identity Text, GenT Identity (Tag "Bool" Value), GenT Identity (Tag "Null" Value), GenT Identity (Range Int), GenT Identity (Range Integer), Depth] -> Registry w1 w2) -> Gen Value
- Data.Registry.Hedgehog.AesonGenerators: listOf :: forall a. Int -> Int -> Gen a -> Gen [a]
+ Data.Registry.Hedgehog.AesonGenerators: listOf :: Int -> Int -> Gen a -> Gen [a]
- Data.Registry.Hedgehog.AesonGenerators: recursiveGens :: Registry _ _ -> Registry _ _
+ Data.Registry.Hedgehog.AesonGenerators: recursiveGens :: forall {w1 :: [Type]} {w2 :: [Type]}. Registry w2 w1 -> Registry (FindUnique (GenT Identity (Tag "Array" Value)) ((Inputs (GenT Identity Text -> GenT Identity FieldName) :++ '[GenT Identity (Range Int)]) :++ w2) :++ (FindUnique (GenT Identity (Tag "Object" Value)) ((Inputs (GenT Identity Text -> GenT Identity FieldName) :++ '[GenT Identity (Range Int)]) :++ w2) :++ (FindUnique (GenT Identity [FieldName]) ((Inputs (GenT Identity Text -> GenT Identity FieldName) :++ '[GenT Identity (Range Int)]) :++ w2) :++ (FindUnique (GenT Identity [Tag "Recurse" Value]) ((Inputs (GenT Identity Text -> GenT Identity FieldName) :++ '[GenT Identity (Range Int)]) :++ w2) :++ (FindUnique (GenT Identity FieldName) ((Inputs (GenT Identity Text -> GenT Identity FieldName) :++ '[GenT Identity (Range Int)]) :++ w2) :++ (FindUnique (GenT Identity (Tag "Recurse" Value)) ((Inputs (GenT Identity Text -> GenT Identity FieldName) :++ '[GenT Identity (Range Int)]) :++ w2) :++ (FindUnique (GenT Identity (Tag "Simple" Value)) ((Inputs (GenT Identity Text -> GenT Identity FieldName) :++ '[GenT Identity (Range Int)]) :++ w2) :++ (FindUnique (GenT Identity (Tag "Null" Value)) ((Inputs (GenT Identity Text -> GenT Identity FieldName) :++ '[GenT Identity (Range Int)]) :++ w2) :++ (FindUnique (GenT Identity (Tag "Bool" Value)) ((Inputs (GenT Identity Text -> GenT Identity FieldName) :++ '[GenT Identity (Range Int)]) :++ w2) :++ (FindUnique (GenT Identity (Tag "Number" Value)) ((Inputs (GenT Identity Text -> GenT Identity FieldName) :++ '[GenT Identity (Range Int)]) :++ w2) :++ (FindUnique (GenT Identity (Tag "String" Value)) ((Inputs (GenT Identity Text -> GenT Identity FieldName) :++ '[GenT Identity (Range Int)]) :++ w2) :++ (FindUnique (GenT Identity (Range Integer)) ((Inputs (GenT Identity Text -> GenT Identity FieldName) :++ '[GenT Identity (Range Int)]) :++ w2) :++ Normalized (GenT Identity Text ': ((Inputs (GenT Identity Text -> GenT Identity FieldName) :++ '[GenT Identity (Range Int)]) :++ w2)))))))))))))) (FindUnique (GenT Identity (Tag "Object" Value)) (Output (GenT Identity Text -> GenT Identity FieldName) ': (GenT Identity Text ': (GenT Identity (Tag "Bool" Value) ': (GenT Identity (Tag "Null" Value) ': (GenT Identity (Range Int) ': (GenT Identity (Range Integer) ': (Depth ': w1))))))) :++ (FindUnique (GenT Identity (Tag "Array" Value)) (Output (GenT Identity Text -> GenT Identity FieldName) ': (GenT Identity Text ': (GenT Identity (Tag "Bool" Value) ': (GenT Identity (Tag "Null" Value) ': (GenT Identity (Range Int) ': (GenT Identity (Range Integer) ': (Depth ': w1))))))) :++ (FindUnique (GenT Identity [FieldName]) (Output (GenT Identity Text -> GenT Identity FieldName) ': (GenT Identity Text ': (GenT Identity (Tag "Bool" Value) ': (GenT Identity (Tag "Null" Value) ': (GenT Identity (Range Int) ': (GenT Identity (Range Integer) ': (Depth ': w1))))))) :++ (FindUnique (GenT Identity [Tag "Recurse" Value]) (Output (GenT Identity Text -> GenT Identity FieldName) ': (GenT Identity Text ': (GenT Identity (Tag "Bool" Value) ': (GenT Identity (Tag "Null" Value) ': (GenT Identity (Range Int) ': (GenT Identity (Range Integer) ': (Depth ': w1))))))) :++ (FindUnique (GenT Identity (Tag "Recurse" Value)) (Output (GenT Identity Text -> GenT Identity FieldName) ': (GenT Identity Text ': (GenT Identity (Tag "Bool" Value) ': (GenT Identity (Tag "Null" Value) ': (GenT Identity (Range Int) ': (GenT Identity (Range Integer) ': (Depth ': w1))))))) :++ (FindUnique (GenT Identity Value) (Output (GenT Identity Text -> GenT Identity FieldName) ': (GenT Identity Text ': (GenT Identity (Tag "Bool" Value) ': (GenT Identity (Tag "Null" Value) ': (GenT Identity (Range Int) ': (GenT Identity (Range Integer) ': (Depth ': w1))))))) :++ (FindUnique (GenT Identity (Tag "Simple" Value)) (Output (GenT Identity Text -> GenT Identity FieldName) ': (GenT Identity Text ': (GenT Identity (Tag "Bool" Value) ': (GenT Identity (Tag "Null" Value) ': (GenT Identity (Range Int) ': (GenT Identity (Range Integer) ': (Depth ': w1))))))) :++ (FindUnique (GenT Identity (Tag "Number" Value)) (Output (GenT Identity Text -> GenT Identity FieldName) ': (GenT Identity Text ': (GenT Identity (Tag "Bool" Value) ': (GenT Identity (Tag "Null" Value) ': (GenT Identity (Range Int) ': (GenT Identity (Range Integer) ': (Depth ': w1))))))) :++ (FindUnique (GenT Identity (Tag "String" Value)) (Output (GenT Identity Text -> GenT Identity FieldName) ': (GenT Identity Text ': (GenT Identity (Tag "Bool" Value) ': (GenT Identity (Tag "Null" Value) ': (GenT Identity (Range Int) ': (GenT Identity (Range Integer) ': (Depth ': w1))))))) :++ (FindUnique (Output (GenT Identity Text -> GenT Identity FieldName)) (GenT Identity Text ': (GenT Identity (Tag "Bool" Value) ': (GenT Identity (Tag "Null" Value) ': (GenT Identity (Range Int) ': (GenT Identity (Range Integer) ': (Depth ': w1)))))) :++ (FindUnique (GenT Identity Text) w1 :++ (FindUnique (GenT Identity (Tag "Bool" Value)) w1 :++ (FindUnique (GenT Identity (Tag "Null" Value)) w1 :++ (FindUnique (GenT Identity (Range Int)) w1 :++ (FindUnique (GenT Identity (Range Integer)) w1 :++ Normalized (Depth ': w1))))))))))))))))
- Data.Registry.Hedgehog.AesonGenerators: setDepth :: Depth -> Registry _ _ -> Registry _ _
+ Data.Registry.Hedgehog.AesonGenerators: setDepth :: forall {ins :: [Type]} {out :: [Type]}. Depth -> Registry ins out -> Registry (Normalized ins) (Normalized (Depth ': out))
- Data.Registry.Hedgehog.AesonGenerators: setFieldNames :: Gen FieldName -> Registry _ _ -> Registry _ _
+ Data.Registry.Hedgehog.AesonGenerators: setFieldNames :: forall {w :: [Type]} {out :: [Type]}. Gen FieldName -> Registry w out -> Registry w (GenT Identity FieldName ': out)
- Data.Registry.Hedgehog.AesonGenerators: setFieldsNb :: Int -> Registry _ _ -> Registry _ _
+ Data.Registry.Hedgehog.AesonGenerators: setFieldsNb :: forall {ins :: [Type]} {out :: [Type]}. Int -> Registry ins out -> Registry (GenT Identity FieldName ': ins) (GenT Identity [FieldName] ': out)
- Data.Registry.Hedgehog.AesonGenerators: setGen :: Typeable a => Gen a -> Registry _ _ -> Registry _ _
+ Data.Registry.Hedgehog.AesonGenerators: setGen :: forall a {w :: [Type]} {out :: [Type]}. Typeable a => Gen a -> Registry w out -> Registry w (GenT Identity a ': out)
- Data.Registry.Hedgehog.AesonGenerators: setRange :: Typeable a => Range a -> Registry _ _ -> Registry _ _
+ Data.Registry.Hedgehog.AesonGenerators: setRange :: forall a {w :: [Type]} {out :: [Type]}. Typeable a => Range a -> Registry w out -> Registry w (Range a ': out)
- Data.Registry.Hedgehog.AesonGenerators: simpleGens :: Registry _ _
+ Data.Registry.Hedgehog.AesonGenerators: simpleGens :: Registry (GenT Identity (Tag "Simple" Value) ': (GenT Identity (Tag "Null" Value) ': (GenT Identity (Tag "Bool" Value) ': (GenT Identity (Tag "Number" Value) ': (GenT Identity (Tag "String" Value) ': (GenT Identity (Range Integer) ': (GenT Identity Text ': (Inputs (GenT Identity Text -> GenT Identity FieldName) :++ '[GenT Identity (Range Int)])))))))) '[GenT Identity Value, GenT Identity (Tag "Simple" Value), GenT Identity (Tag "Number" Value), GenT Identity (Tag "String" Value), Output (GenT Identity Text -> GenT Identity FieldName), GenT Identity Text, GenT Identity (Tag "Bool" Value), GenT Identity (Tag "Null" Value), GenT Identity (Range Int), GenT Identity (Range Integer), Depth]
Files
registry-hedgehog-aeson.cabal view
@@ -1,11 +1,11 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.35.2.+-- This file has been generated from package.yaml by hpack version 0.38.0. -- -- see: https://github.com/sol/hpack name: registry-hedgehog-aeson-version: 0.3.1.1+version: 0.3.1.2 synopsis: Hedgehog generators for Aeson description: This library provides generators for Aeson values which can be easily customized. category: Test