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

Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Dijkstra.Block.Endorser

Description

Endorser blocks and references

Documentation

data EbReferences Source #

Instances

Instances details

DecCBOR EbReferences Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Methods

decCBOR ∷ Decoder s EbReferences Source #

dropCBOR ∷ Proxy EbReferences → Decoder s () Source #

label ∷ Proxy EbReferences → Text Source #

EncCBOR EbReferences Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Methods

encCBOR ∷ EbReferences → Encoding Source #

SafeToHash EbReferences Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Methods

originalBytes ∷ EbReferences → ByteString Source #

originalBytesSize ∷ EbReferences → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → EbReferences → SafeHash i Source #

EqRaw EbReferences Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Methods

eqRaw ∷ EbReferences → EbReferences → Bool Source #

Memoized EbReferences Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Associated Types

type RawType EbReferences
Instance details Defined in Cardano.Ledger.Dijkstra.Block.Endorser type RawType EbReferences

Methods

getMemoBytes ∷ EbReferences → MemoBytes (RawType EbReferences)

wrapMemoBytes ∷ MemoBytes (RawType EbReferences) → EbReferences

NFData EbReferences Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Methods

rnf ∷ EbReferences → () #

Generic EbReferences Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Associated Types

type Rep EbReferences
Instance details Defined in Cardano.Ledger.Dijkstra.Block.Endorser type Rep EbReferences

Methods

from ∷ EbReferences → Rep EbReferences x #

to ∷ Rep EbReferences x → EbReferences #

Show EbReferences Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Methods

showsPrec ∷ Int → EbReferences → ShowS #

show ∷ EbReferences → String #

showList ∷ [EbReferences] → ShowS #

Eq EbReferences Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Methods

(==) ∷ EbReferences → EbReferences → Bool #

(/=) ∷ EbReferences → EbReferences → Bool #

NoThunks EbReferences Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Methods

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

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

showTypeOf ∷ Proxy EbReferences → String Source #

HashAnnotated EbReferences EraIndependentEbReferences Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Methods

hashAnnotated ∷ EbReferences → SafeHash EraIndependentEbReferences Source #

type RawType EbReferences Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

type RawType EbReferences

type Rep EbReferences Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

type Rep EbReferences

mkEbReferences ∷ Version → OMap (Hash HASH EraIndependentTx) Word32 → EbReferences Source #

getEbReferences ∷ EbReferences → OMap (Hash HASH EraIndependentTx) Word32 Source #

newtype EbTransactions era Source #

Constructors

EbTransactions
Fields unEbTransactions ∷ StrictSeq (Tx 'TopTx era)

Instances

Instances details

NFData (Tx 'TopTx era) ⇒ NFData (EbTransactions era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Methods

rnf ∷ EbTransactions era → () #

Generic (EbTransactions era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Associated Types

type Rep (EbTransactions era)

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

type Rep (EbTransactions era) = D1 ('MetaData "EbTransactions" "Cardano.Ledger.Dijkstra.Block.Endorser" "cardano-ledger-dijkstra-0.5.0.0-inplace" 'True) (C1 ('MetaCons "EbTransactions" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEbTransactions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictSeq (Tx 'TopTx era)))))

Methods

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

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

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

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Methods

showsPrec ∷ Int → EbTransactions era → ShowS #

show ∷ EbTransactions era → String #

showList ∷ [EbTransactions era] → ShowS #

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

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Methods

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

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

NoThunks (Tx 'TopTx era) ⇒ NoThunks (EbTransactions era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Methods

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

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

showTypeOf ∷ Proxy (EbTransactions era) → String Source #

type Rep (EbTransactions era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

type Rep (EbTransactions era) = D1 ('MetaData "EbTransactions" "Cardano.Ledger.Dijkstra.Block.Endorser" "cardano-ledger-dijkstra-0.5.0.0-inplace" 'True) (C1 ('MetaCons "EbTransactions" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEbTransactions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictSeq (Tx 'TopTx era)))))

data DijkstraEndorserBlock era Source #

Constructors

DijkstraEndorserBlock
Fields debReferences ∷ !EbReferences debTransactions ∷ !(EbTransactions era)

Instances

Instances details

NFData (Tx 'TopTx era) ⇒ NFData (DijkstraEndorserBlock era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Methods

rnf ∷ DijkstraEndorserBlock era → () #

Generic (DijkstraEndorserBlock era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Associated Types

type Rep (DijkstraEndorserBlock era)

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

type Rep (DijkstraEndorserBlock era) = D1 ('MetaData "DijkstraEndorserBlock" "Cardano.Ledger.Dijkstra.Block.Endorser" "cardano-ledger-dijkstra-0.5.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraEndorserBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "debReferences") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EbReferences) :*: S1 ('MetaSel ('Just "debTransactions") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EbTransactions era))))

Methods

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

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

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

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Methods

showsPrec ∷ Int → DijkstraEndorserBlock era → ShowS #

show ∷ DijkstraEndorserBlock era → String #

showList ∷ [DijkstraEndorserBlock era] → ShowS #

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

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Methods

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

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

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

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Methods

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

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

showTypeOf ∷ Proxy (DijkstraEndorserBlock era) → String Source #

type Rep (DijkstraEndorserBlock era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

type Rep (DijkstraEndorserBlock era) = D1 ('MetaData "DijkstraEndorserBlock" "Cardano.Ledger.Dijkstra.Block.Endorser" "cardano-ledger-dijkstra-0.5.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraEndorserBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "debReferences") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EbReferences) :*: S1 ('MetaSel ('Just "debTransactions") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EbTransactions era))))

class EraTx era ⇒ EraEndorserBlock era where Source #

Associated Types

type EndorserBlock era = (r ∷ Type) | r → era Source #

Methods

referencesEndorserBlockL ∷ Lens' (EndorserBlock era) EbReferences Source #

transactionsEndorserBlockL ∷ Lens' (EndorserBlock era) (EbTransactions era) Source #

Instances

Instances details

EraEndorserBlock DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Associated Types

type EndorserBlock DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.Block.Endorser type EndorserBlock DijkstraEra = DijkstraEndorserBlock DijkstraEra

Methods

referencesEndorserBlockL ∷ Lens' (EndorserBlock DijkstraEra) EbReferences Source #

transactionsEndorserBlockL ∷ Lens' (EndorserBlock DijkstraEra) (EbTransactions DijkstraEra) Source #