Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- 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
- 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
- genMacro :: (MonadGen m, GenBase m ~ Identity) => m Macro
Documentation
genExtInstrAbstract :: (MonadGen m, GenBase m ~ Identity) => m op -> m (ExtInstrAbstract [] op) Source #
genPrintComment :: MonadGen m => Range TinyLength -> m PrintComment Source #
genStackRef :: MonadGen m => Range StackRef -> m StackRef Source #
genTestAssert :: MonadGen m => m op -> m (TestAssert [] op) Source #
genEntriesOrder :: MonadGen m => m EntriesOrder Source #