ExampleCheck.elm

module ExampleCheck where

import Graphics.Element exposing (Element, show)
import Check.Investigator exposing (..)
import Check  exposing (..)



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 = quickCheck suite_reverse

main   = display result