cardano-ledger-shelley-ma-test-1.2.2.2: Shelley ledger with multiasset and time lock support.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.TranslationTools

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 #