cardano-ledger-byron-0.1.0.0: The blockchain layer of Cardano during the Byron era
Safe Haskell None
Language Haskell2010

Cardano.Chain.Update.Validation.Registration

Description

Validation rules for registering updates

This is an implementation of the rules defined in the Byron ledger specification

Synopsis

Documentation

data Error Source #

Error captures the ways in which registration could fail

Constructors

DuplicateProtocolVersion ProtocolVersion
DuplicateSoftwareVersion SoftwareVersion
InvalidProposer KeyHash
InvalidProtocolVersion ProtocolVersion Adopted
InvalidScriptVersion Word16 Word16
InvalidSignature
InvalidSoftwareVersion ApplicationVersions SoftwareVersion
MaxBlockSizeTooLarge ( TooLarge Natural )
MaxTxSizeTooLarge ( TooLarge Natural )
ProposalAttributesUnknown
ProposalTooLarge ( TooLarge Natural )
SoftwareVersionError SoftwareVersionError
SystemTagError SystemTagError
NullUpdateProposal

The update proposal proposes neither a bump in the protocol or application versions.

Instances

Instances details
Eq Error Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

(==) :: Error -> Error -> Bool Source #

(/=) :: Error -> Error -> Bool Source #

Show Error Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

showsPrec :: Int -> Error -> ShowS Source #

show :: Error -> String Source #

showList :: [ Error ] -> ShowS Source #

ToCBOR Error Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

toCBOR :: Error -> Encoding Source #

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

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

FromCBOR Error Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

fromCBOR :: Decoder s Error Source #

label :: Proxy Error -> Text Source #

data Environment Source #

Constructors

Environment

Fields

data State Source #

State keeps track of registered protocol and software update proposals

Constructors

State

Fields

data ApplicationVersion Source #

Constructors

ApplicationVersion

Fields

Instances

Instances details
Eq ApplicationVersion Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

(==) :: ApplicationVersion -> ApplicationVersion -> Bool Source #

(/=) :: ApplicationVersion -> ApplicationVersion -> Bool Source #

Show ApplicationVersion Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

showsPrec :: Int -> ApplicationVersion -> ShowS Source #

show :: ApplicationVersion -> String Source #

showList :: [ ApplicationVersion ] -> ShowS Source #

Generic ApplicationVersion Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Associated Types

type Rep ApplicationVersion :: Type -> Type Source #

Methods

from :: ApplicationVersion -> Rep ApplicationVersion x Source #

to :: Rep ApplicationVersion x -> ApplicationVersion Source #

NFData ApplicationVersion Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

rnf :: ApplicationVersion -> () Source #

ToCBOR ApplicationVersion Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

toCBOR :: ApplicationVersion -> Encoding Source #

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

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

FromCBOR ApplicationVersion Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

fromCBOR :: Decoder s ApplicationVersion Source #

label :: Proxy ApplicationVersion -> Text Source #

NoThunks ApplicationVersion Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

noThunks :: Context -> ApplicationVersion -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> ApplicationVersion -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ApplicationVersion -> String Source #

type Rep ApplicationVersion Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

type Rep ApplicationVersion = D1 (' MetaData "ApplicationVersion" "Cardano.Chain.Update.Validation.Registration" "cardano-ledger-byron-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' False ) ( C1 (' MetaCons "ApplicationVersion" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "avNumSoftwareVersion") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 NumSoftwareVersion ) :*: ( S1 (' MetaSel (' Just "avSlotNumber") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SlotNumber ) :*: S1 (' MetaSel (' Just "avMetadata") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Metadata ))))

type ApplicationVersions = Map ApplicationName ApplicationVersion Source #

type Metadata = Map SystemTag InstallerHash Source #

data ProtocolUpdateProposal Source #

Constructors

ProtocolUpdateProposal

Fields

Instances

Instances details
Eq ProtocolUpdateProposal Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

(==) :: ProtocolUpdateProposal -> ProtocolUpdateProposal -> Bool Source #

(/=) :: ProtocolUpdateProposal -> ProtocolUpdateProposal -> Bool Source #

Show ProtocolUpdateProposal Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

showsPrec :: Int -> ProtocolUpdateProposal -> ShowS Source #

show :: ProtocolUpdateProposal -> String Source #

showList :: [ ProtocolUpdateProposal ] -> ShowS Source #

Generic ProtocolUpdateProposal Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Associated Types

type Rep ProtocolUpdateProposal :: Type -> Type Source #

Methods

from :: ProtocolUpdateProposal -> Rep ProtocolUpdateProposal x Source #

to :: Rep ProtocolUpdateProposal x -> ProtocolUpdateProposal Source #

NFData ProtocolUpdateProposal Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

rnf :: ProtocolUpdateProposal -> () Source #

ToCBOR ProtocolUpdateProposal Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

toCBOR :: ProtocolUpdateProposal -> Encoding Source #

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

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

FromCBOR ProtocolUpdateProposal Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

fromCBOR :: Decoder s ProtocolUpdateProposal Source #

label :: Proxy ProtocolUpdateProposal -> Text Source #

NoThunks ProtocolUpdateProposal Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

noThunks :: Context -> ProtocolUpdateProposal -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> ProtocolUpdateProposal -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ProtocolUpdateProposal -> String Source #

type Rep ProtocolUpdateProposal Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

type Rep ProtocolUpdateProposal = D1 (' MetaData "ProtocolUpdateProposal" "Cardano.Chain.Update.Validation.Registration" "cardano-ledger-byron-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' False ) ( C1 (' MetaCons "ProtocolUpdateProposal" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "pupProtocolVersion") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ProtocolVersion ) :*: S1 (' MetaSel (' Just "pupProtocolParameters") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ProtocolParameters )))

type ProtocolUpdateProposals = Map UpId ProtocolUpdateProposal Source #

data SoftwareUpdateProposal Source #

Constructors

SoftwareUpdateProposal

Fields

Instances

Instances details
Eq SoftwareUpdateProposal Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

(==) :: SoftwareUpdateProposal -> SoftwareUpdateProposal -> Bool Source #

(/=) :: SoftwareUpdateProposal -> SoftwareUpdateProposal -> Bool Source #

Show SoftwareUpdateProposal Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

showsPrec :: Int -> SoftwareUpdateProposal -> ShowS Source #

show :: SoftwareUpdateProposal -> String Source #

showList :: [ SoftwareUpdateProposal ] -> ShowS Source #

Generic SoftwareUpdateProposal Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Associated Types

type Rep SoftwareUpdateProposal :: Type -> Type Source #

Methods

from :: SoftwareUpdateProposal -> Rep SoftwareUpdateProposal x Source #

to :: Rep SoftwareUpdateProposal x -> SoftwareUpdateProposal Source #

NFData SoftwareUpdateProposal Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

rnf :: SoftwareUpdateProposal -> () Source #

ToCBOR SoftwareUpdateProposal Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

toCBOR :: SoftwareUpdateProposal -> Encoding Source #

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

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

FromCBOR SoftwareUpdateProposal Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

fromCBOR :: Decoder s SoftwareUpdateProposal Source #

label :: Proxy SoftwareUpdateProposal -> Text Source #

NoThunks SoftwareUpdateProposal Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

noThunks :: Context -> SoftwareUpdateProposal -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> SoftwareUpdateProposal -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy SoftwareUpdateProposal -> String Source #

type Rep SoftwareUpdateProposal Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

type Rep SoftwareUpdateProposal = D1 (' MetaData "SoftwareUpdateProposal" "Cardano.Chain.Update.Validation.Registration" "cardano-ledger-byron-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' False ) ( C1 (' MetaCons "SoftwareUpdateProposal" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "supSoftwareVersion") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SoftwareVersion ) :*: S1 (' MetaSel (' Just "supSoftwareMetadata") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Metadata )))

type SoftwareUpdateProposals = Map UpId SoftwareUpdateProposal Source #

registerProposal :: MonadError Error m => Environment -> State -> AProposal ByteString -> m State Source #

Register an update proposal after verifying its signature and validating its contents. This corresponds to the UPREG rules in the spec.

data TooLarge n Source #

Constructors

TooLarge

Fields

Instances

Instances details
Eq n => Eq ( TooLarge n) Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

(==) :: TooLarge n -> TooLarge n -> Bool Source #

(/=) :: TooLarge n -> TooLarge n -> Bool Source #

Show n => Show ( TooLarge n) Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

showsPrec :: Int -> TooLarge n -> ShowS Source #

show :: TooLarge n -> String Source #

showList :: [ TooLarge n] -> ShowS Source #

ToCBOR n => ToCBOR ( TooLarge n) Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

toCBOR :: TooLarge n -> Encoding Source #

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

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

FromCBOR n => FromCBOR ( TooLarge n) Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

fromCBOR :: Decoder s ( TooLarge n) Source #

label :: Proxy ( TooLarge n) -> Text Source #

newtype Adopted Source #

Constructors

Adopted ProtocolVersion

Instances

Instances details
Eq Adopted Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

(==) :: Adopted -> Adopted -> Bool Source #

(/=) :: Adopted -> Adopted -> Bool Source #

Show Adopted Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

showsPrec :: Int -> Adopted -> ShowS Source #

show :: Adopted -> String Source #

showList :: [ Adopted ] -> ShowS Source #

ToCBOR Adopted Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

toCBOR :: Adopted -> Encoding Source #

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

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

FromCBOR Adopted Source #
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

fromCBOR :: Decoder s Adopted Source #

label :: Proxy Adopted -> Text Source #