| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Binary.Cuddle
Synopsis
- huddleDecoderEquivalenceSpec ∷ (HasCallStack, Eq a, Show a, DecCBOR a, DecCBOR (Annotator a)) ⇒ Version → Text → SpecWith (CTreeRoot MonoReferenced)
- huddleRoundTripCborSpec ∷ (HasCallStack, Eq a, Show a, EncCBOR a, DecCBOR a) ⇒ Version → Text → SpecWith (CTreeRoot MonoReferenced)
- huddleRoundTripAnnCborSpec ∷ (HasCallStack, Eq a, Show a, EncCBOR a, DecCBOR (Annotator a)) ⇒ Version → Text → SpecWith (CTreeRoot MonoReferenced)
- huddleAntiCborSpec ∷ DecCBOR a ⇒ Version → Text → SpecWith (CTreeRoot MonoReferenced)
- writeSpec ∷ Huddle → FilePath → IO ()
- huddleRoundTripGenValidate ∷ (DecCBOR a, Show a, EncCBOR a) ⇒ Gen a → Version → Text → SpecWith (CTreeRoot MonoReferenced)
- huddleRoundTripArbitraryValidate ∷ (DecCBOR a, EncCBOR a, Arbitrary a, Show a) ⇒ Version → Text → SpecWith (CTreeRoot MonoReferenced)
- specWithHuddle ∷ Huddle → SpecWith (CTreeRoot MonoReferenced) → Spec
Documentation
huddleRoundTripCborSpec Source #
Arguments
| ∷ (HasCallStack, Eq a, Show a, EncCBOR a, DecCBOR a) | |
| ⇒ Version | Serialization version |
| → Text | Name of the CDDL rule to test |
| → SpecWith (CTreeRoot MonoReferenced) |
huddleAntiCborSpec ∷ DecCBOR a ⇒ Version → Text → SpecWith (CTreeRoot MonoReferenced) Source #
writeSpec ∷ Huddle → FilePath → IO () Source #
Write a Huddle specification to a file at the given path
huddleRoundTripGenValidate ∷ (DecCBOR a, Show a, EncCBOR a) ⇒ Gen a → Version → Text → SpecWith (CTreeRoot MonoReferenced) Source #