cleveland-0.3.1: Testing framework for Morley.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hedgehog.Gen.Morley.Micheline

Synopsis

Expression generators

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

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

Generic Exp generators

genExp Source #

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) Source #

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

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

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

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

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

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