Documentation

decodeEnc ∷ DecCBOR (Annotator a) ⇒ Version → Enc → Either DecoderError a Source #

expectDecoderSuccessAnn ∷ (DecCBOR (Annotator a), Eq a, HasCallStack, Show a) ⇒ Version → Enc → a → Expectation Source #

expectDecoderSuccessAnnWith ∷ (DecCBOR (Annotator a), HasCallStack, Show a, Eq a) ⇒ (a → a → Bool) → Version → Enc → a → Expectation Source #

expectDecoderFailureAnn ∷ (ToExpr a, DecCBOR (Annotator a), HasCallStack) ⇒ Version → Enc → DecoderError → Expectation Source #

expectDecoderResultOn ∷ (DecCBOR (Annotator a), Eq b, HasCallStack, Show b) ⇒ Version → Enc → a → (a → b) → Expectation Source #