Ctl.Examples.PaysWithDatum

This module creates a transaction which produces outputs including:

1. an output containing an inline datum
2. an output containing a datum hash

Then checks are performed to verify that these outputs have actually been created and that they contain given datums.

contract :: Contract Unit

example :: ContractParams -> Effect Unit

main :: Effect Unit