Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Update.SoftwareVersion

Synopsis

data SoftwareVersion = SoftwareVersion {
- svAppName ∷ !ApplicationName
- svNumber ∷ !NumSoftwareVersion
}
data SoftwareVersionError = SoftwareVersionApplicationNameError ApplicationNameError
type NumSoftwareVersion = Word32
checkSoftwareVersion ∷ MonadError SoftwareVersionError m ⇒ SoftwareVersion → m ()

Documentation

data SoftwareVersion Source #

Software version

Constructors

SoftwareVersion
Fields svAppName ∷ !ApplicationName svNumber ∷ !NumSoftwareVersion

Instances

Instances details

ToJSON SoftwareVersion Source #
Instance details Defined in Cardano.Chain.Update.SoftwareVersion Methods toJSON ∷ SoftwareVersion → Value Source # toEncoding ∷ SoftwareVersion → Encoding Source # toJSONList ∷ [SoftwareVersion] → Value Source # toEncodingList ∷ [SoftwareVersion] → Encoding Source # omitField ∷ SoftwareVersion → Bool Source #
Generic SoftwareVersion Source #
Instance details Defined in Cardano.Chain.Update.SoftwareVersion Associated Types type Rep SoftwareVersion ∷ Type → Type Source # Methods from ∷ SoftwareVersion → Rep SoftwareVersion x Source # to ∷ Rep SoftwareVersion x → SoftwareVersion Source #
Show SoftwareVersion Source #
Instance details Defined in Cardano.Chain.Update.SoftwareVersion Methods showsPrec ∷ Int → SoftwareVersion → ShowS Source # show ∷ SoftwareVersion → String Source # showList ∷ [SoftwareVersion] → ShowS Source #
FromCBOR SoftwareVersion Source #
Instance details Defined in Cardano.Chain.Update.SoftwareVersion Methods fromCBOR ∷ Decoder s SoftwareVersion Source # label ∷ Proxy SoftwareVersion → Text Source #
ToCBOR SoftwareVersion Source #
Instance details Defined in Cardano.Chain.Update.SoftwareVersion Methods toCBOR ∷ SoftwareVersion → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy SoftwareVersion → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SoftwareVersion] → Size Source #
DecCBOR SoftwareVersion Source #
Instance details Defined in Cardano.Chain.Update.SoftwareVersion Methods decCBOR ∷ Decoder s SoftwareVersion Source # dropCBOR ∷ Proxy SoftwareVersion → Decoder s () Source # label ∷ Proxy SoftwareVersion → Text Source #
EncCBOR SoftwareVersion Source #
Instance details Defined in Cardano.Chain.Update.SoftwareVersion Methods encCBOR ∷ SoftwareVersion → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy SoftwareVersion → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SoftwareVersion] → Size Source #
NFData SoftwareVersion Source #
Instance details Defined in Cardano.Chain.Update.SoftwareVersion Methods rnf ∷ SoftwareVersion → () Source #
Buildable SoftwareVersion Source #
Instance details Defined in Cardano.Chain.Update.SoftwareVersion Methods build ∷ SoftwareVersion → Builder Source #
Eq SoftwareVersion Source #
Instance details Defined in Cardano.Chain.Update.SoftwareVersion Methods (==) ∷ SoftwareVersion → SoftwareVersion → Bool Source # (/=) ∷ SoftwareVersion → SoftwareVersion → Bool Source #
Ord SoftwareVersion Source #
Instance details Defined in Cardano.Chain.Update.SoftwareVersion Methods compare ∷ SoftwareVersion → SoftwareVersion → Ordering Source # (<) ∷ SoftwareVersion → SoftwareVersion → Bool Source # (<=) ∷ SoftwareVersion → SoftwareVersion → Bool Source # (>) ∷ SoftwareVersion → SoftwareVersion → Bool Source # (>=) ∷ SoftwareVersion → SoftwareVersion → Bool Source # max ∷ SoftwareVersion → SoftwareVersion → SoftwareVersion Source # min ∷ SoftwareVersion → SoftwareVersion → SoftwareVersion Source #
NoThunks SoftwareVersion Source #
Instance details Defined in Cardano.Chain.Update.SoftwareVersion Methods noThunks ∷ Context → SoftwareVersion → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SoftwareVersion → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SoftwareVersion → String Source #
type Rep SoftwareVersion Source #
Instance details Defined in Cardano.Chain.Update.SoftwareVersion type Rep SoftwareVersion = D1 ('MetaData "SoftwareVersion" "Cardano.Chain.Update.SoftwareVersion" "cardano-ledger-byron-1.0.1.0-inplace" 'False) (C1 ('MetaCons "SoftwareVersion" 'PrefixI 'True) (S1 ('MetaSel ('Just "svAppName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ApplicationName) :*: S1 ('MetaSel ('Just "svNumber") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumSoftwareVersion)))

data SoftwareVersionError Source #

Constructors

SoftwareVersionApplicationNameError ApplicationNameError

Instances

Instances details

Data SoftwareVersionError Source #
Instance details Defined in Cardano.Chain.Update.SoftwareVersion Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → SoftwareVersionError → c SoftwareVersionError Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c SoftwareVersionError Source # toConstr ∷ SoftwareVersionError → Constr Source # dataTypeOf ∷ SoftwareVersionError → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c SoftwareVersionError) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c SoftwareVersionError) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → SoftwareVersionError → SoftwareVersionError Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → SoftwareVersionError → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → SoftwareVersionError → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → SoftwareVersionError → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → SoftwareVersionError → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → SoftwareVersionError → m SoftwareVersionError Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SoftwareVersionError → m SoftwareVersionError Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SoftwareVersionError → m SoftwareVersionError Source #
Show SoftwareVersionError Source #
Instance details Defined in Cardano.Chain.Update.SoftwareVersion Methods showsPrec ∷ Int → SoftwareVersionError → ShowS Source # show ∷ SoftwareVersionError → String Source # showList ∷ [SoftwareVersionError] → ShowS Source #
FromCBOR SoftwareVersionError Source #
Instance details Defined in Cardano.Chain.Update.SoftwareVersion Methods fromCBOR ∷ Decoder s SoftwareVersionError Source # label ∷ Proxy SoftwareVersionError → Text Source #
ToCBOR SoftwareVersionError Source #
Instance details Defined in Cardano.Chain.Update.SoftwareVersion Methods toCBOR ∷ SoftwareVersionError → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy SoftwareVersionError → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SoftwareVersionError] → Size Source #
DecCBOR SoftwareVersionError Source #
Instance details Defined in Cardano.Chain.Update.SoftwareVersion Methods decCBOR ∷ Decoder s SoftwareVersionError Source # dropCBOR ∷ Proxy SoftwareVersionError → Decoder s () Source # label ∷ Proxy SoftwareVersionError → Text Source #
EncCBOR SoftwareVersionError Source #
Instance details Defined in Cardano.Chain.Update.SoftwareVersion Methods encCBOR ∷ SoftwareVersionError → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy SoftwareVersionError → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SoftwareVersionError] → Size Source #
Buildable SoftwareVersionError Source #
Instance details Defined in Cardano.Chain.Update.SoftwareVersion Methods build ∷ SoftwareVersionError → Builder Source #
Eq SoftwareVersionError Source #
Instance details Defined in Cardano.Chain.Update.SoftwareVersion Methods (==) ∷ SoftwareVersionError → SoftwareVersionError → Bool Source # (/=) ∷ SoftwareVersionError → SoftwareVersionError → Bool Source #

type NumSoftwareVersion = Word32 Source #

Numeric software version associated with ApplicationName

checkSoftwareVersion ∷ MonadError SoftwareVersionError m ⇒ SoftwareVersion → m () Source #

A software version is valid iff its application name is valid