| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Binary.Cuddle
Synopsis
- data CuddleData
- huddleDecoderEquivalenceSpec ∷ (HasCallStack, Eq a, Show a, DecCBOR a, DecCBOR (Annotator a)) ⇒ Version → Text → SpecWith CuddleData
- specWithHuddle ∷ Huddle → Int → SpecWith CuddleData → Spec
- huddleRoundTripCborSpec ∷ (HasCallStack, Eq a, Show a, EncCBOR a, DecCBOR a) ⇒ Version → Text → SpecWith CuddleData
- huddleRoundTripAnnCborSpec ∷ (HasCallStack, Eq a, Show a, EncCBOR a, DecCBOR (Annotator a)) ⇒ Version → Text → SpecWith CuddleData
- writeSpec ∷ Huddle → FilePath → IO ()
- huddleRoundTripArbitraryValidate ∷ (DecCBOR a, EncCBOR a, Arbitrary a, Show a) ⇒ Version → Text → SpecWith CuddleData
Documentation
data CuddleData Source #
huddleDecoderEquivalenceSpec Source #
Arguments
| ∷ (HasCallStack, Eq a, Show a, DecCBOR a, DecCBOR (Annotator a)) | |
| ⇒ Version | Serialization version |
| → Text | Name of the CDDL rule to test |
| → SpecWith CuddleData |
specWithHuddle ∷ Huddle → Int → SpecWith CuddleData → Spec Source #
huddleRoundTripCborSpec Source #
Arguments
| ∷ (HasCallStack, Eq a, Show a, EncCBOR a, DecCBOR a) | |
| ⇒ Version | Serialization version |
| → Text | Name of the CDDL rule to test |
| → SpecWith CuddleData |
huddleRoundTripAnnCborSpec Source #
Arguments
| ∷ (HasCallStack, Eq a, Show a, EncCBOR a, DecCBOR (Annotator a)) | |
| ⇒ Version | Serialization version |
| → Text | Name of the CDDL rule to test |
| → SpecWith CuddleData |