user6113: I'm trying to understand how Constraints.modifiesUtxoSet works.
Can anyone give an example?
modifiesUtxoSet :: forall i o. TxConstraints i o -> Bool

Check whether every transaction that satisfies the constraints has to modify the UTXO set. 


user6292: The SimpleEscrow use case uses it:
https://playground.plutus.iohkdev.io/doc/haddock/plutus-use-cases/html/src/Plutus.Contracts.SimpleEscrow.html#refundEp
Another example is the Crowdfunding use case:
https://playground.plutus.iohkdev.io/doc/haddock/plutus-use-cases/html/src/Plutus.Contracts.Crowdfunding.html#contribute

6113: <p>I'm trying to understand how <code>Constraints.modifiesUtxoSet</code> works.
Can anyone give an example?</p>
<pre><code>modifiesUtxoSet :: forall i o. TxConstraints i o -&gt; Bool

Check whether every transaction that satisfies the constraints has to modify the UTXO set. 
</code></pre>
 6292: <p>The SimpleEscrow use case uses it:
<a href="https://playground.plutus.iohkdev.io/doc/haddock/plutus-use-cases/html/src/Plutus.Contracts.SimpleEscrow.html#refundEp" rel="nofollow noreferrer">https://playground.plutus.iohkdev.io/doc/haddock/plutus-use-cases/html/src/Plutus.Contracts.SimpleEscrow.html#refundEp</a></p>
<p>Another example is the Crowdfunding use case:
<a href="https://playground.plutus.iohkdev.io/doc/haddock/plutus-use-cases/html/src/Plutus.Contracts.Crowdfunding.html#contribute" rel="nofollow noreferrer">https://playground.plutus.iohkdev.io/doc/haddock/plutus-use-cases/html/src/Plutus.Contracts.Crowdfunding.html#contribute</a></p>
