Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Conway.Rules.Cert

Contents

Orphan instances

Documentation

data ConwayCERT era Source #

Instances

Instances details

(Era era, State (EraRule "DELEG" era) ~ DState era, State (EraRule "POOL" era) ~ PState era, State (EraRule "GOVCERT" era) ~ VState era, Environment (EraRule "DELEG" era) ~ ConwayDelegEnv era, Environment (EraRule "POOL" era) ~ PoolEnv era, Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era, Signal (EraRule "DELEG" era) ~ ConwayDelegCert (EraCrypto era), Signal (EraRule "POOL" era) ~ PoolCert (EraCrypto era), Signal (EraRule "GOVCERT" era) ~ ConwayGovCert (EraCrypto era), Embed (EraRule "DELEG" era) (ConwayCERT era), Embed (EraRule "POOL" era) (ConwayCERT era), Embed (EraRule "GOVCERT" era) (ConwayCERT era), TxCert era ~ ConwayTxCert era) ⇒ STS (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Associated Types type State (ConwayCERT era) Source # type Signal (ConwayCERT era) Source # type Environment (ConwayCERT era) Source # type BaseM (ConwayCERT era) ∷ Type → Type Source # type Event (ConwayCERT era) Source # type PredicateFailure (ConwayCERT era) Source # Methods initialRules ∷ [InitialRule (ConwayCERT era)] Source # transitionRules ∷ [TransitionRule (ConwayCERT era)] Source # assertions ∷ [Assertion (ConwayCERT era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayCERT era) → String Source #
(Era era, STS (ConwayCERT era), BaseM (EraRule "CERT" era) ~ ShelleyBase, Event (EraRule "CERT" era) ~ ConwayCertEvent era, PredicateFailure (EraRule "CERT" era) ~ ConwayCertPredFailure era) ⇒ Embed (ConwayCERT era) (ConwayCERTS era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods wrapFailed ∷ PredicateFailure (ConwayCERT era) → PredicateFailure (ConwayCERTS era) Source # wrapEvent ∷ Event (ConwayCERT era) → Event (ConwayCERTS era) Source #
(Era era, STS (ConwayDELEG era), PredicateFailure (EraRule "DELEG" era) ~ ConwayDelegPredFailure era) ⇒ Embed (ConwayDELEG era) (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods wrapFailed ∷ PredicateFailure (ConwayDELEG era) → PredicateFailure (ConwayCERT era) Source # wrapEvent ∷ Event (ConwayDELEG era) → Event (ConwayCERT era) Source #
(Era era, STS (ConwayGOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ ConwayGovCertPredFailure era) ⇒ Embed (ConwayGOVCERT era) (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods wrapFailed ∷ PredicateFailure (ConwayGOVCERT era) → PredicateFailure (ConwayCERT era) Source # wrapEvent ∷ Event (ConwayGOVCERT era) → Event (ConwayCERT era) Source #
(Era era, STS (ShelleyPOOL era), Event (EraRule "POOL" era) ~ PoolEvent era, PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, PredicateFailure (ShelleyPOOL era) ~ ShelleyPoolPredFailure era, BaseM (ShelleyPOOL era) ~ ShelleyBase) ⇒ Embed (ShelleyPOOL era) (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods wrapFailed ∷ PredicateFailure (ShelleyPOOL era) → PredicateFailure (ConwayCERT era) Source # wrapEvent ∷ Event (ShelleyPOOL era) → Event (ConwayCERT era) Source #
type BaseM (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type BaseM (ConwayCERT era) = ShelleyBase
type Environment (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type Environment (ConwayCERT era) = CertEnv era
type Event (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type Event (ConwayCERT era) = ConwayCertEvent era
type PredicateFailure (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type PredicateFailure (ConwayCERT era) = ConwayCertPredFailure era
type Signal (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type Signal (ConwayCERT era) = TxCert era
type State (ConwayCERT era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type State (ConwayCERT era) = CertState era

data ConwayCertPredFailure era Source #

Constructors

DelegFailure (PredicateFailure (EraRule "DELEG" era))
PoolFailure (PredicateFailure (EraRule "POOL" era))
GovCertFailure (PredicateFailure (EraRule "GOVCERT" era))

Instances

Instances details

InjectRuleFailure "BBODY" ConwayCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Bbody Methods injectFailure ∷ ConwayCertPredFailure (ConwayEra c) → EraRuleFailure "BBODY" (ConwayEra c) Source #
InjectRuleFailure "CERT" ConwayCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods injectFailure ∷ ConwayCertPredFailure (ConwayEra c) → EraRuleFailure "CERT" (ConwayEra c) Source #
InjectRuleFailure "CERTS" ConwayCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Certs Methods injectFailure ∷ ConwayCertPredFailure (ConwayEra c) → EraRuleFailure "CERTS" (ConwayEra c) Source #
InjectRuleFailure "LEDGER" ConwayCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledger Methods injectFailure ∷ ConwayCertPredFailure (ConwayEra c) → EraRuleFailure "LEDGER" (ConwayEra c) Source #
InjectRuleFailure "LEDGERS" ConwayCertPredFailure (ConwayEra c) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Ledgers Methods injectFailure ∷ ConwayCertPredFailure (ConwayEra c) → EraRuleFailure "LEDGERS" (ConwayEra c) Source #
Generic (ConwayCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Associated Types type Rep (ConwayCertPredFailure era) ∷ Type → Type Source # Methods from ∷ ConwayCertPredFailure era → Rep (ConwayCertPredFailure era) x Source # to ∷ Rep (ConwayCertPredFailure era) x → ConwayCertPredFailure era Source #
(Show (PredicateFailure (EraRule "DELEG" era)), Show (PredicateFailure (EraRule "POOL" era)), Show (PredicateFailure (EraRule "GOVCERT" era))) ⇒ Show (ConwayCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods showsPrec ∷ Int → ConwayCertPredFailure era → ShowS Source # show ∷ ConwayCertPredFailure era → String Source # showList ∷ [ConwayCertPredFailure era] → ShowS Source #
(Typeable era, DecCBOR (PredicateFailure (EraRule "DELEG" era)), DecCBOR (PredicateFailure (EraRule "POOL" era)), DecCBOR (PredicateFailure (EraRule "GOVCERT" era))) ⇒ DecCBOR (ConwayCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods decCBOR ∷ Decoder s (ConwayCertPredFailure era) Source # dropCBOR ∷ Proxy (ConwayCertPredFailure era) → Decoder s () Source # label ∷ Proxy (ConwayCertPredFailure era) → Text Source #
(Typeable era, EncCBOR (PredicateFailure (EraRule "DELEG" era)), EncCBOR (PredicateFailure (EraRule "POOL" era)), EncCBOR (PredicateFailure (EraRule "GOVCERT" era))) ⇒ EncCBOR (ConwayCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods encCBOR ∷ ConwayCertPredFailure era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayCertPredFailure era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayCertPredFailure era] → Size Source #
(NFData (PredicateFailure (EraRule "DELEG" era)), NFData (PredicateFailure (EraRule "POOL" era)), NFData (PredicateFailure (EraRule "GOVCERT" era))) ⇒ NFData (ConwayCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods rnf ∷ ConwayCertPredFailure era → () Source #
(Eq (PredicateFailure (EraRule "DELEG" era)), Eq (PredicateFailure (EraRule "POOL" era)), Eq (PredicateFailure (EraRule "GOVCERT" era))) ⇒ Eq (ConwayCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods (==) ∷ ConwayCertPredFailure era → ConwayCertPredFailure era → Bool Source # (/=) ∷ ConwayCertPredFailure era → ConwayCertPredFailure era → Bool Source #
(NoThunks (PredicateFailure (EraRule "DELEG" era)), NoThunks (PredicateFailure (EraRule "POOL" era)), NoThunks (PredicateFailure (EraRule "GOVCERT" era))) ⇒ NoThunks (ConwayCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods noThunks ∷ Context → ConwayCertPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayCertPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayCertPredFailure era) → String Source #
type Rep (ConwayCertPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type Rep (ConwayCertPredFailure era) = D1 ('MetaData "ConwayCertPredFailure" "Cardano.Ledger.Conway.Rules.Cert" "cardano-ledger-conway-1.14.0.0-inplace" 'False) (C1 ('MetaCons "DelegFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "DELEG" era)))) :+: (C1 ('MetaCons "PoolFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "POOL" era)))) :+: C1 ('MetaCons "GovCertFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "GOVCERT" era))))))

data ConwayCertEvent era Source #

Constructors

DelegEvent (Event (EraRule "DELEG" era))
PoolEvent (Event (EraRule "POOL" era))
GovCertEvent (Event (EraRule "GOVCERT" era))

Instances

Instances details

Generic (ConwayCertEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Associated Types type Rep (ConwayCertEvent era) ∷ Type → Type Source # Methods from ∷ ConwayCertEvent era → Rep (ConwayCertEvent era) x Source # to ∷ Rep (ConwayCertEvent era) x → ConwayCertEvent era Source #
(NFData (Event (EraRule "DELEG" era)), NFData (Event (EraRule "GOVCERT" era)), NFData (Event (EraRule "POOL" era))) ⇒ NFData (ConwayCertEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods rnf ∷ ConwayCertEvent era → () Source #
(Eq (Event (EraRule "DELEG" era)), Eq (Event (EraRule "GOVCERT" era)), Eq (Event (EraRule "POOL" era))) ⇒ Eq (ConwayCertEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods (==) ∷ ConwayCertEvent era → ConwayCertEvent era → Bool Source # (/=) ∷ ConwayCertEvent era → ConwayCertEvent era → Bool Source #
type Rep (ConwayCertEvent era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type Rep (ConwayCertEvent era) = D1 ('MetaData "ConwayCertEvent" "Cardano.Ledger.Conway.Rules.Cert" "cardano-ledger-conway-1.14.0.0-inplace" 'False) (C1 ('MetaCons "DelegEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "DELEG" era)))) :+: (C1 ('MetaCons "PoolEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "POOL" era)))) :+: C1 ('MetaCons "GovCertEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Event (EraRule "GOVCERT" era))))))

data CertEnv era Source #

Constructors

CertEnv
Fields ceSlotNo ∷ !SlotNo cePParams ∷ !(PParams era) ceCurrentEpoch ∷ !EpochNo

Instances

Instances details

Generic (CertEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Associated Types type Rep (CertEnv era) ∷ Type → Type Source # Methods from ∷ CertEnv era → Rep (CertEnv era) x Source # to ∷ Rep (CertEnv era) x → CertEnv era Source #
Show (PParams era) ⇒ Show (CertEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods showsPrec ∷ Int → CertEnv era → ShowS Source # show ∷ CertEnv era → String Source # showList ∷ [CertEnv era] → ShowS Source #
NFData (PParams era) ⇒ NFData (CertEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods rnf ∷ CertEnv era → () Source #
Eq (PParams era) ⇒ Eq (CertEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert Methods (==) ∷ CertEnv era → CertEnv era → Bool Source # (/=) ∷ CertEnv era → CertEnv era → Bool Source #
type Rep (CertEnv era) Source #
Instance details Defined in Cardano.Ledger.Conway.Rules.Cert type Rep (CertEnv era) = D1 ('MetaData "CertEnv" "Cardano.Ledger.Conway.Rules.Cert" "cardano-ledger-conway-1.14.0.0-inplace" 'False) (C1 ('MetaCons "CertEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "ceSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :: (S1 ('MetaSel ('Just "cePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :: S1 ('MetaSel ('Just "ceCurrentEpoch") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo))))

Orphan instances

InjectRuleFailure "CERT" ConwayDelegPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ ConwayDelegPredFailure (ConwayEra c) → EraRuleFailure "CERT" (ConwayEra c) Source #
InjectRuleFailure "CERT" ConwayGovCertPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ ConwayGovCertPredFailure (ConwayEra c) → EraRuleFailure "CERT" (ConwayEra c) Source #
InjectRuleFailure "CERT" ShelleyPoolPredFailure (ConwayEra c) Source #
Instance details Methods injectFailure ∷ ShelleyPoolPredFailure (ConwayEra c) → EraRuleFailure "CERT" (ConwayEra c) Source #
(Era era, State (EraRule "DELEG" era) ~ DState era, State (EraRule "POOL" era) ~ PState era, State (EraRule "GOVCERT" era) ~ VState era, Environment (EraRule "DELEG" era) ~ ConwayDelegEnv era, Environment (EraRule "POOL" era) ~ PoolEnv era, Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era, Signal (EraRule "DELEG" era) ~ ConwayDelegCert (EraCrypto era), Signal (EraRule "POOL" era) ~ PoolCert (EraCrypto era), Signal (EraRule "GOVCERT" era) ~ ConwayGovCert (EraCrypto era), Embed (EraRule "DELEG" era) (ConwayCERT era), Embed (EraRule "POOL" era) (ConwayCERT era), Embed (EraRule "GOVCERT" era) (ConwayCERT era), TxCert era ~ ConwayTxCert era) ⇒ STS (ConwayCERT era) Source #
Instance details Associated Types type State (ConwayCERT era) Source # type Signal (ConwayCERT era) Source # type Environment (ConwayCERT era) Source # type BaseM (ConwayCERT era) ∷ Type → Type Source # type Event (ConwayCERT era) Source # type PredicateFailure (ConwayCERT era) Source # Methods initialRules ∷ [InitialRule (ConwayCERT era)] Source # transitionRules ∷ [TransitionRule (ConwayCERT era)] Source # assertions ∷ [Assertion (ConwayCERT era)] Source # renderAssertionViolation ∷ AssertionViolation (ConwayCERT era) → String Source #
(Era era, STS (ConwayDELEG era), PredicateFailure (EraRule "DELEG" era) ~ ConwayDelegPredFailure era) ⇒ Embed (ConwayDELEG era) (ConwayCERT era) Source #
Instance details Methods wrapFailed ∷ PredicateFailure (ConwayDELEG era) → PredicateFailure (ConwayCERT era) Source # wrapEvent ∷ Event (ConwayDELEG era) → Event (ConwayCERT era) Source #
(Era era, STS (ConwayGOVCERT era), PredicateFailure (EraRule "GOVCERT" era) ~ ConwayGovCertPredFailure era) ⇒ Embed (ConwayGOVCERT era) (ConwayCERT era) Source #
Instance details Methods wrapFailed ∷ PredicateFailure (ConwayGOVCERT era) → PredicateFailure (ConwayCERT era) Source # wrapEvent ∷ Event (ConwayGOVCERT era) → Event (ConwayCERT era) Source #
(Era era, STS (ShelleyPOOL era), Event (EraRule "POOL" era) ~ PoolEvent era, PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, PredicateFailure (ShelleyPOOL era) ~ ShelleyPoolPredFailure era, BaseM (ShelleyPOOL era) ~ ShelleyBase) ⇒ Embed (ShelleyPOOL era) (ConwayCERT era) Source #
Instance details Methods wrapFailed ∷ PredicateFailure (ShelleyPOOL era) → PredicateFailure (ConwayCERT era) Source # wrapEvent ∷ Event (ShelleyPOOL era) → Event (ConwayCERT era) Source #