Documentation

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

submitTxConformanceHook ∷ (HasCallStack, ExecSpecTopLevelRule "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 ∷ (ExecSpecTopLevelRule "NEWEPOCH" era, ToExpr (Event (EraRule "NEWEPOCH" era))) ⇒ Globals → TRC (EraRule "NEWEPOCH" era) → State (EraRule "NEWEPOCH" era) → ImpM t () Source #