speculate-0.3.5: bench/qs2/arith-negate-abs.hs

import QuickSpec

main = quickSpec signature
  { maxTermSize = Just 5
  , constants =
      [ constant "0" (0 :: Int)
      , constant "1" (1 :: Int)
      , constant "+" ((+) :: Int -> Int -> Int)
      , constant "*" ((*) :: Int -> Int -> Int)
      , constant "id"     (id     :: Int -> Int)
      , constant "negate" (negate :: Int -> Int)
      , constant "abs"    (abs    :: Int -> Int)
      ]
  }