haskell-hedgehog-classes

haskell-hedgehog-classes copied to clipboard

bump primitive

1

0.9 is compatible with the current master.

wavewave

Support primitive 0.9

1

Builds and tests fine

Vekhir

Compatibility with tasty

4

As a common test runner, better integration with tasty and tasty-discover would be great.

TimoMeijer

Integration with hspec

3

It would be nice if `hedgehog-classes` could be integrated with other tasting frameworks, e.g. `hspec`. Currently, when I run `lawsCheck` inside the `hspec` test suite, I see the following slightly...

chshersh

Restrictive upper bound on `hedgehog < 1.3`

4

@chessai can I have a Hackage revision that addresses this?

sol

`stimes` should be defined on `0` for all monoids

1

I assume that `stimes 0 xs` should be `mempty` for all monoids. However, this is something that is easy to miss + many of the implementations out there are "broken"...

sol

Hello. I was trying to find out when a map with a monoid key is a monad, so I defined this: ```haskell newtype Mapnad k v = Mapnad { runMapnad...

masaeedu

How could monadIOLaws ever be used?

6

To have a law-abiding `MonadIO` means that your monad must be at least as powerful as `IO` - ie, be a transformer over `IO`. Such a monad won't have a...

ocharles

Adding support for lens type classes

6

Would you consider adding or accepting a PR to add lens type class support? eg Prism, Iso

tmcgilchrist

API usage with GenT

3

Is there a way to use this package with `GenT` type (without `Identity` being the underlying monad) ? I looked into the haddocks and wasn't able to figure if such...

psibi