Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Block

Synopsis

data Block h era where
- Block' !h !( TxSeq era) ByteString
- pattern Block :: ( Era era, ToCBORGroup ( TxSeq era), ToCBOR h) => h -> TxSeq era -> Block h era
- pattern UnserialisedBlock :: h -> TxSeq era -> Block h era
- pattern UnsafeUnserialisedBlock :: h -> TxSeq era -> Block h era
type BlockAnn era = ( FromCBOR ( Annotator ( TxBody era)), FromCBOR ( Annotator ( AuxiliaryData era)), FromCBOR ( Annotator ( Witnesses era)), ToCBOR ( TxBody era), ToCBOR ( AuxiliaryData era), ToCBOR ( Witnesses era))
bheader :: Block h era -> h
bbody :: Block h era -> TxSeq era
neededTxInsForBlock :: Era era => Block h era -> Set ( TxIn ( Crypto era))

Documentation

data Block h era Source #

Constructors

Block' !h !( TxSeq era) ByteString

Bundled Patterns

pattern Block :: ( Era era, ToCBORGroup ( TxSeq era), ToCBOR h) => h -> TxSeq era -> Block h era

pattern UnserialisedBlock :: h -> TxSeq era -> Block h era

Access a block without its serialised bytes. This is often useful when we're using a BHeaderView in place of the concrete header.

pattern UnsafeUnserialisedBlock :: h -> TxSeq era -> Block h era

Unsafely construct a block without the ability to serialise its bytes.

Anyone calling this pattern must ensure that the resulting block is never serialised. Any uses of this pattern outside of testing code should be regarded with suspicion.

Instances

Instances details

( BlockAnn era, ValidateScript era, SupportsSegWit era, FromCBOR ( Annotator ( TxSeq era)), FromCBOR ( Annotator h), Typeable h) => FromCBOR ( Annotator ( Block h era)) Source #
Instance details Defined in Cardano.Ledger.Block Methods fromCBOR :: Decoder s ( Annotator ( Block h era)) Source # label :: Proxy ( Annotator ( Block h era)) -> Text Source #
( Era era, Eq ( TxSeq era), Eq h) => Eq ( Block h era) Source #
Instance details Defined in Cardano.Ledger.Block Methods (==) :: Block h era -> Block h era -> Bool Source # (/=) :: Block h era -> Block h era -> Bool Source #
( Era era, Show ( TxSeq era), Show h) => Show ( Block h era) Source #
Instance details Defined in Cardano.Ledger.Block Methods showsPrec :: Int -> Block h era -> ShowS Source # show :: Block h era -> String Source # showList :: [ Block h era] -> ShowS Source #
Generic ( Block h era) Source #
Instance details Defined in Cardano.Ledger.Block Associated Types type Rep ( Block h era) :: Type -> Type Source # Methods from :: Block h era -> Rep ( Block h era) x Source # to :: Rep ( Block h era) x -> Block h era Source #
( Era era, Typeable h) => ToCBOR ( Block h era) Source #
Instance details Defined in Cardano.Ledger.Block Methods toCBOR :: Block h era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( Block h era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Block h era] -> Size Source #
( Era era, NoThunks ( TxSeq era), NoThunks h) => NoThunks ( Block h era) Source #
Instance details Defined in Cardano.Ledger.Block Methods noThunks :: Context -> Block h era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Block h era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Block h era) -> String Source #
type Rep ( Block h era) Source #
Instance details Defined in Cardano.Ledger.Block type Rep ( Block h era) = D1 (' MetaData "Block" "Cardano.Ledger.Block" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' False ) ( C1 (' MetaCons "Block'" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 h) :: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( TxSeq era)) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ByteString ))))

type BlockAnn era = ( FromCBOR ( Annotator ( TxBody era)), FromCBOR ( Annotator ( AuxiliaryData era)), FromCBOR ( Annotator ( Witnesses era)), ToCBOR ( TxBody era), ToCBOR ( AuxiliaryData era), ToCBOR ( Witnesses era)) Source #

bheader :: Block h era -> h Source #

bbody :: Block h era -> TxSeq era Source #

neededTxInsForBlock :: Era era => Block h era -> Set ( TxIn ( Crypto era)) Source #

The validity of any individual block depends only on a subset of the UTxO stored in the ledger state. This function returns the transaction inputs corresponding to the required UTxO for a given Block.

This function will be used by the consensus layer to enable storing the UTxO on disk. In particular, given a block, the consensus layer will use neededTxInsForBlock to retrieve the needed UTxO from disk and present only those to the ledger.