packages feed

genvalidity-hspec-cereal-0.2.0.3: test/Test/Validity/CerealSpec.hs

{-# LANGUAGE TypeApplications #-}

module Test.Validity.CerealSpec where

import Test.Hspec

import Data.GenValidity
import Test.Validity.Cereal

spec :: Spec
spec = do
    serializeSpecOnGen (genListOf $ pure 'a') "sequence of 'a's" (const [])
    -- serializeSpec @Double DOES NOT HOLD
    serializeSpecOnValid @Rational
    serializeSpec @Int
    serializeSpecOnArbitrary @Int