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

Cardano.Ledger.Conway.Governance.Internal

Synopsis

Documentation

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) = ()

data RatifyState era Source #

Constructors

RatifyState 

Fields

Instances

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

Defined in Cardano.Ledger.Conway.Governance.Internal

Generic (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Rep (RatifyState era) ∷ TypeType Source #

Methods

fromRatifyState era → Rep (RatifyState era) x Source #

toRep (RatifyState era) x → RatifyState era Source #

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

Defined in Cardano.Ledger.Conway.Governance.Internal

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

Defined in Cardano.Ledger.Conway.Governance.Internal

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

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Share (RatifyState era) Source #

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

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

encCBORRatifyState era → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

defRatifyState era Source #

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

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

rnfRatifyState era → () Source #

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

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

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

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

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

Defined in Cardano.Ledger.Conway.Governance.Internal

EraPParams era ⇒ NFData (DRepPulser era Identity (RatifyState era)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

Methods

rnfDRepPulser era Identity (RatifyState era) → () Source #

EraPParams era ⇒ Eq (DRepPulser era Identity (RatifyState era)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

EraPParams era ⇒ NoThunks (DRepPulser era Identity (RatifyState era)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.DRepPulser

type Rep (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Rep (RatifyState era) = D1 ('MetaData "RatifyState" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.16.0.1-inplace" 'False) (C1 ('MetaCons "RatifyState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "rsEnactState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EnactState era)) :*: S1 ('MetaSel ('Just "rsEnacted") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Seq (GovActionState era)))) :*: (S1 ('MetaSel ('Just "rsExpired") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (GovActionId (EraCrypto era)))) :*: S1 ('MetaSel ('Just "rsDelayed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool))))
type Share (RatifyState era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Share (RatifyState era) = ()

data RatifyEnv era Source #

Instances

Instances details
Generic (RatifyEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Rep (RatifyEnv era) ∷ TypeType Source #

Methods

fromRatifyEnv era → Rep (RatifyEnv era) x Source #

toRep (RatifyEnv era) x → RatifyEnv era Source #

Show (RatifyEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

showsPrecIntRatifyEnv era → ShowS Source #

showRatifyEnv era → String Source #

showList ∷ [RatifyEnv era] → ShowS Source #

Default (RatifyEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

defRatifyEnv era Source #

Era era ⇒ NFData (RatifyEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

rnfRatifyEnv era → () Source #

Eq (RatifyEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

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

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

Typeable era ⇒ NoThunks (RatifyEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Rep (RatifyEnv era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Rep (RatifyEnv era) = D1 ('MetaData "RatifyEnv" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.16.0.1-inplace" 'False) (C1 ('MetaCons "RatifyEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "reStakeDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking (EraCrypto era)) (CompactForm Coin))) :*: (S1 ('MetaSel ('Just "reStakePoolDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolDistr (EraCrypto era))) :*: S1 ('MetaSel ('Just "reDRepDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (DRep (EraCrypto era)) (CompactForm Coin))))) :*: (S1 ('MetaSel ('Just "reDRepState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era)))) :*: (S1 ('MetaSel ('Just "reCurrentEpoch") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: S1 ('MetaSel ('Just "reCommitteeState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CommitteeState era))))))

newtype RatifySignal era Source #

Constructors

RatifySignal (StrictSeq (GovActionState era)) 

Instances

Instances details
Generic (RatifySignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

Associated Types

type Rep (RatifySignal era) ∷ TypeType Source #

Methods

fromRatifySignal era → Rep (RatifySignal era) x Source #

toRep (RatifySignal era) x → RatifySignal era Source #

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

Defined in Cardano.Ledger.Conway.Governance.Internal

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

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

rnfRatifySignal era → () Source #

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

Defined in Cardano.Ledger.Conway.Governance.Internal

Methods

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

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

type Rep (RatifySignal era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Governance.Internal

type Rep (RatifySignal era) = D1 ('MetaData "RatifySignal" "Cardano.Ledger.Conway.Governance.Internal" "cardano-ledger-conway-1.16.0.1-inplace" 'True) (C1 ('MetaCons "RatifySignal" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictSeq (GovActionState era)))))

hoistGovRelation ∷ (∀ a. f a → g a) → GovRelation f era → GovRelation g era Source #

withGovActionParent Source #

Arguments

GovActionState era 
→ a

The result to be used for governance actions that can't have a parent

→ (∀ p. (∀ f. Lens' (GovRelation f era) (f (GovPurposeId p era))) → StrictMaybe (GovPurposeId p era) → GovPurposeId p era → a)

Function that will be applied to a lens and a parent

→ a 

Apply a function to a GovAction that can have a parent.

Exported for testing