| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Plutus.ToPlutusData
Synopsis
- roundTripPlutusDataSpec ∷ ∀ x. (HasCallStack, Typeable x, Show x, Eq x, Arbitrary x, ToPlutusData x) ⇒ Spec
Documentation
roundTripPlutusDataSpec ∷ ∀ x. (HasCallStack, Typeable x, Show x, Eq x, Arbitrary x, ToPlutusData x) ⇒ Spec Source #
Test the roundtrip property via fromPlutusData and toPlutusData for any type
meeting all the constraints below.