cardano-ledger-0.1.0.0: The blockchain layer of Cardano
Safe HaskellNone
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 #

(<$) :: a -> AProposal b -> AProposal a #

ToCBOR Proposal Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Methods

toCBOR :: Proposal -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Proposal -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Proposal] -> Size Source #

FromCBOR Proposal Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Eq a => Eq (AProposal a) Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Methods

(==) :: AProposal a -> AProposal a -> Bool #

(/=) :: AProposal a -> AProposal a -> Bool #

Show a => Show (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) :: Type -> Type #

Methods

from :: AProposal a -> Rep (AProposal a) x #

to :: Rep (AProposal a) x -> AProposal a #

NFData a => NFData (AProposal a) Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Methods

rnf :: AProposal a -> () #

ToJSON a => ToJSON (AProposal a) 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 #

FromCBOR (AProposal ByteSpan) Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Buildable (AProposal ()) Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Methods

build :: AProposal () -> Builder 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-0.1.0.0-LsmGdPmHvbsHmMt4VaqSe3" '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

unsafeProposal :: ProposalBody -> VerificationKey -> Signature ProposalBody -> Proposal Source #

Create an update Proposal using the provided signature.

signProposal :: ProtocolMagicId -> ProposalBody -> SafeSigner -> Proposal Source #

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

Proposal Accessors

Proposal Formatting

ProposalBody

data ProposalBody Source #

Constructors

ProposalBody 

Instances

Instances details
Eq ProposalBody Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Show 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 ProposalBody :: Type -> Type #

NFData ProposalBody Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

Methods

rnf :: ProposalBody -> () #

ToJSON ProposalBody Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

ToCBOR ProposalBody Source # 
Instance details

Defined in Cardano.Chain.Update.Proposal

FromCBOR 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-0.1.0.0-LsmGdPmHvbsHmMt4VaqSe3" '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

recoverProposalSignedBytes :: Annotated ProposalBody ByteString -> Annotated ProposalBody ByteString Source #

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