Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Alonzo.TxSeq

Description

TxSeq. This is effectively the block body, which consists of a sequence of transactions with segregated witness and metadata information.

Synopsis

data TxSeq era where
- pattern TxSeq :: forall era. ( Era era, SafeToHash ( TxWitness era)) => StrictSeq ( ValidatedTx era) -> TxSeq era
hashTxSeq :: forall era. Era era => TxSeq era -> Hash ( Crypto era) EraIndependentBlockBody

Documentation

data TxSeq era where Source #

Bundled Patterns

pattern TxSeq :: forall era. ( Era era, SafeToHash ( TxWitness era)) => StrictSeq ( ValidatedTx era) -> TxSeq era

Instances

Instances details

Eq ( ValidatedTx era) => Eq ( TxSeq era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq Methods (==) :: TxSeq era -> TxSeq era -> Bool Source # (/=) :: TxSeq era -> TxSeq era -> Bool Source #
Show ( ValidatedTx era) => Show ( TxSeq era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq Methods showsPrec :: Int -> TxSeq era -> ShowS Source # show :: TxSeq era -> String Source # showList :: [ TxSeq era] -> ShowS Source #
Generic ( TxSeq era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq Associated Types type Rep ( TxSeq era) :: Type -> Type Source # Methods from :: TxSeq era -> Rep ( TxSeq era) x Source # to :: Rep ( TxSeq era) x -> TxSeq era Source #
( FromCBOR ( Annotator ( AuxiliaryData era)), FromCBOR ( Annotator ( Script era)), FromCBOR ( Annotator ( TxBody era)), FromCBOR ( Annotator ( Witnesses era)), ToCBOR ( AuxiliaryData era), ToCBOR ( Script era), ToCBOR ( TxBody era), ToCBOR ( Witnesses era), ValidateScript era, Script era ~ Script era, Era era) => FromCBOR ( Annotator ( TxSeq era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq Methods fromCBOR :: Decoder s ( Annotator ( TxSeq era)) Source # label :: Proxy ( Annotator ( TxSeq era)) -> Text Source #
Era era => ToCBORGroup ( TxSeq era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq Methods toCBORGroup :: TxSeq era -> Encoding Source # encodedGroupSizeExpr :: ( forall x. ToCBOR x => Proxy x -> Size ) -> Proxy ( TxSeq era) -> Size Source # listLen :: TxSeq era -> Word Source # listLenBound :: Proxy ( TxSeq era) -> Word Source #
( Typeable era, NoThunks ( ValidatedTx era)) => NoThunks ( TxSeq era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq Methods noThunks :: Context -> TxSeq era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxSeq era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TxSeq era) -> String Source #
type Rep ( TxSeq era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxSeq type Rep ( TxSeq era) = D1 (' MetaData "TxSeq" "Cardano.Ledger.Alonzo.TxSeq" "cardano-ledger-alonzo-0.1.0.0-xW3meaGVQP43dxJ76zbGD" ' False ) ( C1 (' MetaCons "TxSeq'" ' PrefixI ' True ) (( S1 (' MetaSel (' Just "txSeqTxns") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StrictSeq ( ValidatedTx era))) :: S1 (' MetaSel (' Just "txSeqBodyBytes") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ByteString )) :: ( S1 (' MetaSel (' Just "txSeqWitsBytes") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ByteString ) :: ( S1 (' MetaSel (' Just "txSeqMetadataBytes") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ByteString ) :: S1 (' MetaSel (' Just "txSeqIsValidBytes") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ByteString )))))

hashTxSeq :: forall era. Era era => TxSeq era -> Hash ( Crypto era) EraIndependentBlockBody Source #

Hash a given block body