| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Core.JSON
Synopsis
- roundTripJsonSpec ∷ (HasCallStack, Typeable t, Show t, Eq t, ToJSON t, FromJSON t, Arbitrary t) ⇒ Spec
- roundTripJsonEraSpec ∷ (HasCallStack, EraTest era) ⇒ Spec
- roundTripJsonProperty ∷ (HasCallStack, Show t, Eq t, ToJSON t, FromJSON t) ⇒ t → Property
- goldenJsonPParamsSpec ∷ (HasCallStack, EraPParams era) ⇒ SpecWith FilePath
- goldenJsonPParamsUpdateSpec ∷ (HasCallStack, EraTest era) ⇒ SpecWith FilePath
Documentation
roundTripJsonSpec ∷ (HasCallStack, Typeable t, Show t, Eq t, ToJSON t, FromJSON t, Arbitrary t) ⇒ Spec Source #
QuickCheck property spec that uses roundTripJsonProperty
roundTripJsonEraSpec ∷ (HasCallStack, EraTest era) ⇒ Spec Source #
Roundtrip JSON testing for core type families.
roundTripJsonProperty ∷ (HasCallStack, Show t, Eq t, ToJSON t, FromJSON t) ⇒ t → Property Source #
Roundtrip JSON testing for types that implement ToJSON/FromJSON.
goldenJsonPParamsSpec ∷ (HasCallStack, EraPParams era) ⇒ SpecWith FilePath Source #