genvalidity-hspec-binary-0.2.0.3: test/Test/Validity/BinarySpec.hs

{-# LANGUAGE TypeApplications #-}

module Test.Validity.BinarySpec where

import Test.Hspec

import Data.GenValidity
import Test.Validity.Binary

spec :: Spec
spec = do
    binarySpecOnGen (genListOf $ pure 'a') "sequence of 'a's" (const [])
    -- binarySpec @Double DOES NOT HOLD
    binarySpecOnValid @Rational
    binarySpec @Int
    binarySpecOnArbitrary @Int