Hedgehog.Gen.Morley.Micheline

Expression generators

genExpression :: forall m. (MonadGen m, GenBase m ~ Identity) => m Expression

genExpressionInt :: MonadGen m => Range ExpressionInt -> m Expression

genExpressionString :: MonadGen m => Range SmallLength -> m Expression

genExpressionBytes :: MonadGen m => Range Length -> m Expression

genExpressionSeq :: (MonadGen m, GenBase m ~ Identity) => Range SmallLength -> m Expression

genExpressionPrim :: (MonadGen m, GenBase m ~ Identity) => m Expression

Generic Exp generators

genExp

Arguments

:: forall x m. (MonadGen m, GenBase m ~ Identity)

=> Maybe (m (XExp x))

Non-recursive extra constructors

-> Maybe (m (XExp x))

Recursive extra constructors (that can generate Exp inside)

-> ExpExtras m x

-> m (Exp x)

Generate extended expression given the generators for all the extension points.

In case your expression has no extra constructors, avoid supplying Just discard as that would cause the generator to give up periodically (supply Nothing instead).

genExpInt :: MonadGen m => m (XExpInt x) -> Range ExpressionInt -> m (Exp x)

genExpString :: MonadGen m => m (XExpString x) -> Range SmallLength -> m (Exp x)

genExpBytes :: MonadGen m => m (XExpBytes x) -> Range Length -> m (Exp x)

genExpSeq :: MonadGen m => m (Exp x) -> m (XExpSeq x) -> Range SmallLength -> m (Exp x)

genExpPrim :: (MonadGen m, GenBase m ~ Identity) => m (Exp x) -> m (XExpPrim x) -> m (Exp x)

genMichelinePrimAp :: forall x m. (MonadGen m, GenBase m ~ Identity) => m (Exp x) -> m (MichelinePrimAp x)

genExprAnnotation :: (MonadGen m, GenBase m ~ Identity) => m Annotation