| 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 HuddleEnv
- huddleRoundTripCborSpec ∷ (HasCallStack, Eq a, Show a, EncCBOR a, DecCBOR a) ⇒ Version → Text → SpecWith HuddleEnv
- huddleRoundTripAnnCborSpec ∷ (HasCallStack, Eq a, Show a, EncCBOR a, DecCBOR (Annotator a)) ⇒ Version → Text → SpecWith HuddleEnv
- huddleAntiCborSpec ∷ DecCBOR a ⇒ Version → Text → SpecWith HuddleEnv
- writeSpec ∷ Huddle → FilePath → IO ()
- huddleRoundTripGenValidate ∷ (DecCBOR a, Show a, EncCBOR a) ⇒ Gen a → Version → Text → SpecWith HuddleEnv
- huddleRoundTripArbitraryValidate ∷ (DecCBOR a, EncCBOR a, Arbitrary a, Show a) ⇒ Version → Text → SpecWith HuddleEnv
- specWithHuddle ∷ Huddle → SpecWith HuddleEnv → Spec
- noTwiddle ∷ SpecWith HuddleEnv → SpecWith HuddleEnv
- data HuddleEnv = HuddleEnv {}
- toGenEnv ∷ HuddleEnv → GenEnv
Documentation
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 HuddleEnv Source #
huddleRoundTripArbitraryValidate ∷ (DecCBOR a, EncCBOR a, Arbitrary a, Show a) ⇒ Version → Text → SpecWith HuddleEnv Source #