Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Update.Payload

Synopsis

data APayload a = APayload {
- payloadProposal ∷ !(Maybe (AProposal a))
- payloadVotes ∷ ![AVote a]
- payloadAnnotation ∷ a
}
type Payload = APayload ()
payload ∷ Maybe Proposal → [Vote] → Payload

Documentation

data APayload a Source #

Update System payload

Constructors

APayload
Fields payloadProposal ∷ !(Maybe (AProposal a)) payloadVotes ∷ ![AVote a] payloadAnnotation ∷ a

Instances

Instances details

Functor APayload Source #
Instance details Defined in Cardano.Chain.Update.Payload Methods fmap ∷ (a → b) → APayload a → APayload b Source # (<$) ∷ a → APayload b → APayload a Source #
FromCBOR Payload Source #
Instance details Defined in Cardano.Chain.Update.Payload Methods fromCBOR ∷ Decoder s Payload Source # label ∷ Proxy Payload → Text Source #
ToCBOR Payload Source #
Instance details Defined in Cardano.Chain.Update.Payload Methods toCBOR ∷ Payload → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Payload → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Payload] → Size Source #
DecCBOR Payload Source #
Instance details Defined in Cardano.Chain.Update.Payload Methods decCBOR ∷ Decoder s Payload Source # dropCBOR ∷ Proxy Payload → Decoder s () Source # label ∷ Proxy Payload → Text Source #
EncCBOR Payload Source #
Instance details Defined in Cardano.Chain.Update.Payload Methods encCBOR ∷ Payload → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Payload → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Payload] → Size Source #
Buildable Payload Source #
Instance details Defined in Cardano.Chain.Update.Payload Methods build ∷ Payload → Builder Source #
ToJSON a ⇒ ToJSON (APayload a) Source #
Instance details Defined in Cardano.Chain.Update.Payload Methods toJSON ∷ APayload a → Value Source # toEncoding ∷ APayload a → Encoding Source # toJSONList ∷ [APayload a] → Value Source # toEncodingList ∷ [APayload a] → Encoding Source # omitField ∷ APayload a → Bool Source #
Generic (APayload a) Source #
Instance details Defined in Cardano.Chain.Update.Payload Associated Types type Rep (APayload a) ∷ Type → Type Source # Methods from ∷ APayload a → Rep (APayload a) x Source # to ∷ Rep (APayload a) x → APayload a Source #
Show a ⇒ Show (APayload a) Source #
Instance details Defined in Cardano.Chain.Update.Payload Methods showsPrec ∷ Int → APayload a → ShowS Source # show ∷ APayload a → String Source # showList ∷ [APayload a] → ShowS Source #
FromCBOR (APayload ByteSpan) Source #
Instance details Defined in Cardano.Chain.Update.Payload Methods fromCBOR ∷ Decoder s (APayload ByteSpan) Source # label ∷ Proxy (APayload ByteSpan) → Text Source #
Decoded (APayload ByteString) Source #
Instance details Defined in Cardano.Chain.Update.Payload Associated Types type BaseType (APayload ByteString) Source # Methods recoverBytes ∷ APayload ByteString → ByteString Source #
DecCBOR (APayload ByteSpan) Source #
Instance details Defined in Cardano.Chain.Update.Payload Methods decCBOR ∷ Decoder s (APayload ByteSpan) Source # dropCBOR ∷ Proxy (APayload ByteSpan) → Decoder s () Source # label ∷ Proxy (APayload ByteSpan) → Text Source #
NFData a ⇒ NFData (APayload a) Source #
Instance details Defined in Cardano.Chain.Update.Payload Methods rnf ∷ APayload a → () Source #
Eq a ⇒ Eq (APayload a) Source #
Instance details Defined in Cardano.Chain.Update.Payload Methods (==) ∷ APayload a → APayload a → Bool Source # (/=) ∷ APayload a → APayload a → Bool Source #
type Rep (APayload a) Source #
Instance details Defined in Cardano.Chain.Update.Payload type Rep (APayload a) = D1 ('MetaData "APayload" "Cardano.Chain.Update.Payload" "cardano-ledger-byron-1.0.1.0-inplace" 'False) (C1 ('MetaCons "APayload" 'PrefixI 'True) (S1 ('MetaSel ('Just "payloadProposal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe (AProposal a))) :: (S1 ('MetaSel ('Just "payloadVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [AVote a]) :: S1 ('MetaSel ('Just "payloadAnnotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))
type BaseType (APayload ByteString) Source #
Instance details Defined in Cardano.Chain.Update.Payload type BaseType (APayload ByteString) = Payload

type Payload = APayload () Source #

payload ∷ Maybe Proposal → [Vote] → Payload Source #