| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Alonzo.Translation.Golden
Synopsis
- generateGoldenFile ∷ ∀ era. (Show (ContextError era), AlonzoEraScript era, TranslatableGen era, Arbitrary (PParamsHKD Identity era)) ⇒ FilePath → IO ()
- assertTranslationResultsMatchGolden ∷ ∀ era. (TranslatableGen era, Show (ContextError era), HasCallStack) ⇒ IO FilePath → Assertion
Documentation
generateGoldenFile ∷ ∀ era. (Show (ContextError era), AlonzoEraScript era, TranslatableGen era, Arbitrary (PParamsHKD Identity era)) ⇒ FilePath → IO () Source #
Generates arguments for txInfo, applies them to it
and serializes both arguments and result to golden/translations.cbor file
assertTranslationResultsMatchGolden ∷ ∀ era. (TranslatableGen era, Show (ContextError era), HasCallStack) ⇒ IO FilePath → Assertion Source #