cardano-ledger-dijkstra-0.2.0.0: Cardano ledger with nested transactions

Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Dijkstra.BlockBody

Synopsis

data DijkstraBlockBody era where
- pattern DijkstraBlockBody ∷ (AlonzoEraTx era, SafeToHash (TxWits era)) ⇒ StrictSeq (Tx 'TopTx era) → StrictMaybe PerasCert → DijkstraBlockBody era
mkBasicBlockBodyDijkstra ∷ (SafeToHash (TxWits era), BlockBody era ~ DijkstraBlockBody era, AlonzoEraTx era) ⇒ BlockBody era
class EraBlockBody era ⇒ DijkstraEraBlockBody era where
- perasCertBlockBodyL ∷ Lens' (BlockBody era) (StrictMaybe PerasCert)

Documentation

data DijkstraBlockBody era where Source #

Bundled Patterns

pattern DijkstraBlockBody ∷ (AlonzoEraTx era, SafeToHash (TxWits era)) ⇒ StrictSeq (Tx 'TopTx era) → StrictMaybe PerasCert → DijkstraBlockBody era

Instances

Instances details

(AlonzoEraTx era, DecCBOR (Annotator (TxAuxData era)), DecCBOR (Annotator (TxBody 'TopTx era)), DecCBOR (Annotator (TxWits era))) ⇒ DecCBOR (Annotator (DijkstraBlockBody era)) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

decCBOR ∷ Decoder s (Annotator (DijkstraBlockBody era)) Source #

dropCBOR ∷ Proxy (Annotator (DijkstraBlockBody era)) → Decoder s () Source #

label ∷ Proxy (Annotator (DijkstraBlockBody era)) → Text Source #

Era era ⇒ EncCBORGroup (DijkstraBlockBody era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

encCBORGroup ∷ DijkstraBlockBody era → Encoding Source #

listLen ∷ Proxy (DijkstraBlockBody era) → Word Source #

Generic (DijkstraBlockBody era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Associated Types

type Rep (DijkstraBlockBody era)

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

type Rep (DijkstraBlockBody era) = D1 ('MetaData "DijkstraBlockBody" "Cardano.Ledger.Dijkstra.BlockBody.Internal" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraBlockBodyInternal" 'PrefixI 'True) (((S1 ('MetaSel ('Just "dbbTxs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Tx 'TopTx era))) :*: S1 ('MetaSel ('Just "dbbPerasCert") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe PerasCert))) :*: (S1 ('MetaSel ('Just "dbbHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash HASH EraIndependentBlockBody)) :*: S1 ('MetaSel ('Just "dbbTxsBodyBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))) :*: ((S1 ('MetaSel ('Just "dbbTxsWitsBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "dbbTxsAuxDataBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)) :*: (S1 ('MetaSel ('Just "dbbTxsIsValidBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "dbbPerasCertBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ByteString))))))

Methods

from ∷ DijkstraBlockBody era → Rep (DijkstraBlockBody era) x #

to ∷ Rep (DijkstraBlockBody era) x → DijkstraBlockBody era #

Show (Tx 'TopTx era) ⇒ Show (DijkstraBlockBody era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

showsPrec ∷ Int → DijkstraBlockBody era → ShowS #

show ∷ DijkstraBlockBody era → String #

showList ∷ [DijkstraBlockBody era] → ShowS #

Eq (Tx 'TopTx era) ⇒ Eq (DijkstraBlockBody era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

(==) ∷ DijkstraBlockBody era → DijkstraBlockBody era → Bool #

(/=) ∷ DijkstraBlockBody era → DijkstraBlockBody era → Bool #

(Typeable era, NoThunks (Tx 'TopTx era)) ⇒ NoThunks (DijkstraBlockBody era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

noThunks ∷ Context → DijkstraBlockBody era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DijkstraBlockBody era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (DijkstraBlockBody era) → String Source #

type Rep (DijkstraBlockBody era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

type Rep (DijkstraBlockBody era) = D1 ('MetaData "DijkstraBlockBody" "Cardano.Ledger.Dijkstra.BlockBody.Internal" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraBlockBodyInternal" 'PrefixI 'True) (((S1 ('MetaSel ('Just "dbbTxs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Tx 'TopTx era))) :*: S1 ('MetaSel ('Just "dbbPerasCert") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe PerasCert))) :*: (S1 ('MetaSel ('Just "dbbHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash HASH EraIndependentBlockBody)) :*: S1 ('MetaSel ('Just "dbbTxsBodyBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))) :*: ((S1 ('MetaSel ('Just "dbbTxsWitsBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "dbbTxsAuxDataBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)) :*: (S1 ('MetaSel ('Just "dbbTxsIsValidBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "dbbPerasCertBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ByteString))))))

mkBasicBlockBodyDijkstra ∷ (SafeToHash (TxWits era), BlockBody era ~ DijkstraBlockBody era, AlonzoEraTx era) ⇒ BlockBody era Source #

class EraBlockBody era ⇒ DijkstraEraBlockBody era where Source #

Dijkstra-specific extensions to EraBlockBody

Methods

perasCertBlockBodyL ∷ Lens' (BlockBody era) (StrictMaybe PerasCert) Source #

Lens to access the optional Peras certificate in the block body

Instances

Instances details

DijkstraEraBlockBody DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal Methods perasCertBlockBodyL ∷ Lens' (BlockBody DijkstraEra) (StrictMaybe PerasCert) Source #