Public
Snippet $4 authored by Alexander Klink

Haskellbook Chapter 14 Exercise

chapter14ex.hs
Raw
prop_sortedListsAreOrdered :: Property
prop_sortedListsAreOrdered =
    forAll (arbitrary :: Gen [Int]) $ listOrdered . sort