| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
UntypedPlutusCore.Generators.Hedgehog.AST
Synopsis
- regenConstantsUntil ∷ MonadGen m ⇒ (Some (ValueOf DefaultUni) → Bool) → Program name DefaultUni fun ann → m (Program name DefaultUni fun ann)
- type AstGen = GenT (Reader [Name])
- runAstGen ∷ MonadGen m ⇒ AstGen a → m a
- genVersion ∷ MonadGen m ⇒ m Version
- genTerm ∷ ∀ fun. (Bounded fun, Enum fun) ⇒ AstGen (Term Name DefaultUni fun ())
- genProgram ∷ ∀ fun. (Bounded fun, Enum fun) ⇒ AstGen (Program Name DefaultUni fun ())
- mangleNames ∷ Term Name DefaultUni DefaultFun () → AstGen (Maybe (Term Name DefaultUni DefaultFun ()))
Documentation
regenConstantsUntil ∷ MonadGen m ⇒ (Some (ValueOf DefaultUni) → Bool) → Program name DefaultUni fun ann → m (Program name DefaultUni fun ann) Source #
type AstGen = GenT (Reader [Name]) Source #
The monad that generators run in. The environment is a list of names to choose from for generation of variables and binders.
genVersion ∷ MonadGen m ⇒ m Version Source #
genProgram ∷ ∀ fun. (Bounded fun, Enum fun) ⇒ AstGen (Program Name DefaultUni fun ()) Source #
mangleNames ∷ Term Name DefaultUni DefaultFun () → AstGen (Maybe (Term Name DefaultUni DefaultFun ())) Source #