cardano-ledger-byron-1.0.2.0: The blockchain layer of Cardano during the Byron era
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Chain.Update.Proposal

Synopsis

Proposal

data AProposal a Source #

Proposal for software update

Constructors

AProposal 

Fields

Instances

Instances details
Functor AProposal Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Methods

fmap ∷ (a → b) → AProposal a → AProposal b Source #

(<$) ∷ a → AProposal b → AProposal a Source #

FromCBOR Proposal Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

ToCBOR Proposal Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Methods

toCBORProposalEncoding Source #

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

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

DecCBOR Proposal Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

EncCBOR Proposal Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Methods

encCBORProposalEncoding Source #

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

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

ToJSON a ⇒ ToJSON (AProposal a) Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Generic (AProposal a) Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Associated Types

type Rep (AProposal a) ∷ TypeType Source #

Methods

fromAProposal a → Rep (AProposal a) x Source #

toRep (AProposal a) x → AProposal a Source #

Show a ⇒ Show (AProposal a) Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

FromCBOR (AProposal ByteSpan) Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Decoded (AProposal ByteString) Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Associated Types

type BaseType (AProposal ByteString) Source #

DecCBOR (AProposal ByteSpan) Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

NFData a ⇒ NFData (AProposal a) Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Methods

rnfAProposal a → () Source #

Buildable (AProposal ()) Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Methods

buildAProposal () → Builder Source #

Eq a ⇒ Eq (AProposal a) Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Methods

(==)AProposal a → AProposal a → Bool Source #

(/=)AProposal a → AProposal a → Bool Source #

Buildable (Proposal, [Vote]) Source # 
Instance details

Defined in Cardano.Chain.Update.Vote

Methods

build ∷ (Proposal, [Vote]) → Builder Source #

type Rep (AProposal a) Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

type Rep (AProposal a) = D1 ('MetaData "AProposal" "Cardano.Chain.Update.Proposal" "cardano-ledger-byron-1.0.2.0-inplace" 'False) (C1 ('MetaCons "AProposal" 'PrefixI 'True) ((S1 ('MetaSel ('Just "aBody") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Annotated ProposalBody a)) :*: S1 ('MetaSel ('Just "issuer") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VerificationKey)) :*: (S1 ('MetaSel ('Just "signature") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Signature ProposalBody)) :*: S1 ('MetaSel ('Just "annotation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))))
type BaseType (AProposal ByteString) Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

type UpId = Hash Proposal Source #

ID of software update proposal

Proposal Constructors

unsafeProposalProposalBodyVerificationKeySignature ProposalBodyProposal Source #

Create an update Proposal using the provided signature.

signProposalProtocolMagicIdProposalBodySafeSignerProposal Source #

Create an update Proposal, signing it with the provided safe signer.

Proposal Accessors

Proposal Formatting

ProposalBody

data ProposalBody Source #

Constructors

ProposalBody 

Fields

Instances

Instances details
ToJSON ProposalBody Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Generic ProposalBody Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Associated Types

type Rep ProposalBodyTypeType Source #

Show ProposalBody Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

FromCBOR ProposalBody Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

ToCBOR ProposalBody Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Methods

toCBORProposalBodyEncoding Source #

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

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

DecCBOR ProposalBody Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

EncCBOR ProposalBody Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

NFData ProposalBody Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Methods

rnfProposalBody → () Source #

Eq ProposalBody Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

type Rep ProposalBody Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

type Rep ProposalBody = D1 ('MetaData "ProposalBody" "Cardano.Chain.Update.Proposal" "cardano-ledger-byron-1.0.2.0-inplace" 'False) (C1 ('MetaCons "ProposalBody" 'PrefixI 'True) ((S1 ('MetaSel ('Just "protocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtocolVersion) :*: S1 ('MetaSel ('Just "protocolParametersUpdate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtocolParametersUpdate)) :*: (S1 ('MetaSel ('Just "softwareVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SoftwareVersion) :*: S1 ('MetaSel ('Just "metadata") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map SystemTag InstallerHash)))))

ProposalBody Binary Serialization

recoverProposalSignedBytesAnnotated ProposalBody ByteStringAnnotated ProposalBody ByteString Source #

Prepend byte corresponding to `encodeListLen 5`, which was used during signing