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