morley-1.4.0: Developer tools for the Michelson Language
Safe HaskellNone
LanguageHaskell2010

Util.Test.Gen

Documentation

genInternalByteString :: MonadGen m => m InternalByteString Source #

genVar :: MonadGen m => m Var Source #

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

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

genInstrCallStack :: MonadGen m => m InstrCallStack Source #

genSrcPos :: MonadGen m => m SrcPos Source #

genPos :: MonadGen m => m Pos Source #

genLetName :: MonadGen m => m LetName Source #

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

genPrintComment :: MonadGen m => m PrintComment Source #

genStackRef :: MonadGen m => m StackRef Source #

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

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

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

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

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

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

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

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

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

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

genType :: (MonadGen m, GenBase m ~ Identity) => m Type Source #

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

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

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