quickspec-2.1: examples/Zip.hs

{-# LANGUAGE TypeApplications #-}
-- A test for conditions.
-- Many laws for zip only hold when the arguments have the same
-- length.
import QuickSpec

eqLen :: [a] -> [b] -> Bool
eqLen xs ys = length xs == length ys

main = quickSpec [
  -- Explore bigger terms.
  withMaxTermSize 8,
  con "++" ((++) @ Int),
  con "zip" (zip @ Int @ Int),
  predicate "eqLen" (eqLen @ Int @ Int) ]