Idris2Doc : Hedgehog

Hedgehog

(source)
Reexports
import public Control.Monad.Either
import public Control.Monad.Writer
import public Hedgehog.Internal.Config as Hedgehog
import public Hedgehog.Internal.Gen as Hedgehog
import public Hedgehog.Internal.Function as Hedgehog
import public Hedgehog.Internal.Property as Hedgehog
import public Hedgehog.Internal.Range as Hedgehog
import public Hedgehog.Internal.Report as Hedgehog
import public Hedgehog.Internal.Runner as Hedgehog
import public Hedgehog.Internal.Shrink as Hedgehog
import public Hedgehog.Internal.Terminal as Hedgehog
import public Hedgehog.Internal.Util as Hedgehog
import public System.Random.Pure.StdGen