Hedgehog.Generic

Generic implementation of a generator. Example usage:

data Foo = Foo
  { _fooX :: X
  , _fooY :: Y
  } deriving (Generic)

genFoo :: Gen Foo
genFoo = hgen

The generated generator is equivalent to

Foo <$> hgen <*> hgen.

Documentation

class HGen a where

A class used to generate generators for types implementing Generic.

Methods

hgen' :: Gen (a x)

Instances

HGen (U1 :: Type -> Type)

Defined in Hedgehog.Generic

Methods

hgen' :: Gen (U1 x)

(Generic c, HGen (Rep c)) => HGen (K1 i c :: Type -> Type)

Defined in Hedgehog.Generic

Methods

hgen' :: Gen (K1 i c x)

(KnownNat (SumLen a), KnownNat (SumLen b), HGen a, HGen b) => HGen (a :+: b)

Defined in Hedgehog.Generic

Methods

hgen' :: Gen ((a :+: b) x)

(HGen a, HGen b) => HGen (a :*: b)

Defined in Hedgehog.Generic

Methods

hgen' :: Gen ((a :*: b) x)

HGen f => HGen (M1 i c f)

Defined in Hedgehog.Generic

Methods

hgen' :: Gen (M1 i c f x)

hgen :: (Generic a, HGen (Rep a)) => Gen a

If your type implements Generic, you can get a generator for your type 'for free' using this function.