| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusIR.Generators.QuickCheck.ShrinkTerms
Synopsis
- addTmBind :: DefaultFun ()) #
Try to take a term from an old context to a new context and a new type. If we can't do the new type we might return a different type.
fixupTerm :: TypeCtx -> DefaultFun ())] #
Shrink a typed term in a type and term context. NOTE: if you want to understand what's going on in this function it's a good idea to look at how we do this for types first (it's a lot simpler).
shrinkClosedTypedTerm :: (DefaultFun ())] #