cardano-ledger-dijkstra-0.3.0.0: Cardano ledger with nested transactions
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Dijkstra.BlockBody

Synopsis

Documentation

data DijkstraBlockBody era where Source #

Bundled Patterns

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

Instances

Instances details
(AlonzoEraTx era, Coercible (DijkstraTx 'TopTx era) (Tx 'TopTx 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 #

EncCBOR (DijkstraBlockBody era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Methods

encCBOR ∷ DijkstraBlockBody era → Encoding Source #

Memoized (DijkstraBlockBody era) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal

Associated Types

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)))))

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.