Hedgehog.Gen.Michelson.Untyped

Documentation

genInternalByteString :: MonadGen m => 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 => m PrintComment

genStackRef :: MonadGen m => m StackRef

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

genStackFn :: (MonadGen m, GenBase m ~ Identity) => m StackFn

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) => Bool -> m ParameterType

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

Generate a Ty. Note that Ty may store invalid types by construction if you put a non-comparable type to a place where a comparable type is expected. The caller may request that generated value is guaranteed to be valid or can be invalid.

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

Generate a Ty that is guaranteed to be valid.

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) => Bool -> m T

Generate a T. Note that T may store invalid types by construction if you put a non-comparable type to a place where a comparable type is expected. The caller may request that generated value is guaranteed to be valid or can be invalid.