cardano-ledger-conway-1.16.0.1: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Conway.Rules.Enact

Documentation

data ConwayENACT era Source #

Instances

Instances details
EraGov era ⇒ STS (ConwayENACT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

Associated Types

type State (ConwayENACT era) Source #

type Signal (ConwayENACT era) Source #

type Environment (ConwayENACT era) Source #

type BaseM (ConwayENACT era) ∷ TypeType Source #

type Event (ConwayENACT era) Source #

type PredicateFailure (ConwayENACT era) Source #

EraGov era ⇒ Embed (ConwayENACT era) (ConwayRATIFY era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ratify

type BaseM (ConwayENACT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type Environment (ConwayENACT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type Environment (ConwayENACT era) = ()
type Event (ConwayENACT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type Event (ConwayENACT era) = Void
type PredicateFailure (ConwayENACT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type Signal (ConwayENACT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type Signal (ConwayENACT era) = EnactSignal era
type State (ConwayENACT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type State (ConwayENACT era) = EnactState era

data EnactSignal era Source #

Constructors

EnactSignal 

Fields

Instances

Instances details
Generic (EnactSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

Associated Types

type Rep (EnactSignal era) ∷ TypeType Source #

Methods

fromEnactSignal era → Rep (EnactSignal era) x Source #

toRep (EnactSignal era) x → EnactSignal era Source #

EraPParams era ⇒ Show (EnactSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

EraPParams era ⇒ NFData (EnactSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

Methods

rnfEnactSignal era → () Source #

EraPParams era ⇒ Eq (EnactSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

Methods

(==)EnactSignal era → EnactSignal era → Bool Source #

(/=)EnactSignal era → EnactSignal era → Bool Source #

type Rep (EnactSignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type Rep (EnactSignal era) = D1 ('MetaData "EnactSignal" "Cardano.Ledger.Conway.Rules.Enact" "cardano-ledger-conway-1.16.0.1-inplace" 'False) (C1 ('MetaCons "EnactSignal" 'PrefixI 'True) (S1 ('MetaSel ('Just "esGovActionId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovActionId (EraCrypto era))) :*: S1 ('MetaSel ('Just "esGovAction") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovAction era))))

data EnactState era Source #

Constructors

EnactState 

Fields

Instances

Instances details
EraPParams era ⇒ ToJSON (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Generic (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Rep (EnactState era) ∷ TypeType Source #

Methods

fromEnactState era → Rep (EnactState era) x Source #

toRep (EnactState era) x → EnactState era Source #

(Era era, Show (PParams era)) ⇒ Show (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

showsPrecIntEnactState era → ShowS Source #

showEnactState era → String Source #

showList ∷ [EnactState era] → ShowS Source #

EraPParams era ⇒ FromCBOR (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

fromCBORDecoder s (EnactState era) Source #

labelProxy (EnactState era) → Text Source #

EraPParams era ⇒ ToCBOR (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

toCBOREnactState era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (EnactState era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [EnactState era] → Size Source #

EraPParams era ⇒ DecCBOR (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

decCBORDecoder s (EnactState era) Source #

dropCBORProxy (EnactState era) → Decoder s () Source #

labelProxy (EnactState era) → Text Source #

EraPParams era ⇒ DecShareCBOR (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Share (EnactState era) Source #

EraPParams era ⇒ EncCBOR (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

encCBOREnactState era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (EnactState era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [EnactState era] → Size Source #

EraPParams era ⇒ Default (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

defEnactState era Source #

EraPParams era ⇒ NFData (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

rnfEnactState era → () Source #

(Era era, Eq (PParams era)) ⇒ Eq (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

(==)EnactState era → EnactState era → Bool Source #

(/=)EnactState era → EnactState era → Bool Source #

EraPParams era ⇒ NoThunks (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Rep (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Rep (EnactState era) = D1 ('MetaData "EnactState" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.16.0.1-inplace" 'False) (C1 ('MetaCons "EnactState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ensCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Committee era))) :*: (S1 ('MetaSel ('Just "ensConstitution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Constitution era)) :*: S1 ('MetaSel ('Just "ensCurPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)))) :*: ((S1 ('MetaSel ('Just "ensPrevPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ensTreasury") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :*: (S1 ('MetaSel ('Just "ensWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking (EraCrypto era)) Coin)) :*: S1 ('MetaSel ('Just "ensPrevGovActionIds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovRelation StrictMaybe era))))))
type Share (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Share (EnactState era) = ()

Orphan instances