benchmark.hs

module Main where
import Criterion.Main

f1 :: [(Int, b)] -> [Int] -> Bool
f1 ps qs = all (\q -> all (\p -> fst p /= q) ps) qs

f2 :: [(Int, b)] -> [Int] -> Bool
f2 ps qs = all (flip all ps . flip ((/=) . fst)) qs

main :: IO ()
main = defaultMain
  [ bgroup "f1"
    [ bench "1" $ whnf (f1 [(1,1),(2,2),(3,3)]) [4, 6, 2]
    , bench "2" $ whnf (f1 (replicate 1000 (1, 1))) (replicate 1000 1)
    , bench "3" $ whnf (f1 (replicate 1000 (1, 1))) (replicate 1000 2)]
  , bgroup "f2"
    [ bench "1" $ whnf (f2 [(1,1),(2,2),(3,3)]) [4, 6, 2]
    , bench "2" $ whnf (f2 (replicate 1000 (1, 1))) (replicate 1000 1)
    , bench "3" $ whnf (f2 (replicate 1000 (1, 1))) (replicate 1000 2)]
  ]