Hedgehog.Gen.Morley.Micheline

Documentation

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

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

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

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

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

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

genMichelinePrimAp :: (MonadGen m, GenBase m ~ Identity) => m MichelinePrimAp

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