Test.Aeson.Internal.ADT.GoldenSpecs

Documentation

goldenADTSpecs :: forall a. (ToADTArbitrary a, Eq a, Show a, Arbitrary a, ToJSON a, FromJSON a) => Int -> Proxy a -> Spec

for a type a, create a set of golden files if they do not exist, compare with golden file if it exists. Golden file encodes json format of a type

goldenADTSpecsWithNote :: forall a. (ToADTArbitrary a, Eq a, Show a, Arbitrary a, ToJSON a, FromJSON a) => Int -> Proxy a -> Maybe String -> Spec

testConstructor :: forall a. (Eq a, Show a, FromJSON a, ToJSON a, ToADTArbitrary a) => Int -> String -> ConstructorArbitraryPair a -> SpecWith (Arg (IO ()))

compareWithGolden :: forall a. (Show a, Eq a, FromJSON a, ToJSON a, ToADTArbitrary a) => String -> ConstructorArbitraryPair a -> FilePath -> IO ()

createGoldenFile :: forall a. (ToJSON a, ToADTArbitrary a) => Int -> ConstructorArbitraryPair a -> FilePath -> IO ()

mkGoldenFilePath :: forall a. String -> ConstructorArbitraryPair a -> FilePath

mkFaultyFilePath :: forall a. String -> ConstructorArbitraryPair a -> FilePath

mkRandomADTSamplesForConstructor :: forall a. ToADTArbitrary a => Int -> Proxy a -> String -> Int -> IO (RandomSamples a)