| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Allegra.Examples.Consensus
Synopsis
- ledgerExamplesAllegra ∷ ShelleyLedgerExamples AllegraEra
- exampleAllegraTxBody ∷ ∀ era. (AllegraEraTxBody era, ShelleyEraTxBody era) ⇒ Value era → TxBody era
- exampleTimelock ∷ AllegraEraScript era ⇒ NativeScript era
- exampleAllegraTxAuxData ∷ (AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ AllegraTxAuxData era
Documentation
ledgerExamplesAllegra ∷ ShelleyLedgerExamples AllegraEra Source #
ShelleyLedgerExamples for Allegra era
exampleAllegraTxBody ∷ ∀ era. (AllegraEraTxBody era, ShelleyEraTxBody era) ⇒ Value era → TxBody era Source #
exampleTimelock ∷ AllegraEraScript era ⇒ NativeScript era Source #
exampleAllegraTxAuxData ∷ (AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ AllegraTxAuxData era Source #