Documentation

translateEraPartial ∷ ∀ era f. (TranslateEra era f, Show (TranslationError era f), HasCallStack) ⇒ TranslationContext era → f (PreviousEra era) → f era Source #

translateEraEncoding ∷ ∀ era f. (HasCallStack, TranslateEra era f, Show (TranslationError era f)) ⇒ TranslationContext era → (f era → Encoding) → (f (PreviousEra era) → Encoding) → f (PreviousEra era) → Assertion Source #

translateEraEncCBOR ∷ ∀ proxy era f. (HasCallStack, TranslateEra era f, EncCBOR (f era), EncCBOR (f (PreviousEra era)), Show (TranslationError era f)) ⇒ proxy era → TranslationContext era → f (PreviousEra era) → Assertion Source #