| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
Cardano.Ledger.Plutus.Preprocessor.Source.V3
Synopsis
- alwaysSucceedsNoDatumQ ∷ Q [Dec]
- alwaysSucceedsWithDatumQ ∷ Q [Dec]
- alwaysFailsNoDatumQ ∷ Q [Dec]
- alwaysFailsWithDatumQ ∷ Q [Dec]
- redeemerSameAsDatumQ ∷ Q [Dec]
- evenDatumQ ∷ Q [Dec]
- evenRedeemerNoDatumQ ∷ Q [Dec]
- evenRedeemerWithDatumQ ∷ Q [Dec]
- purposeIsWellformedNoDatumQ ∷ Q [Dec]
- purposeIsWellformedWithDatumQ ∷ Q [Dec]
- datumIsWellformedQ ∷ Q [Dec]
- inputsOutputsAreNotEmptyNoDatumQ ∷ Q [Dec]
- inputsOutputsAreNotEmptyWithDatumQ ∷ Q [Dec]
- inputsOverlapsWithRefInputsQ ∷ Q [Dec]
- ensureTreasuryReserveQ ∷ Q [Dec]
Documentation
alwaysFailsNoDatumQ ∷ Q [Dec] Source #
alwaysFailsWithDatumQ ∷ Q [Dec] Source #
redeemerSameAsDatumQ ∷ Q [Dec] Source #
evenDatumQ ∷ Q [Dec] Source #
evenRedeemerNoDatumQ ∷ Q [Dec] Source #
datumIsWellformedQ ∷ Q [Dec] Source #
ensureTreasuryReserveQ ∷ Q [Dec] Source #
This ensures that a single TreasuryWithdrawal can't withdraw enough to make the treasury have less ADA than the specified reserve amount.