Control.Monad.Gen.Common

genEither :: forall b a m. MonadGen m => m a -> m b -> m (Either a b)

Creates a generator that outputs Either values, choosing a value from a Left or the Right with even probability.

genIdentity :: forall a m. Functor m => m a -> m (Identity a)

Creates a generator that outputs Identity values, choosing a value from another generator for the inner value.

genMaybe :: forall a m. MonadGen m => m a -> m (Maybe a)

Creates a generator that outputs Maybe values, choosing a value from another generator for the inner value. The generator has a 75% chance of returning a Just over a Nothing.

genTuple :: forall b a m. Apply m => m a -> m b -> m (Tuple a b)

Creates a generator that outputs Tuple values, choosing values from a pair of generators for each slot in the tuple.