prop_SolveSound :: Sudoku -> Property

37 views

Skip to first unread message

Gleb Lobanov

unread,

Dec 10, 2015, 10:42:59 AM12/10/15

to 2015 Functional Programming TDA452/ DIT 142

What does requirement to return Property in Lab 3B mean?

prop_SolveSound :: Sudoku -> Property

David Sands

unread,

Dec 10, 2015, 10:48:01 AM12/10/15

to chalmer...@googlegroups.com

A Property is a “quickCheck Bool”, or as I called it in the lecture, a Bool with benefits.

If you use any quickCheck functions like (==>), or collect, or classify then you no longer have a Bool but a Property.

Reply all

Reply to author

Forward

0 new messages