úÎ$ÁNoneTf%Standard test spec for properties of #-related functions for valid valuesExample usage: BinarySpecOnValid @Double%Standard test spec for properties of '-related functions for unchecked valuesExample usage: binarySpec @Int%Standard test spec for properties of '-related functions for arbitrary valuesExample usage: binarySpecOnArbitrary @Int%Standard test spec for properties of I-related functions for a given generator (and a name for that generator).Example usage: 9binarySpecOnGen (genListOf $ pure 'a') "sequence of 'a's"'neverFailsToEncodeOnGen @Bool arbitrary*neverFailsToEncodeOnGen @Bool genUnchecked&neverFailsToEncodeOnGen @Bool genValid&neverFailsToEncodeOnGen @Int arbitrary)neverFailsToEncodeOnGen @Int genUnchecked%neverFailsToEncodeOnGen @Int genValid/encodeAndDecodeAreInversesOnGen @Bool arbitrary2encodeAndDecodeAreInversesOnGen @Bool genUnchecked.encodeAndDecodeAreInversesOnGen @Bool genValid.encodeAndDecodeAreInversesOnGen @Int arbitrary1encodeAndDecodeAreInversesOnGen @Int genUnchecked-encodeAndDecodeAreInversesOnGen @Int genValid  6genvalidity-hspec-binary-0.0.0.0-Jl4B5hSst1OW4MFVOJPYJTest.Validity.BinarybinarySpecOnValid binarySpecbinarySpecOnArbitrarybinarySpecOnGenneverFailsToEncodeOnGenencodeAndDecodeAreInversesOnGenbinary-0.8.3.0Data.Binary.ClassBinary