| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Validity.Cereal
Description
- serializeSpecOnValid :: forall a. (Show a, Eq a, Typeable a, GenValid a, Serialize a) => Spec
- serializeSpec :: forall a. (Show a, Eq a, Typeable a, GenUnchecked a, Serialize a) => Spec
- serializeSpecOnArbitrary :: forall a. (Show a, Eq a, Typeable a, Arbitrary a, Serialize a) => Spec
- serializeSpecOnGen :: forall a. (Show a, Eq a, Typeable a, Serialize a) => Gen a -> String -> (a -> [a]) -> Spec
- neverFailsToEncodeOnGen :: (Show a, Serialize a) => Gen a -> (a -> [a]) -> Property
- encodeAndDecodeAreInversesOnGen :: (Show a, Eq a, Serialize a) => Gen a -> (a -> [a]) -> Property
Documentation
serializeSpecOnValid :: forall a. (Show a, Eq a, Typeable a, GenValid a, Serialize a) => Spec #
Standard test spec for properties of Serialize-related functions for valid values
Example usage:
serializeSpecOnValid @Double
serializeSpec :: forall a. (Show a, Eq a, Typeable a, GenUnchecked a, Serialize a) => Spec #
Standard test spec for properties of Serialize-related functions for unchecked values
Example usage:
serializeSpec @Int
serializeSpecOnArbitrary :: forall a. (Show a, Eq a, Typeable a, Arbitrary a, Serialize a) => Spec #
Standard test spec for properties of Serialize-related functions for arbitrary values
Example usage:
serializeSpecOnArbitrary @Int
serializeSpecOnGen :: forall a. (Show a, Eq a, Typeable a, Serialize a) => Gen a -> String -> (a -> [a]) -> Spec #
Standard test spec for properties of Serialize-related functions for a given generator (and a name for that generator).
Example usage:
serializeSpecOnGen (genListOf $ pure 'a') "sequence of 'a's"
neverFailsToEncodeOnGen :: (Show a, Serialize a) => Gen a -> (a -> [a]) -> Property #
neverFailsToEncodeOnGen @Bool arbitrary shrink
neverFailsToEncodeOnGen @Bool genUnchecked shrinkUnchecked
neverFailsToEncodeOnGen @Bool genValid shrinkValid
neverFailsToEncodeOnGen @Int arbitrary shrink
neverFailsToEncodeOnGen @Int genUnchecked shrinkUnchecked
neverFailsToEncodeOnGen @Int genValid shrinkValid
encodeAndDecodeAreInversesOnGen :: (Show a, Eq a, Serialize a) => Gen a -> (a -> [a]) -> Property #
encodeAndDecodeAreInversesOnGen @Bool arbitrary shrink
encodeAndDecodeAreInversesOnGen @Bool genUnchecked shrinkUnchecked
encodeAndDecodeAreInversesOnGen @Bool genValid shrinkValid
encodeAndDecodeAreInversesOnGen @Int arbitrary shrink
encodeAndDecodeAreInversesOnGen @Int genUnchecked shrinkUnchecked
encodeAndDecodeAreInversesOnGen @Int genValid shrinkValid