search

purescript-contrib / purescript-quickcheck-laws

QuickCheck powered law tests for PureScript's core typeclasses.
MIT License
25 stars 18 forks source link

Add checks for `Unfoldable` #17

Open garyb opened 8 years ago

jacereda commented 7 years ago

What's the law for this one?

garyb commented 7 years ago

I'm not sure why I opened this actually, I think like Foldable it's probably lawless.

jacereda commented 7 years ago

Closest thing I've found:

http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.1735

It states that h = unfold p f g is equivalent to h x = if p x then [] else f x : h (g x), but I'm not sure that adds anything to the table.