plutus-core-1.60.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusIR.Generators.AST

Description

This module defines generators for PIR syntax trees for testing purposes. It should only contain those generators that can't be reused from PLC (PIR-exclusive constructs, Term, and Program)

Synopsis
  • type AstGen = Name]) #

    The monad that generators run in. The environment is a list of names to choose from for generation of variables and binders.

simpleRecursive :: Recursivity #