Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Update.SystemTag

Synopsis

newtype SystemTag = SystemTag {
- getSystemTag ∷ Text
}
data SystemTagError
- = SystemTagNotAscii Text
- | SystemTagTooLong Text
checkSystemTag ∷ MonadError SystemTagError m ⇒ SystemTag → m ()
systemTagMaxLength ∷ Integral i ⇒ i
osHelper ∷ OS → Text
archHelper ∷ Arch → Text

Documentation

newtype SystemTag Source #

Tag of system for which update data is purposed, e.g. win64, mac32

Constructors

SystemTag
Fields getSystemTag ∷ Text

Instances

Instances details

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

data SystemTagError Source #

Constructors

SystemTagNotAscii Text
SystemTagTooLong Text

Instances

Instances details

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

checkSystemTag ∷ MonadError SystemTagError m ⇒ SystemTag → m () Source #

systemTagMaxLength ∷ Integral i ⇒ i Source #

osHelper ∷ OS → Text Source #

Helper to turn an OS into a Text compatible with the systemTag previously used in 'configuration.yaml'

archHelper ∷ Arch → Text Source #

Helper to turn an Arch into a Text compatible with the systemTag previously used in 'configuration.yaml'