WizardTest.elm

WizardTest.elm

module WizardTest where

import Graphics.Element exposing (tag)
import Check exposing (claim, that, is, true, false, for, quickCheck, suite)
import Check.Investigator exposing (tuple, tuple3, char, int, list, string)
import ElmTest exposing (equals, elementRunner)


claim_reverse_twice_yields_original =
  claim
    "Reversing a list twice yields the original list"
  `that`
    (\list -> List.reverse(List.reverse list))
  `is`
    (identity)
  `for`
    list int


claim_reverse_does_not_modify_length =
  claim
    "Reversing a list does not modify its length"
  `that`
    (\list -> List.length (List.reverse list))
  `is`
    (\list -> List.length list)
  `for`
    list int



suite_reverse =
  suite "List Reverse Suite"
    [ claim_reverse_twice_yields_original
    , claim_reverse_does_not_modify_length
    ]



result: Check.Evidence
result = quickCheck suite_reverse



unitSuite = ElmTest.suite "all unit tests"
    [evidenceToTest result]


    
succeed : ElmTest.Assertion
succeed = ElmTest.assert True



fail : ElmTest.Assertion
fail = ElmTest.assert False



nChecks : number -> String
nChecks n = if n == 1 then "1 check" else toString n ++ " checks"



evidenceToTest : Check.Evidence -> ElmTest.Test
evidenceToTest evidence =
  case evidence of
    Check.Multiple name more ->
      ElmTest.suite name (List.map evidenceToTest more)

    Check.Unit (Ok {name, numberOfChecks}) ->
      ElmTest.test (name ++ ": passed " ++ nChecks numberOfChecks) succeed

    Check.Unit (Err {name, numberOfChecks, expected, actual, counterExample}) ->
      ElmTest.test (name ++ ": FAILED " ++ nChecks numberOfChecks ++ "! Counterexample: " ++
        counterExample ++ " Expected: " ++ expected ++ " but got: " ++ actual) fail

(=>) : a -> b -> ( a, b )
(=>) = (,)


--main : Graphics.Element.Element
main = tag "elm-check-result"
      <|      elementRunner unitSuite