Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Shelley.BlockChain

Synopsis

data TxSeq era where
- TxSeq' !( StrictSeq ( Tx era)) ByteString ByteString ByteString
- pattern TxSeq :: forall era. ( Era era, SafeToHash ( Witnesses era)) => StrictSeq ( Tx era) -> TxSeq era
constructMetadata :: forall era. Int -> Map Int ( Annotator ( AuxiliaryData era)) -> Seq ( Maybe ( Annotator ( AuxiliaryData era)))
txSeqTxns :: TxSeq era -> StrictSeq ( Tx era)
bbHash :: forall era. Era era => TxSeq era -> Hash ( Crypto era) EraIndependentBlockBody
bBodySize :: ToCBORGroup txSeq => txSeq -> Int
slotToNonce :: SlotNo -> Nonce
incrBlocks :: Bool -> KeyHash ' StakePool crypto -> BlocksMade crypto -> BlocksMade crypto
coreAuxDataBytes :: forall era. SafeToHash ( AuxiliaryData era) => Tx era -> StrictMaybe ByteString
txSeqDecoder :: forall era. BlockAnn era => Bool -> forall s. Decoder s ( Annotator ( TxSeq era))

Documentation

data TxSeq era Source #

Constructors

TxSeq' !( StrictSeq ( Tx era)) ByteString ByteString ByteString

Bundled Patterns

pattern TxSeq :: forall era. ( Era era, SafeToHash ( Witnesses era)) => StrictSeq ( Tx era) -> TxSeq era

Constuct a TxSeq (with all it bytes) from just Core.Tx's

Instances

Instances details

Eq ( Tx era) => Eq ( TxSeq era) Source #
Instance details Defined in Cardano.Ledger.Shelley.BlockChain Methods (==) :: TxSeq era -> TxSeq era -> Bool Source # (/=) :: TxSeq era -> TxSeq era -> Bool Source #
Show ( Tx era) => Show ( TxSeq era) Source #
Instance details Defined in Cardano.Ledger.Shelley.BlockChain 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.Shelley.BlockChain 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 #
( BlockAnn era, Typeable era) => FromCBOR ( Annotator ( TxSeq era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.BlockChain 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.Shelley.BlockChain 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 ( Tx era)) => NoThunks ( TxSeq era) Source #
Instance details Defined in Cardano.Ledger.Shelley.BlockChain 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.Shelley.BlockChain type Rep ( TxSeq era) = D1 (' MetaData "TxSeq" "Cardano.Ledger.Shelley.BlockChain" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "TxSeq'" ' PrefixI ' True ) (( S1 (' MetaSel (' Just "txSeqTxns'") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StrictSeq ( Tx 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 ))))

constructMetadata :: forall era. Int -> Map Int ( Annotator ( AuxiliaryData era)) -> Seq ( Maybe ( Annotator ( AuxiliaryData era))) Source #

Given a size and a mapping from indices to maybe metadata, return a sequence whose size is the size paramater and whose non-Nothing values correspond to the values in the mapping.

txSeqTxns :: TxSeq era -> StrictSeq ( Tx era) Source #

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

Hash a given block body

bBodySize :: ToCBORGroup txSeq => txSeq -> Int Source #

slotToNonce :: SlotNo -> Nonce Source #

incrBlocks :: Bool -> KeyHash ' StakePool crypto -> BlocksMade crypto -> BlocksMade crypto Source #

coreAuxDataBytes :: forall era. SafeToHash ( AuxiliaryData era) => Tx era -> StrictMaybe ByteString Source #

txSeqDecoder :: forall era. BlockAnn era => Bool -> forall s. Decoder s ( Annotator ( TxSeq era)) Source #

The parts of the Tx in Blocks that have to have FromCBOR(Annotator x) instances. These are exactly the parts that are SafeToHash. | Decode a TxSeq, used in decoding a Block.