hedgehog.predef

Convenience syntax for Applicative usage.

Please forgive the use of overloading here, which avoids having to have an ApplicativeBuilder.

Operations that are unfortunately missing from Fractional

The simplest form of monad that we can use with hedgehog.

NOTE: We must use some form of call-by-need value for our M in GenT[M, ?] to avoid stack overflows.

Operations that are unfortunately missing from Integral

A very naive lazy-list. Unfortunately using Scala Stream results in the head being evaluated prematurely for shrinking.

Performs the action n times, returning the list of results.

Strict sequencing in an applicative functor M that ignores the value in fa.