cardano-ledger-shelley-test-1.5.1.0: Test helpers from cardano-ledger-shelley exposed to other packages
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils

Documentation

checkEncoding ∷ (HasCallStack, Show a, Eq a) ⇒ Version → (a → Encoding) → (ByteString → Either DecoderError a) → String → a → ToTokens → TestTree Source #

checkEncodingCBOR ∷ (HasCallStack, DecCBOR a, EncCBOR a, Show a, Eq a) ⇒ Version → String → a → ToTokens → TestTree Source #

checkEncodingCBORAnnotated ∷ (HasCallStack, DecCBOR (Annotator a), ToCBOR a, Show a, Eq a) ⇒ Version → String → a → ToTokens → TestTree Source #

data ToTokens where Source #

Constructors

T ∷ (Tokens → Tokens) → ToTokens 
S ∷ EncCBOR a ⇒ a → ToTokens 
G ∷ EncCBORGroup a ⇒ a → ToTokens 
Plus ∷ ToTokens → ToTokens → ToTokens 

Instances

Instances details
Monoid ToTokens Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils

Methods

mempty ∷ ToTokens Source #

mappend ∷ ToTokens → ToTokens → ToTokens Source #

mconcat ∷ [ToTokens] → ToTokens Source #

Semigroup ToTokens Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils

Methods

(<>) ∷ ToTokens → ToTokens → ToTokens Source #

sconcat ∷ NonEmpty ToTokens → ToTokens Source #

stimes ∷ Integral b ⇒ b → ToTokens → ToTokens Source #

EncCBOR ToTokens Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils

Methods

encCBOR ∷ ToTokens → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ToTokens → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ToTokens] → Size Source #

roundTripFailure ∷ Show a ⇒ Version → (a → Encoding) → (ByteString → Either DecoderError a) → a → Assertion Source #

checkEncodingCBORDecodeFailure ∷ (HasCallStack, DecCBOR a, EncCBOR a, Show a) ⇒ Version → String → a → ToTokens → TestTree Source #