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

Cardano.Ledger.Dijkstra.Block.Endorser

Description

Endorser blocks and references

Documentation

newtype EbReferences Source #

Constructors

MkEbReferences (MemoBytes EbReferencesRaw) 

Instances

Instances details
ToCBOR EbReferences Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Methods

toCBOR ∷ EbReferences → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy EbReferences → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [EbReferences] → Size 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 #

DecCBOR (Annotator EbReferences) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Block.Endorser

Methods

decCBOR ∷ Decoder s (Annotator EbReferences) Source #

dropCBOR ∷ Proxy (Annotator EbReferences) → Decoder s () Source #

label ∷ Proxy (Annotator EbReferences) → Text 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 (SafeHash EraIndependentTx) Word32 → EbReferences Source #

getEbReferences ∷ EbReferences → OMap (SafeHash EraIndependentTx) Word32 Source #

newtype EbTransactions era Source #

Constructors

EbTransactions 

Fields

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

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

mkBasicEndorserBlock ∷ EndorserBlock era Source #

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

mkBasicEndorserBlock ∷ EndorserBlock DijkstraEra Source #

referencesEndorserBlockL ∷ Lens' (EndorserBlock DijkstraEra) EbReferences Source #

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