type RawType (DijkstraBlockBody era)
Instance details Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal type RawType (DijkstraBlockBody era) = DijkstraBlockBodyRaw era

Methods

getMemoBytes ∷ DijkstraBlockBody era → MemoBytes (RawType (DijkstraBlockBody era))

wrapMemoBytes ∷ MemoBytes (RawType (DijkstraBlockBody era)) → DijkstraBlockBody era

(NFData (Tx 'TopTx era), NFData PerasCert) ⇒ NFData (DijkstraBlockBody era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

rnf ∷ DijkstraBlockBody era → () #

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.3.0.0-inplace" 'True) (C1 ('MetaCons "MkDijkstraBlockBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (DijkstraBlockBodyRaw era)))))

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 #

type RawType (DijkstraBlockBody era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

type RawType (DijkstraBlockBody era) = DijkstraBlockBodyRaw era

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.3.0.0-inplace" 'True) (C1 ('MetaCons "MkDijkstraBlockBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (DijkstraBlockBodyRaw era)))))

data DijkstraBlockBodyRaw era Source #

Constructors

DijkstraBlockBodyRaw
Fields dbbrTxs ∷ !(StrictSeq (Tx 'TopTx era)) dbbrPerasCert ∷ !(StrictMaybe PerasCert) Optional Peras certificate

Instances

Instances details

(AlonzoEraTx era, DecCBOR (Annotator (TxAuxData era)), DecCBOR (Annotator (TxBody 'TopTx era)), DecCBOR (Annotator (TxWits era)), Coercible (DijkstraTx 'TopTx era) (Tx 'TopTx era)) ⇒ DecCBOR (Annotator (DijkstraBlockBodyRaw era)) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

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

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

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

(AlonzoEraTx era, EncCBOR (Tx 'TopTx era)) ⇒ EncCBOR (DijkstraBlockBodyRaw era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

encCBOR ∷ DijkstraBlockBodyRaw era → Encoding Source #

(NFData (Tx 'TopTx era), NFData PerasCert) ⇒ NFData (DijkstraBlockBodyRaw era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

rnf ∷ DijkstraBlockBodyRaw era → () #

Generic (DijkstraBlockBodyRaw era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Associated Types

type Rep (DijkstraBlockBodyRaw era)

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

type Rep (DijkstraBlockBodyRaw era) = D1 ('MetaData "DijkstraBlockBodyRaw" "Cardano.Ledger.Dijkstra.BlockBody.Internal" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraBlockBodyRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "dbbrTxs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Tx 'TopTx era))) :*: S1 ('MetaSel ('Just "dbbrPerasCert") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe PerasCert))))

Methods

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

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

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

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

showsPrec ∷ Int → DijkstraBlockBodyRaw era → ShowS #

show ∷ DijkstraBlockBodyRaw era → String #

showList ∷ [DijkstraBlockBodyRaw era] → ShowS #

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

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

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

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

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

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

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

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

showTypeOf ∷ Proxy (DijkstraBlockBodyRaw era) → String Source #

type MemoHashIndex (DijkstraBlockBodyRaw era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

type MemoHashIndex (DijkstraBlockBodyRaw era) = EraIndependentBlockBody

type Rep (DijkstraBlockBodyRaw era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

type Rep (DijkstraBlockBodyRaw era) = D1 ('MetaData "DijkstraBlockBodyRaw" "Cardano.Ledger.Dijkstra.BlockBody.Internal" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraBlockBodyRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "dbbrTxs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Tx 'TopTx era))) :*: S1 ('MetaSel ('Just "dbbrPerasCert") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe PerasCert))))

alignedValidFlags ∷ Int → IntSet → Seq IsValid Source #

Given the number of transactions, and the set of indices for which these transactions do not validate, create an aligned sequence of IsValid flags.

mkBasicBlockBodyDijkstra ∷ AlonzoEraTx era ⇒ DijkstraBlockBody 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 #

newtype PerasCert Source #

Placeholder for Peras certificates

NOTE: The real type will be brought from 'cardano-base' once it's ready.

Constructors

PerasCert ByteArray

Instances

Instances details

DecCBOR PerasCert Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

decCBOR ∷ Decoder s PerasCert Source #

dropCBOR ∷ Proxy PerasCert → Decoder s () Source #

label ∷ Proxy PerasCert → Text Source #

EncCBOR PerasCert Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

encCBOR ∷ PerasCert → Encoding Source #

NFData PerasCert Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

rnf ∷ PerasCert → () #

Generic PerasCert Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Associated Types

type Rep PerasCert
Instance details Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal type Rep PerasCert = D1 ('MetaData "PerasCert" "Cardano.Ledger.Dijkstra.BlockBody.Internal" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "PerasCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteArray)))

Methods

from ∷ PerasCert → Rep PerasCert x #

to ∷ Rep PerasCert x → PerasCert #

Show PerasCert Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

showsPrec ∷ Int → PerasCert → ShowS #

show ∷ PerasCert → String #

showList ∷ [PerasCert] → ShowS #

Eq PerasCert Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

(==) ∷ PerasCert → PerasCert → Bool #

(/=) ∷ PerasCert → PerasCert → Bool #

NoThunks PerasCert Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

noThunks ∷ Context → PerasCert → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerasCert → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy PerasCert → String Source #

type Rep PerasCert Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

type Rep PerasCert = D1 ('MetaData "PerasCert" "Cardano.Ledger.Dijkstra.BlockBody.Internal" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'True) (C1 ('MetaCons "PerasCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteArray)))

data PerasKey Source #

Placeholder for Peras public keys

NOTE: The real type will be brought from 'cardano-base' once it's ready.

Constructors

PerasKey

Instances

Instances details

Generic PerasKey Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Associated Types

type Rep PerasKey
Instance details Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal type Rep PerasKey = D1 ('MetaData "PerasKey" "Cardano.Ledger.Dijkstra.BlockBody.Internal" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'False) (C1 ('MetaCons "PerasKey" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ PerasKey → Rep PerasKey x #

to ∷ Rep PerasKey x → PerasKey #

Show PerasKey Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

showsPrec ∷ Int → PerasKey → ShowS #

show ∷ PerasKey → String #

showList ∷ [PerasKey] → ShowS #

Eq PerasKey Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

(==) ∷ PerasKey → PerasKey → Bool #

(/=) ∷ PerasKey → PerasKey → Bool #

NoThunks PerasKey Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

noThunks ∷ Context → PerasKey → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerasKey → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy PerasKey → String Source #

type Rep PerasKey Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

type Rep PerasKey = D1 ('MetaData "PerasKey" "Cardano.Ledger.Dijkstra.BlockBody.Internal" "cardano-ledger-dijkstra-0.3.0.0-inplace" 'False) (C1 ('MetaCons "PerasKey" 'PrefixI 'False) (U1 ∷ Type → Type))

validatePerasCert ∷ Nonce → PerasKey → PerasCert → Bool Source #

Mocked-up Peras certificate validation routine

NOTE: this function will be replaced with the real implementation from 'cardano-base' once it's ready.

Orphan instances

EraBlockBody DijkstraEra Source #

Instance details

Associated Types

type BlockBody DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal type BlockBody DijkstraEra = DijkstraBlockBody DijkstraEra

Methods

mkBasicBlockBody ∷ BlockBody DijkstraEra Source #

txSeqBlockBodyL ∷ Lens' (BlockBody DijkstraEra) (StrictSeq (Tx 'TopTx DijkstraEra)) Source #

hashBlockBody ∷ BlockBody DijkstraEra → Hash HASH EraIndependentBlockBody Source #

numSegComponents ∷ Word64 Source #

blockBodySize ∷ ProtVer → BlockBody DijkstraEra → Int Source #