{-

prime

Copyright (C) 2021 Jonathan Lamothe <jonathan@jlamothe.net>

This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or (at
your option) any later version.

This program is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program.  If not, see <https://www.gnu.org/licenses/>.

-}

{-# LANGUAGE ScopedTypeVariables #-}

module Data.Prime.IsComposite (spec) where

import Test.Hspec (Spec, context, describe, it, shouldBe)

import Data.Prime

spec :: Spec
spec = describe "isComposite" $ mapM_
  ( \(input :: Integer, expected) -> context (show input) $
    it ("should be " ++ show expected) $
      isComposite input `shouldBe` expected
  )

  --  input,  expected
  [ ( -1,              False    )
  , ( 0,               False    )
  , ( 1,               False    )
  , ( 2,               False    )
  , ( 3,               False    )
  , ( 4,               True     )
  , ( 104729,          False    )
  , ( 104729 * 104723, True     )
  ]

--jl