Documentation

conformanceHook ∷ ∀ (rule ∷ Symbol) era t. (ShelleyEraImp era, ExecSpecRule rule era, ToExpr (Event (EraRule rule era))) ⇒ Globals → ExecContext rule era → TRC (EraRule rule era) → Either (NonEmpty (PredicateFailure (EraRule rule era))) (State (EraRule rule era), [Event (EraRule rule era)]) → ImpM t () Source #

submitTxConformanceHook ∷ (ConwayEraImp era, ExecSpecRule "LEDGER" era, ExecContext "LEDGER" era ~ ConwayLedgerExecContext era, SpecTranslate (ExecContext "LEDGER" era) (TxWits era), HasCallStack, SpecRep (TxWits era) ~ TxWitnesses, SpecRep (TxBody 'TopTx era) ~ TxBody, SpecTranslate TxId (TxBody 'TopTx era), SpecTranslate (ConwayLedgerExecContext era) (Tx 'TopTx era), ToExpr (SpecRep (Tx 'TopTx era)), SpecNormalize (SpecState "LEDGER" era), Eq (SpecState "LEDGER" era)) ⇒ Globals → TRC (EraRule "LEDGER" era) → Either (NonEmpty (PredicateFailure (EraRule "LEDGER" era))) (State (EraRule "LEDGER" era), [Event (EraRule "LEDGER" era)]) → ImpM t () Source #

epochBoundaryConformanceHook ∷ (ShelleyEraImp era, ExecSpecRule "NEWEPOCH" era, ExecContext "NEWEPOCH" era ~ (), ToExpr (Event (EraRule "NEWEPOCH" era))) ⇒ Globals → TRC (EraRule "NEWEPOCH" era) → State (EraRule "NEWEPOCH" era) → ImpM t () Source #