Hedgehog.Gen.Michelson.Untyped

Documentation

genInternalByteString :: MonadGen m => Range Length -> m InternalByteString

genVar :: MonadGen m => m Var

genTyVar :: (MonadGen m, GenBase m ~ Identity) => m TyVar

genExpandedOp :: (MonadGen m, GenBase m ~ Identity) => m ExpandedOp

genExtInstrAbstract :: (MonadGen m, GenBase m ~ Identity) => m op -> m (ExtInstrAbstract op)

genPrintComment :: MonadGen m => Range TinyLength -> m PrintComment

genStackRef :: MonadGen m => Range StackRef -> m StackRef

genTestAssert :: MonadGen m => m op -> m (TestAssert op)

genStackTypePattern :: (MonadGen m, GenBase m ~ Identity) => m StackTypePattern

genInstrAbstract :: (MonadGen m, GenBase m ~ Identity) => m op -> m (InstrAbstract op)

genContract :: (MonadGen m, GenBase m ~ Identity) => m Contract

genContract' :: (MonadGen m, GenBase m ~ Identity) => m op -> m (Contract' op)

genEntriesOrder :: MonadGen m => m EntriesOrder

genValue :: (MonadGen m, GenBase m ~ Identity) => m Value

genValue' :: MonadGen m => m op -> m (Value' op)

genElt :: MonadGen m => m op -> m (Elt op)

genParameterType :: (MonadGen m, GenBase m ~ Identity) => m ParameterType

genType :: (MonadGen m, GenBase m ~ Identity) => m Ty

Generate a Ty.

genEpName :: (MonadGen m, GenBase m ~ Identity) => m EpName

genAnnotation :: forall m a. (MonadGen m, GenBase m ~ Identity) => m (Annotation a)

genT :: (MonadGen m, GenBase m ~ Identity) => m T

Generate a T.