haskell-test-case-example.hs

module SleighAuthenticationSpec where
import SleighAuthentication (authenticate)
import Test.Hspec
import Test.QuickCheck

spec :: Spec
spec = do
  describe "authenticate" $ do
    it "should work for some examples" $ do
      expectTrue  $ authenticate "Santa Claus" "Ho Ho Ho!"
      expectFalse $ authenticate "Santa"       "Ho Ho Ho!"
      expectFalse $ authenticate "Santa Claus" "Ho Ho!"
      expectFalse $ authenticate "jhoffner"    "CodeWars"
    it "should work for random frauds" $ do
      property $ \who password ->
        authenticate who password `shouldBe` solution who password
  where
    expectTrue  = flip shouldBe True
    expectFalse = flip shouldBe False
    solution :: String -> String -> Bool
    solution "Santa Claus" "Ho Ho Ho!" = True
    solution _             _           = False