search

ekmett / free

free monads
http://hackage.haskell.org/package/free
Other
159 stars 65 forks source link

Build mandelbrot-iter on CI & use cabal-docspec #206

Closed phadej closed 3 years ago

phadej commented 3 years ago

There are plenty of prop> in free, but most of them aren't "decidable", e.g.

src/Control/Monad/Free/Church.hs:--   prop> fmap f . fmap g == fmap (f . g)
src/Control/Monad/Trans/Iter.hs:-- prop> runIter . iter == id

(or/and would require quite a large setup to ctually run, QuickCheck instances etc.).

With this PR I'm able to run cabal-docspec on a single kmettverse project at once. That is quite cool.

RyanGlScott commented 3 years ago

Thanks for all your work on this, @phadej! If you apply my suggestion in https://github.com/ekmett/free/pull/206#pullrequestreview-567188666, then I'll merge this.

phadej commented 3 years ago

I changed the mandelbrot-iter example: removed the comment and added lowerbound on HGL