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