I might be missing some thing but in the English Auction script I am unable to find the definitions of the function that starts with tx:


Does anyone know where these functions are defined?

1 Answer 1


Since they're not defined directly in EnglishAuction.hs, they must be imported from somewhere else. You can see all the imports starting on line 32.

The haddock docs for Plutus can give some more information. Look at the index for the letter "T" and scroll down until you start seeing things that start with "tx".

For example, txOutDatumHash and txOutValue are part of the constructor for the TxOut datatype.

  • Thanks. that answers other questions I have regarding the script.
    – d_fajardo
    Jan 19, 2022 at 16:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.