Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Block.Body

Synopsis

type Body = ABody ()
pattern Body ∷ TxPayload → SscPayload → Payload → Payload → Body
data ABody a = ABody {
- bodyTxPayload ∷ !(ATxPayload a)
- bodySscPayload ∷ !SscPayload
- bodyDlgPayload ∷ !(APayload a)
- bodyUpdatePayload ∷ !(APayload a)
}
bodyTxs ∷ Body → [Tx]
bodyWitnesses ∷ Body → [TxWitness]

Documentation

type Body = ABody () Source #

Body consists of payloads of all block components

pattern Body ∷ TxPayload → SscPayload → Payload → Payload → Body Source #

Constructor for Body

data ABody a Source #

Body consists of payloads of all block components

Constructors

ABody
Fields bodyTxPayload ∷ !(ATxPayload a) UTxO payload bodySscPayload ∷ !SscPayload Ssc payload bodyDlgPayload ∷ !(APayload a) Heavyweight delegation payload (no-ttl certificates) bodyUpdatePayload ∷ !(APayload a) Additional update information for the update system

Instances

Instances details

Functor ABody Source #
Instance details Defined in Cardano.Chain.Block.Body Methods fmap ∷ (a → b) → ABody a → ABody b Source # (<$) ∷ a → ABody b → ABody a Source #
FromCBOR Body Source #
Instance details Defined in Cardano.Chain.Block.Body Methods fromCBOR ∷ Decoder s Body Source # label ∷ Proxy Body → Text Source #
ToCBOR Body Source #
Instance details Defined in Cardano.Chain.Block.Body Methods toCBOR ∷ Body → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Body → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Body] → Size Source #
DecCBOR Body Source #
Instance details Defined in Cardano.Chain.Block.Body Methods decCBOR ∷ Decoder s Body Source # dropCBOR ∷ Proxy Body → Decoder s () Source # label ∷ Proxy Body → Text Source #
EncCBOR Body Source #
Instance details Defined in Cardano.Chain.Block.Body Methods encCBOR ∷ Body → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Body → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Body] → Size Source #
ToJSON a ⇒ ToJSON (ABody a) Source #
Instance details Defined in Cardano.Chain.Block.Body Methods toJSON ∷ ABody a → Value Source # toEncoding ∷ ABody a → Encoding Source # toJSONList ∷ [ABody a] → Value Source # toEncodingList ∷ [ABody a] → Encoding Source # omitField ∷ ABody a → Bool Source #
Generic (ABody a) Source #
Instance details Defined in Cardano.Chain.Block.Body Associated Types type Rep (ABody a) ∷ Type → Type Source # Methods from ∷ ABody a → Rep (ABody a) x Source # to ∷ Rep (ABody a) x → ABody a Source #
Show a ⇒ Show (ABody a) Source #
Instance details Defined in Cardano.Chain.Block.Body Methods showsPrec ∷ Int → ABody a → ShowS Source # show ∷ ABody a → String Source # showList ∷ [ABody a] → ShowS Source #
FromCBOR (ABody ByteSpan) Source #
Instance details Defined in Cardano.Chain.Block.Body Methods fromCBOR ∷ Decoder s (ABody ByteSpan) Source # label ∷ Proxy (ABody ByteSpan) → Text Source #
DecCBOR (ABody ByteSpan) Source #
Instance details Defined in Cardano.Chain.Block.Body Methods decCBOR ∷ Decoder s (ABody ByteSpan) Source # dropCBOR ∷ Proxy (ABody ByteSpan) → Decoder s () Source # label ∷ Proxy (ABody ByteSpan) → Text Source #
NFData a ⇒ NFData (ABody a) Source #
Instance details Defined in Cardano.Chain.Block.Body Methods rnf ∷ ABody a → () Source #
Eq a ⇒ Eq (ABody a) Source #
Instance details Defined in Cardano.Chain.Block.Body Methods (==) ∷ ABody a → ABody a → Bool Source # (/=) ∷ ABody a → ABody a → Bool Source #
type Rep (ABody a) Source #
Instance details Defined in Cardano.Chain.Block.Body type Rep (ABody a) = D1 ('MetaData "ABody" "Cardano.Chain.Block.Body" "cardano-ledger-byron-1.0.1.0-inplace" 'False) (C1 ('MetaCons "ABody" 'PrefixI 'True) ((S1 ('MetaSel ('Just "bodyTxPayload") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ATxPayload a)) :: S1 ('MetaSel ('Just "bodySscPayload") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SscPayload)) :: (S1 ('MetaSel ('Just "bodyDlgPayload") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (APayload a)) :*: S1 ('MetaSel ('Just "bodyUpdatePayload") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (APayload a)))))

bodyTxs ∷ Body → [Tx] Source #

bodyWitnesses ∷ Body → [TxWitness] Source #