Comment MustSatisfyAnyOf. (#497)

IntersectMBO · Jun 22, 2022 · 73421c7 · 73421c7
1 parent eba253b
commit 73421c7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/plutus-ledger-constraints/src/Ledger/Constraints/TxConstraints.hs b/plutus-ledger-constraints/src/Ledger/Constraints/TxConstraints.hs
@@ -70,6 +70,8 @@ data TxConstraint =
     | MustPayToOtherScript ValidatorHash (Maybe StakeValidatorHash) Datum Value
     -- ^ The transaction must create a transaction output with a script address.
     | MustSatisfyAnyOf [[TxConstraint]]
+    -- ^ The transaction must satisfy constraints given as an alternative of conjuctions (DNF),
+    -- that is `check (MustSatisfyAnyOf xs) = any (all check) xs`
     deriving stock (Haskell.Show, Generic, Haskell.Eq)
     deriving anyclass (ToJSON, FromJSON)