cardano-ledger-conway-1.14.0.0: 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) ∷ Type → Type Source #

type Event (ConwayENACT era) Source #

type PredicateFailure (ConwayENACT era) Source #

Methods

initialRules ∷ [InitialRule (ConwayENACT era)] Source #

transitionRules ∷ [TransitionRule (ConwayENACT era)] Source #

assertions ∷ [Assertion (ConwayENACT era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayENACT era) → String Source #

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

Defined in Cardano.Ledger.Conway.Rules.Ratify

Methods

wrapFailed ∷ PredicateFailure (ConwayENACT era) → PredicateFailure (ConwayRATIFY era) Source #

wrapEvent ∷ Event (ConwayENACT era) → Event (ConwayRATIFY era) Source #

type BaseM (ConwayENACT era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type BaseM (ConwayENACT era) = ShelleyBase
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 PredicateFailure (ConwayENACT era) = Void
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) ∷ Type → Type Source #

Methods

from ∷ EnactSignal era → Rep (EnactSignal era) x Source #

to ∷ Rep (EnactSignal era) x → EnactSignal era Source #

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

Defined in Cardano.Ledger.Conway.Rules.Enact

Methods

showsPrec ∷ Int → EnactSignal era → ShowS Source #

show ∷ EnactSignal era → String Source #

showList ∷ [EnactSignal era] → ShowS 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.14.0.0-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

Methods

toJSON ∷ EnactState era → Value Source #

toEncoding ∷ EnactState era → Encoding Source #

toJSONList ∷ [EnactState era] → Value Source #

toEncodingList ∷ [EnactState era] → Encoding Source #

omitField ∷ EnactState era → Bool Source #

Generic (EnactState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Rep (EnactState era) ∷ Type → Type Source #

Methods

from ∷ EnactState era → Rep (EnactState era) x Source #

to ∷ Rep (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

showsPrec ∷ Int → EnactState era → ShowS Source #

show ∷ EnactState era → String Source #

showList ∷ [EnactState era] → ShowS Source #

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

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

fromCBOR ∷ Decoder s (EnactState era) Source #

label ∷ Proxy (EnactState era) → Text Source #

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

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

toCBOR ∷ EnactState 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

decCBOR ∷ Decoder s (EnactState era) Source #

dropCBOR ∷ Proxy (EnactState era) → Decoder s () Source #

label ∷ Proxy (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 #

Methods

getShare ∷ EnactState era → Share (EnactState era) Source #

decShareCBOR ∷ Share (EnactState era) → Decoder s (EnactState era) Source #

decSharePlusCBOR ∷ StateT (Share (EnactState era)) (Decoder s) (EnactState era) Source #

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

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

encCBOR ∷ EnactState 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

def ∷ EnactState era Source #

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

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

rnf ∷ EnactState 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

Methods

noThunks ∷ Context → EnactState era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → EnactState era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (EnactState era) → String Source #

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.14.0.0-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