Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Dijkstra.Translation

Contents

Orphan instances

Documentation

newtype Tx era Source #

Constructors

Tx
Fields unTx ∷ Tx era

Instances

Instances details

TranslateEra DijkstraEra Tx Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation Associated Types type TranslationError DijkstraEra Tx Source # Methods translateEra ∷ TranslationContext DijkstraEra → Tx (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra Tx) (Tx DijkstraEra) Source #
type TranslationError DijkstraEra Tx Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra Tx = DecoderError

Orphan instances

TranslateEra DijkstraEra ConwayGovState Source #
Instance details Associated Types type TranslationError DijkstraEra ConwayGovState Source # Methods translateEra ∷ TranslationContext DijkstraEra → ConwayGovState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra ConwayGovState) (ConwayGovState DijkstraEra) Source #
TranslateEra DijkstraEra DRepPulsingState Source #
Instance details Associated Types type TranslationError DijkstraEra DRepPulsingState Source # Methods translateEra ∷ TranslationContext DijkstraEra → DRepPulsingState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra DRepPulsingState) (DRepPulsingState DijkstraEra) Source #
TranslateEra DijkstraEra PulsingSnapshot Source #
Instance details Associated Types type TranslationError DijkstraEra PulsingSnapshot Source # Methods translateEra ∷ TranslationContext DijkstraEra → PulsingSnapshot (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra PulsingSnapshot) (PulsingSnapshot DijkstraEra) Source #
TranslateEra DijkstraEra EnactState Source #
Instance details Associated Types type TranslationError DijkstraEra EnactState Source # Methods translateEra ∷ TranslationContext DijkstraEra → EnactState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra EnactState) (EnactState DijkstraEra) Source #
TranslateEra DijkstraEra RatifyState Source #
Instance details Associated Types type TranslationError DijkstraEra RatifyState Source # Methods translateEra ∷ TranslationContext DijkstraEra → RatifyState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra RatifyState) (RatifyState DijkstraEra) Source #
TranslateEra DijkstraEra GovAction Source #
Instance details Associated Types type TranslationError DijkstraEra GovAction Source # Methods translateEra ∷ TranslationContext DijkstraEra → GovAction (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra GovAction) (GovAction DijkstraEra) Source #
TranslateEra DijkstraEra GovActionState Source #
Instance details Associated Types type TranslationError DijkstraEra GovActionState Source # Methods translateEra ∷ TranslationContext DijkstraEra → GovActionState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra GovActionState) (GovActionState DijkstraEra) Source #
TranslateEra DijkstraEra ProposalProcedure Source #
Instance details Associated Types type TranslationError DijkstraEra ProposalProcedure Source # Methods translateEra ∷ TranslationContext DijkstraEra → ProposalProcedure (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra ProposalProcedure) (ProposalProcedure DijkstraEra) Source #
TranslateEra DijkstraEra Proposals Source #
Instance details Associated Types type TranslationError DijkstraEra Proposals Source # Methods translateEra ∷ TranslationContext DijkstraEra → Proposals (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra Proposals) (Proposals DijkstraEra) Source #
TranslateEra DijkstraEra PParams Source #
Instance details Associated Types type TranslationError DijkstraEra PParams Source # Methods translateEra ∷ TranslationContext DijkstraEra → PParams (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra PParams) (PParams DijkstraEra) Source #
TranslateEra DijkstraEra DState Source #
Instance details Associated Types type TranslationError DijkstraEra DState Source # Methods translateEra ∷ TranslationContext DijkstraEra → DState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra DState) (DState DijkstraEra) Source #
TranslateEra DijkstraEra PState Source #
Instance details Associated Types type TranslationError DijkstraEra PState Source # Methods translateEra ∷ TranslationContext DijkstraEra → PState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra PState) (PState DijkstraEra) Source #
TranslateEra DijkstraEra FuturePParams Source #
Instance details Associated Types type TranslationError DijkstraEra FuturePParams Source # Methods translateEra ∷ TranslationContext DijkstraEra → FuturePParams (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra FuturePParams) (FuturePParams DijkstraEra) Source #
TranslateEra DijkstraEra UTxO Source #
Instance details Associated Types type TranslationError DijkstraEra UTxO Source # Methods translateEra ∷ TranslationContext DijkstraEra → UTxO (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra UTxO) (UTxO DijkstraEra) Source #
TranslateEra DijkstraEra EpochState Source #
Instance details Associated Types type TranslationError DijkstraEra EpochState Source # Methods translateEra ∷ TranslationContext DijkstraEra → EpochState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra EpochState) (EpochState DijkstraEra) Source #
TranslateEra DijkstraEra LedgerState Source #
Instance details Associated Types type TranslationError DijkstraEra LedgerState Source # Methods translateEra ∷ TranslationContext DijkstraEra → LedgerState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra LedgerState) (LedgerState DijkstraEra) Source #
TranslateEra DijkstraEra NewEpochState Source #
Instance details Associated Types type TranslationError DijkstraEra NewEpochState Source # Methods translateEra ∷ TranslationContext DijkstraEra → NewEpochState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra NewEpochState) (NewEpochState DijkstraEra) Source #
TranslateEra DijkstraEra UTxOState Source #
Instance details Associated Types type TranslationError DijkstraEra UTxOState Source # Methods translateEra ∷ TranslationContext DijkstraEra → UTxOState (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra UTxOState) (UTxOState DijkstraEra) Source #