Safe Haskell | None |
---|---|
Language | Haskell2010 |
- binarySpecOnValid :: forall a. (Show a, Eq a, Typeable a, GenValid a, Binary a) => Spec
- binarySpec :: forall a. (Show a, Eq a, Typeable a, GenUnchecked a, Binary a) => Spec
- binarySpecOnArbitrary :: forall a. (Show a, Eq a, Typeable a, Arbitrary a, Binary a) => Spec
- binarySpecOnGen :: forall a. (Show a, Eq a, Typeable a, Binary a) => Gen a -> String -> Spec
- neverFailsToEncodeOnGen :: (Show a, Binary a) => Gen a -> Property
- encodeAndDecodeAreInversesOnGen :: (Show a, Eq a, Binary a) => Gen a -> Property
Documentation
binarySpecOnValid :: forall a. (Show a, Eq a, Typeable a, GenValid a, Binary a) => Spec Source #
Standard test spec for properties of Binary
-related functions for valid values
Example usage:
BinarySpecOnValid @Double
binarySpec :: forall a. (Show a, Eq a, Typeable a, GenUnchecked a, Binary a) => Spec Source #
Standard test spec for properties of Binary
-related functions for unchecked values
Example usage:
binarySpec @Int
binarySpecOnArbitrary :: forall a. (Show a, Eq a, Typeable a, Arbitrary a, Binary a) => Spec Source #
Standard test spec for properties of Binary
-related functions for arbitrary values
Example usage:
binarySpecOnArbitrary @Int
binarySpecOnGen :: forall a. (Show a, Eq a, Typeable a, Binary a) => Gen a -> String -> Spec Source #
Standard test spec for properties of Binary
-related functions for a given generator (and a name for that generator).
Example usage:
binarySpecOnGen (genListOf $ pure 'a') "sequence of 'a's"
neverFailsToEncodeOnGen :: (Show a, Binary a) => Gen a -> Property Source #
neverFailsToEncodeOnGen @Bool arbitrary
neverFailsToEncodeOnGen @Bool genUnchecked
neverFailsToEncodeOnGen @Bool genValid
neverFailsToEncodeOnGen @Int arbitrary
neverFailsToEncodeOnGen @Int genUnchecked
neverFailsToEncodeOnGen @Int genValid
encodeAndDecodeAreInversesOnGen :: (Show a, Eq a, Binary a) => Gen a -> Property Source #
encodeAndDecodeAreInversesOnGen @Bool arbitrary
encodeAndDecodeAreInversesOnGen @Bool genUnchecked
encodeAndDecodeAreInversesOnGen @Bool genValid
encodeAndDecodeAreInversesOnGen @Int arbitrary
encodeAndDecodeAreInversesOnGen @Int genUnchecked
encodeAndDecodeAreInversesOnGen @Int genValid