ouroboros-consensus:cardano
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Shelley.Ledger.Block

Synopsis

Documentation

class HasHeader (Header blk) ⇒ GetHeader blk where Source #

Methods

getHeader ∷ blk → Header blk Source #

blockMatchesHeader ∷ Header blk → blk → Bool Source #

Check whether the header is the header of the block.

For example, by checking whether the hash of the body stored in the header matches that of the block.

headerIsEBB ∷ Header blk → Maybe EpochNo Source #

When the given header is the header of an Epoch Boundary Block, returns its epoch number.

Instances

Instances details
GetHeader ByronBlock Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Block

Methods

getHeader ∷ ByronBlock → Header ByronBlock Source #

blockMatchesHeader ∷ Header ByronBlock → ByronBlock → Bool Source #

headerIsEBB ∷ Header ByronBlock → Maybe EpochNo Source #

CanHardFork xs ⇒ GetHeader (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

getHeader ∷ HardForkBlock xs → Header (HardForkBlock xs) Source #

blockMatchesHeader ∷ Header (HardForkBlock xs) → HardForkBlock xs → Bool Source #

headerIsEBB ∷ Header (HardForkBlock xs) → Maybe EpochNo Source #

Bridge m a ⇒ GetHeader (DualBlock m a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

getHeader ∷ DualBlock m a → Header (DualBlock m a) Source #

blockMatchesHeader ∷ Header (DualBlock m a) → DualBlock m a → Bool Source #

headerIsEBB ∷ Header (DualBlock m a) → Maybe EpochNo Source #

ShelleyCompatible proto era ⇒ GetHeader (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

getHeader ∷ ShelleyBlock proto era → Header (ShelleyBlock proto era) Source #

blockMatchesHeader ∷ Header (ShelleyBlock proto era) → ShelleyBlock proto era → Bool Source #

headerIsEBB ∷ Header (ShelleyBlock proto era) → Maybe EpochNo Source #

data family Header blk Source #

Instances

Instances details
GetHeader1 Header Source # 
Instance details

Defined in Ouroboros.Consensus.Block.Abstract

Methods

getHeader1 ∷ Header blk → Header blk Source #

Inject Header Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary

Methods

inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → Header x → Header (HardForkBlock xs) Source #

Isomorphic Header Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

project ∷ NoHardForks blk ⇒ Header (HardForkBlock '[blk]) → Header blk Source #

inject ∷ NoHardForks blk ⇒ Header blk → Header (HardForkBlock '[blk]) Source #

HasNestedContent Header ByronBlock Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation

Methods

unnest ∷ Header ByronBlock → DepPair (NestedCtxt Header ByronBlock) Source #

nest ∷ DepPair (NestedCtxt Header ByronBlock) → Header ByronBlock Source #

ReconstructNestedCtxt Header ByronBlock Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

reconstructPrefixLen ∷ proxy (Header ByronBlock) → PrefixLen Source #

reconstructNestedCtxt ∷ proxy (Header ByronBlock) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) ByronBlock Source #

CanHardFork xs ⇒ HasNestedContent Header (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

unnest ∷ Header (HardForkBlock xs) → DepPair (NestedCtxt Header (HardForkBlock xs)) Source #

nest ∷ DepPair (NestedCtxt Header (HardForkBlock xs)) → Header (HardForkBlock xs) Source #

SerialiseNodeToNode ByronBlock (Header ByronBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → Header ByronBlock → Encoding Source #

decodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → ∀ s. Decoder s (Header ByronBlock) Source #

SerialiseHFC xs ⇒ ReconstructNestedCtxt Header (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

reconstructPrefixLen ∷ proxy (Header (HardForkBlock xs)) → PrefixLen Source #

reconstructNestedCtxt ∷ proxy (Header (HardForkBlock xs)) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock xs) Source #

StandardHash blk ⇒ StandardHash (Header blk ∷ Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Block.Abstract

Typeable xs ⇒ ShowProxy (Header (HardForkBlock xs) ∷ Type) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

showProxy ∷ Proxy (Header (HardForkBlock xs)) → String #

ShowProxy (Header ByronBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Block

Methods

showProxy ∷ Proxy (Header ByronBlock) → String #

(Typeable era, Typeable proto) ⇒ ShowProxy (Header (ShelleyBlock proto era) ∷ Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

showProxy ∷ Proxy (Header (ShelleyBlock proto era)) → String #

HasNestedContent Header m ⇒ HasNestedContent Header (DualBlock m a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

unnest ∷ Header (DualBlock m a) → DepPair (NestedCtxt Header (DualBlock m a)) Source #

nest ∷ DepPair (NestedCtxt Header (DualBlock m a)) → Header (DualBlock m a) Source #

ReconstructNestedCtxt Header m ⇒ ReconstructNestedCtxt Header (DualBlock m a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

reconstructPrefixLen ∷ proxy (Header (DualBlock m a)) → PrefixLen Source #

reconstructNestedCtxt ∷ proxy (Header (DualBlock m a)) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (DualBlock m a) Source #

ShelleyBasedEra era ⇒ ReconstructNestedCtxt Header (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

reconstructPrefixLen ∷ proxy (Header (ShelleyBlock proto era)) → PrefixLen Source #

reconstructNestedCtxt ∷ proxy (Header (ShelleyBlock proto era)) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (ShelleyBlock proto era) Source #

CanHardFork xs ⇒ SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header ∷ Type → Type) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

sameDepIndex ∷ NestedCtxt_ (HardForkBlock xs) Header a → NestedCtxt_ (HardForkBlock xs) Header b → Maybe (a :~: b) Source #

(Typeable m, Typeable a) ⇒ ShowProxy (DualHeader m a ∷ Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showProxy ∷ Proxy (DualHeader m a) → String #

ShelleyCompatible proto era ⇒ DecCBOR (Annotator (Header (ShelleyBlock proto era))) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

decCBOR ∷ Decoder s (Annotator (Header (ShelleyBlock proto era))) Source #

dropCBOR ∷ Proxy (Annotator (Header (ShelleyBlock proto era))) → Decoder s () Source #

label ∷ Proxy (Annotator (Header (ShelleyBlock proto era))) → Text Source #

ShelleyCompatible proto era ⇒ EncCBOR (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

encCBOR ∷ Header (ShelleyBlock proto era) → Encoding Source #

All (Compose Eq Header) xs ⇒ Eq (Header (HardForkBlock xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

(==) ∷ Header (HardForkBlock xs) → Header (HardForkBlock xs) → Bool #

(/=) ∷ Header (HardForkBlock xs) → Header (HardForkBlock xs) → Bool #

Eq (Header ByronBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Block

Methods

(==) ∷ Header ByronBlock → Header ByronBlock → Bool #

(/=) ∷ Header ByronBlock → Header ByronBlock → Bool #

ShelleyCompatible proto era ⇒ Eq (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

(==) ∷ Header (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → Bool #

(/=) ∷ Header (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → Bool #

Generic (Header ByronBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Block

Associated Types

type Rep (Header ByronBlock) 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Block

type Rep (Header ByronBlock) = D1 ('MetaData "Header" "Ouroboros.Consensus.Byron.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ByronHeader" 'PrefixI 'True) ((S1 ('MetaSel ('Just "byronHeaderRaw") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ABlockOrBoundaryHdr ByteString)) :*: S1 ('MetaSel ('Just "byronHeaderSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :*: (S1 ('MetaSel ('Just "byronHeaderHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByronHash) :*: S1 ('MetaSel ('Just "byronHeaderBlockSizeHint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SizeInBytes))))

Methods

from ∷ Header ByronBlock → Rep (Header ByronBlock) x #

to ∷ Rep (Header ByronBlock) x → Header ByronBlock #

Generic (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Associated Types

type Rep (Header (ShelleyBlock proto era)) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type Rep (Header (ShelleyBlock proto era)) = D1 ('MetaData "Header" "Ouroboros.Consensus.Shelley.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ShelleyHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyHeaderRaw") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShelleyProtocolHeader proto)) :*: S1 ('MetaSel ('Just "shelleyHeaderHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShelleyHash)))

Methods

from ∷ Header (ShelleyBlock proto era) → Rep (Header (ShelleyBlock proto era)) x #

to ∷ Rep (Header (ShelleyBlock proto era)) x → Header (ShelleyBlock proto era) #

CanHardFork xs ⇒ Show (Header (HardForkBlock xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

showsPrec ∷ Int → Header (HardForkBlock xs) → ShowS #

show ∷ Header (HardForkBlock xs) → String #

showList ∷ [Header (HardForkBlock xs)] → ShowS #

Show (Header ByronBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Block

Methods

showsPrec ∷ Int → Header ByronBlock → ShowS #

show ∷ Header ByronBlock → String #

showList ∷ [Header ByronBlock] → ShowS #

ShelleyCompatible proto era ⇒ Show (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

showsPrec ∷ Int → Header (ShelleyBlock proto era) → ShowS #

show ∷ Header (ShelleyBlock proto era) → String #

showList ∷ [Header (ShelleyBlock proto era)] → ShowS #

CanHardFork xs ⇒ NoThunks (Header (HardForkBlock xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

noThunks ∷ Context → Header (HardForkBlock xs) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Header (HardForkBlock xs) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Header (HardForkBlock xs)) → String Source #

NoThunks (Header (DualBlock m a)) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

noThunks ∷ Context → Header (DualBlock m a) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Header (DualBlock m a) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Header (DualBlock m a)) → String Source #

NoThunks (Header ByronBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Block

Methods

noThunks ∷ Context → Header ByronBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Header ByronBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Header ByronBlock) → String Source #

ShelleyCompatible proto era ⇒ NoThunks (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

noThunks ∷ Context → Header (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Header (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Header (ShelleyBlock proto era)) → String Source #

SignedHeader (ShelleyProtocolHeader proto) ⇒ SignedHeader (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Protocol

Methods

headerSigned ∷ Header (ShelleyBlock proto era) → Signed (Header (ShelleyBlock proto era)) Source #

All CondenseConstraints xs ⇒ Condense (Header (HardForkBlock xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Condense

Methods

condense ∷ Header (HardForkBlock xs) → String Source #

Condense (Header ByronBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Block

Methods

condense ∷ Header ByronBlock → String Source #

ShelleyCompatible proto era ⇒ Condense (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

condense ∷ Header (ShelleyBlock proto era) → String Source #

CanHardFork xs ⇒ HasHeader (Header (HardForkBlock xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

getHeaderFields ∷ Header (HardForkBlock xs) → HeaderFields (Header (HardForkBlock xs)) #

HasHeader (Header ByronBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Block

Methods

getHeaderFields ∷ Header ByronBlock → HeaderFields (Header ByronBlock) #

ShelleyCompatible proto era ⇒ HasHeader (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

getHeaderFields ∷ Header (ShelleyBlock proto era) → HeaderFields (Header (ShelleyBlock proto era)) #

DecodeDiskDep (NestedCtxt Header) ByronBlock Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

decodeDiskDep ∷ CodecConfig ByronBlock → NestedCtxt Header ByronBlock a → ∀ s. Decoder s (ByteString → a) Source #

DecodeDiskDepIx (NestedCtxt Header) ByronBlock Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

decodeDiskDepIx ∷ CodecConfig ByronBlock → Decoder s (SomeSecond (NestedCtxt Header) ByronBlock) Source #

EncodeDiskDep (NestedCtxt Header) ByronBlock Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeDiskDep ∷ CodecConfig ByronBlock → NestedCtxt Header ByronBlock a → a → Encoding Source #

EncodeDiskDepIx (NestedCtxt Header) ByronBlock Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeDiskDepIx ∷ CodecConfig ByronBlock → SomeSecond (NestedCtxt Header) ByronBlock → Encoding Source #

SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (Header (HardForkBlock xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode

Methods

encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → Header (HardForkBlock xs) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → ∀ s. Decoder s (Header (HardForkBlock xs)) Source #

SerialiseHFC xs ⇒ DecodeDiskDep (NestedCtxt Header) (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

decodeDiskDep ∷ CodecConfig (HardForkBlock xs) → NestedCtxt Header (HardForkBlock xs) a → ∀ s. Decoder s (ByteString → a) Source #

SerialiseHFC xs ⇒ DecodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

decodeDiskDepIx ∷ CodecConfig (HardForkBlock xs) → Decoder s (SomeSecond (NestedCtxt Header) (HardForkBlock xs)) Source #

SerialiseHFC xs ⇒ EncodeDiskDep (NestedCtxt Header) (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

encodeDiskDep ∷ CodecConfig (HardForkBlock xs) → NestedCtxt Header (HardForkBlock xs) a → a → Encoding Source #

SerialiseHFC xs ⇒ EncodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

encodeDiskDepIx ∷ CodecConfig (HardForkBlock xs) → SomeSecond (NestedCtxt Header) (HardForkBlock xs) → Encoding Source #

ShelleyCompatible proto era ⇒ DecodeDiskDep (NestedCtxt Header) (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

decodeDiskDep ∷ CodecConfig (ShelleyBlock proto era) → NestedCtxt Header (ShelleyBlock proto era) a → ∀ s. Decoder s (ByteString → a) Source #

ShelleyBasedEra era ⇒ DecodeDiskDepIx (NestedCtxt Header) (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

decodeDiskDepIx ∷ CodecConfig (ShelleyBlock proto era) → Decoder s (SomeSecond (NestedCtxt Header) (ShelleyBlock proto era)) Source #

EncodeDiskDep (NestedCtxt Header) m ⇒ EncodeDiskDep (NestedCtxt Header) (DualBlock m a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

encodeDiskDep ∷ CodecConfig (DualBlock m a) → NestedCtxt Header (DualBlock m a) a0 → a0 → Encoding Source #

ShelleyCompatible proto era ⇒ EncodeDiskDep (NestedCtxt Header) (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeDiskDep ∷ CodecConfig (ShelleyBlock proto era) → NestedCtxt Header (ShelleyBlock proto era) a → a → Encoding Source #

EncodeDiskDepIx (NestedCtxt Header) m ⇒ EncodeDiskDepIx (NestedCtxt Header) (DualBlock m a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

encodeDiskDepIx ∷ CodecConfig (DualBlock m a) → SomeSecond (NestedCtxt Header) (DualBlock m a) → Encoding Source #

ShelleyBasedEra era ⇒ EncodeDiskDepIx (NestedCtxt Header) (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeDiskDepIx ∷ CodecConfig (ShelleyBlock proto era) → SomeSecond (NestedCtxt Header) (ShelleyBlock proto era) → Encoding Source #

Show (Header m) ⇒ Show (DualHeader m a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showsPrec ∷ Int → DualHeader m a → ShowS #

show ∷ DualHeader m a → String #

showList ∷ [DualHeader m a] → ShowS #

Bridge m a ⇒ HasHeader (DualHeader m a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

getHeaderFields ∷ DualHeader m a → HeaderFields (DualHeader m a) #

ShelleyCompatible proto era ⇒ SerialiseNodeToNode (ShelleyBlock proto era) (Header (ShelleyBlock proto era)) Source #

CBOR-in-CBOR to be compatible with the wrapped (Serialised) variant.

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → ∀ s. Decoder s (Header (ShelleyBlock proto era)) Source #

ShelleyCompatible proto era ⇒ EncodeDisk (ShelleyBlock proto era) (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → Encoding Source #

ShelleyCompatible proto era ⇒ DecodeDisk (ShelleyBlock proto era) (ByteString → Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s (ByteString → Header (ShelleyBlock proto era)) Source #

All SingleEraBlock xs ⇒ Show (NestedCtxt_ (HardForkBlock xs) Header a) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

showsPrec ∷ Int → NestedCtxt_ (HardForkBlock xs) Header a → ShowS #

show ∷ NestedCtxt_ (HardForkBlock xs) Header a → String #

showList ∷ [NestedCtxt_ (HardForkBlock xs) Header a] → ShowS #

data Header ByronBlock Source #

Byron header

See ByronBlock for comments on why we cache certain values.

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Block

data Header ByronBlock = ByronHeader {}
type HeaderHash (Header blk ∷ Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Block.Abstract

type HeaderHash (Header blk ∷ Type) = HeaderHash blk
type Rep (Header ByronBlock) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Block

type Rep (Header ByronBlock) = D1 ('MetaData "Header" "Ouroboros.Consensus.Byron.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ByronHeader" 'PrefixI 'True) ((S1 ('MetaSel ('Just "byronHeaderRaw") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ABlockOrBoundaryHdr ByteString)) :*: S1 ('MetaSel ('Just "byronHeaderSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :*: (S1 ('MetaSel ('Just "byronHeaderHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByronHash) :*: S1 ('MetaSel ('Just "byronHeaderBlockSizeHint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SizeInBytes))))
type Rep (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type Rep (Header (ShelleyBlock proto era)) = D1 ('MetaData "Header" "Ouroboros.Consensus.Shelley.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ShelleyHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyHeaderRaw") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShelleyProtocolHeader proto)) :*: S1 ('MetaSel ('Just "shelleyHeaderHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShelleyHash)))
type BlockProtocol (Header blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Block.Abstract

type BlockProtocol (Header blk) = BlockProtocol blk
newtype Header (DisableDiffusionPipelining blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

newtype Header (DisableDiffusionPipelining blk) = DisableDiffusionPipeliningHeader (Header blk)
newtype Header (SelectViewDiffusionPipelining blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

newtype Header (SelectViewDiffusionPipelining blk) = SelectViewDiffusionPipeliningHeader (Header blk)
newtype Header (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

newtype Header (HardForkBlock xs) = HardForkHeader {}
type Signed (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Protocol

type Signed (Header (ShelleyBlock proto era)) = Signed (ShelleyProtocolHeader proto)
newtype Header (DualBlock m a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

newtype Header (DualBlock m a) = DualHeader {}
data Header (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

data Header (ShelleyBlock proto era) = ShelleyHeader {}

class (ShelleyCompatible (BlockProtocol blk) (ShelleyBlockLedgerEra blk), blk ~ ShelleyBlock (BlockProtocol blk) (ShelleyBlockLedgerEra blk)) ⇒ IsShelleyBlock blk Source #

Instances

Instances details
(proto ~ BlockProtocol (ShelleyBlock proto era), ShelleyCompatible proto era) ⇒ IsShelleyBlock (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

data family NestedCtxt_ blk ∷ (Type → Type) → Type → Type Source #

Context identifying what kind of block we have

In almost all places we will use NestedCtxt rather than NestedCtxt_.

Instances

Instances details
CanHardFork xs ⇒ SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header ∷ Type → Type) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

sameDepIndex ∷ NestedCtxt_ (HardForkBlock xs) Header a → NestedCtxt_ (HardForkBlock xs) Header b → Maybe (a :~: b) Source #

SameDepIndex (NestedCtxt_ m f) ⇒ SameDepIndex (NestedCtxt_ (DualBlock m a) f ∷ Type → Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

sameDepIndex ∷ NestedCtxt_ (DualBlock m a) f a0 → NestedCtxt_ (DualBlock m a) f b → Maybe (a0 :~: b) Source #

SameDepIndex (NestedCtxt_ ByronBlock f ∷ Type → Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation

Methods

sameDepIndex ∷ NestedCtxt_ ByronBlock f a → NestedCtxt_ ByronBlock f b → Maybe (a :~: b) Source #

SameDepIndex (NestedCtxt_ (ShelleyBlock proto era) f ∷ Type → Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

sameDepIndex ∷ NestedCtxt_ (ShelleyBlock proto era) f a → NestedCtxt_ (ShelleyBlock proto era) f b → Maybe (a :~: b) Source #

TrivialDependency (NestedCtxt_ (ShelleyBlock proto era) f ∷ Type → Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

hasSingleIndex ∷ NestedCtxt_ (ShelleyBlock proto era) f a → NestedCtxt_ (ShelleyBlock proto era) f b → a :~: b Source #

indexIsTrivial ∷ NestedCtxt_ (ShelleyBlock proto era) f (TrivialIndex (NestedCtxt_ (ShelleyBlock proto era) f) ∷ Type) Source #

All SingleEraBlock xs ⇒ Show (NestedCtxt_ (HardForkBlock xs) Header a) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

Methods

showsPrec ∷ Int → NestedCtxt_ (HardForkBlock xs) Header a → ShowS #

show ∷ NestedCtxt_ (HardForkBlock xs) Header a → String #

showList ∷ [NestedCtxt_ (HardForkBlock xs) Header a] → ShowS #

Show (NestedCtxt_ m f x) ⇒ Show (NestedCtxt_ (DualBlock m a) f x) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showsPrec ∷ Int → NestedCtxt_ (DualBlock m a) f x → ShowS #

show ∷ NestedCtxt_ (DualBlock m a) f x → String #

showList ∷ [NestedCtxt_ (DualBlock m a) f x] → ShowS #

Show (NestedCtxt_ ByronBlock f a) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation

Methods

showsPrec ∷ Int → NestedCtxt_ ByronBlock f a → ShowS #

show ∷ NestedCtxt_ ByronBlock f a → String #

showList ∷ [NestedCtxt_ ByronBlock f a] → ShowS #

Show (NestedCtxt_ (ShelleyBlock proto era) f a) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

showsPrec ∷ Int → NestedCtxt_ (ShelleyBlock proto era) f a → ShowS #

show ∷ NestedCtxt_ (ShelleyBlock proto era) f a → String #

showList ∷ [NestedCtxt_ (ShelleyBlock proto era) f a] → ShowS #

data NestedCtxt_ ByronBlock f a Source #

Since the Byron header does not contain the size, we include it in the nested type instead.

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation

data NestedCtxt_ ByronBlock f a where
type TrivialIndex (NestedCtxt_ (ShelleyBlock proto era) f ∷ Type → Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type TrivialIndex (NestedCtxt_ (ShelleyBlock proto era) f ∷ Type → Type) = f (ShelleyBlock proto era)
data NestedCtxt_ (HardForkBlock xs) a b Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

data NestedCtxt_ (HardForkBlock xs) a b where
newtype NestedCtxt_ (DualBlock m a) f x Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

newtype NestedCtxt_ (DualBlock m a) f x where
data NestedCtxt_ (ShelleyBlock proto era) f a Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

data NestedCtxt_ (ShelleyBlock proto era) f a where

class (EraBlockBody era, EraGov era, ApplyTx era, ApplyTick era, EraTransition era, EraForecast era, NoThunks (StashedAVVMAddresses era), EncCBOR (StashedAVVMAddresses era), DecCBOR (StashedAVVMAddresses era), Show (StashedAVVMAddresses era), Eq (StashedAVVMAddresses era), DecCBOR (PredicateFailure (EraRule "LEDGER" era)), EncCBOR (PredicateFailure (EraRule "LEDGER" era)), DecCBOR (PredicateFailure (EraRule "UTXOW" era)), EncCBOR (PredicateFailure (EraRule "UTXOW" era)), Eq (PredicateFailure (EraRule "BBODY" era)), Show (PredicateFailure (EraRule "BBODY" era)), NoThunks (TranslationContext era), ToCBOR (TranslationContext era), FromCBOR (TranslationContext era)) ⇒ ShelleyBasedEra era Source #

Consensus often needs some more functionality than the ledger currently provides.

Either the functionality shouldn't or can't live in the ledger, in which case it can be part and remain part of ShelleyBasedEra. Or, the functionality should live in the ledger, but hasn't yet been added to the ledger, or it hasn't yet been propagated to this repository, in which case it can be added to this class until that is the case.

If this class becomes redundant, We can move it to ledger and re-export it from here.

TODO Currently we include some constraints on the update state which are needed to determine the hard fork point. In the future this should be replaced with an appropriate API - see https://github.com/IntersectMBO/ouroboros-network/issues/2890

Minimal complete definition

applyShelleyBasedTx, getConwayEraGovDict, mkEraMkMempoolApplyTxError

Instances

Instances details
ShelleyBasedEra AllegraEra Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

applyShelleyBasedTx ∷ Globals → LedgerEnv AllegraEra → LedgerState AllegraEra → WhetherToIntervene → Tx 'TopTx AllegraEra → Except (ApplyTxError AllegraEra) (LedgerState AllegraEra, Validated (Tx 'TopTx AllegraEra)) Source #

getConwayEraGovDict ∷ proxy AllegraEra → Maybe (ConwayEraGovDict AllegraEra) Source #

mkEraMkMempoolApplyTxError ∷ proxy AllegraEra → Maybe (Text → ApplyTxError AllegraEra) Source #

getShelleyEraPerasRoundLength ∷ proxy AllegraEra → PerasEnabled PerasRoundLength Source #

ShelleyBasedEra AlonzoEra Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

applyShelleyBasedTx ∷ Globals → LedgerEnv AlonzoEra → LedgerState AlonzoEra → WhetherToIntervene → Tx 'TopTx AlonzoEra → Except (ApplyTxError AlonzoEra) (LedgerState AlonzoEra, Validated (Tx 'TopTx AlonzoEra)) Source #

getConwayEraGovDict ∷ proxy AlonzoEra → Maybe (ConwayEraGovDict AlonzoEra) Source #

mkEraMkMempoolApplyTxError ∷ proxy AlonzoEra → Maybe (Text → ApplyTxError AlonzoEra) Source #

getShelleyEraPerasRoundLength ∷ proxy AlonzoEra → PerasEnabled PerasRoundLength Source #

ShelleyBasedEra BabbageEra Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

applyShelleyBasedTx ∷ Globals → LedgerEnv BabbageEra → LedgerState BabbageEra → WhetherToIntervene → Tx 'TopTx BabbageEra → Except (ApplyTxError BabbageEra) (LedgerState BabbageEra, Validated (Tx 'TopTx BabbageEra)) Source #

getConwayEraGovDict ∷ proxy BabbageEra → Maybe (ConwayEraGovDict BabbageEra) Source #

mkEraMkMempoolApplyTxError ∷ proxy BabbageEra → Maybe (Text → ApplyTxError BabbageEra) Source #

getShelleyEraPerasRoundLength ∷ proxy BabbageEra → PerasEnabled PerasRoundLength Source #

ShelleyBasedEra ConwayEra Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

applyShelleyBasedTx ∷ Globals → LedgerEnv ConwayEra → LedgerState ConwayEra → WhetherToIntervene → Tx 'TopTx ConwayEra → Except (ApplyTxError ConwayEra) (LedgerState ConwayEra, Validated (Tx 'TopTx ConwayEra)) Source #

getConwayEraGovDict ∷ proxy ConwayEra → Maybe (ConwayEraGovDict ConwayEra) Source #

mkEraMkMempoolApplyTxError ∷ proxy ConwayEra → Maybe (Text → ApplyTxError ConwayEra) Source #

getShelleyEraPerasRoundLength ∷ proxy ConwayEra → PerasEnabled PerasRoundLength Source #

ShelleyBasedEra DijkstraEra Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

applyShelleyBasedTx ∷ Globals → LedgerEnv DijkstraEra → LedgerState DijkstraEra → WhetherToIntervene → Tx 'TopTx DijkstraEra → Except (ApplyTxError DijkstraEra) (LedgerState DijkstraEra, Validated (Tx 'TopTx DijkstraEra)) Source #

getConwayEraGovDict ∷ proxy DijkstraEra → Maybe (ConwayEraGovDict DijkstraEra) Source #

mkEraMkMempoolApplyTxError ∷ proxy DijkstraEra → Maybe (Text → ApplyTxError DijkstraEra) Source #

getShelleyEraPerasRoundLength ∷ proxy DijkstraEra → PerasEnabled PerasRoundLength Source #

ShelleyBasedEra MaryEra Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

applyShelleyBasedTx ∷ Globals → LedgerEnv MaryEra → LedgerState MaryEra → WhetherToIntervene → Tx 'TopTx MaryEra → Except (ApplyTxError MaryEra) (LedgerState MaryEra, Validated (Tx 'TopTx MaryEra)) Source #

getConwayEraGovDict ∷ proxy MaryEra → Maybe (ConwayEraGovDict MaryEra) Source #

mkEraMkMempoolApplyTxError ∷ proxy MaryEra → Maybe (Text → ApplyTxError MaryEra) Source #

getShelleyEraPerasRoundLength ∷ proxy MaryEra → PerasEnabled PerasRoundLength Source #

ShelleyBasedEra ShelleyEra Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Eras

Methods

applyShelleyBasedTx ∷ Globals → LedgerEnv ShelleyEra → LedgerState ShelleyEra → WhetherToIntervene → Tx 'TopTx ShelleyEra → Except (ApplyTxError ShelleyEra) (LedgerState ShelleyEra, Validated (Tx 'TopTx ShelleyEra)) Source #

getConwayEraGovDict ∷ proxy ShelleyEra → Maybe (ConwayEraGovDict ShelleyEra) Source #

mkEraMkMempoolApplyTxError ∷ proxy ShelleyEra → Maybe (Text → ApplyTxError ShelleyEra) Source #

getShelleyEraPerasRoundLength ∷ proxy ShelleyEra → PerasEnabled PerasRoundLength Source #

data ShelleyBlock proto era Source #

Shelley-based block type.

This block is parametrised over both the (ledger) era and the protocol.

Constructors

ShelleyBlock 

Fields

Instances

Instances details
SameDepIndex2 (BlockQuery (ShelleyBlock proto era) ∷ QueryFootprint → Type → Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

Methods

sameDepIndex2 ∷ ∀ (x ∷ QueryFootprint) a (y ∷ QueryFootprint) b. BlockQuery (ShelleyBlock proto era) x a → BlockQuery (ShelleyBlock proto era) y b → Maybe ('(x, a) :~: '(y, b)) Source #

CardanoHardForkConstraints c ⇒ SerializeTablesWithHint LedgerState (HardForkBlock (CardanoEras c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Methods

encodeTablesWithHint ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → LedgerTables (HardForkBlock (CardanoEras c)) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Decoder s (LedgerTables (HardForkBlock (CardanoEras c)) ValuesMK) Source #

ShelleyCompatible proto era ⇒ SerializeTablesWithHint LedgerState (HardForkBlock '[ShelleyBlock proto era]) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

Methods

encodeTablesWithHint ∷ LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK → LedgerTables (HardForkBlock '[ShelleyBlock proto era]) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK → Decoder s (LedgerTables (HardForkBlock '[ShelleyBlock proto era]) ValuesMK) Source #

(Typeable era, Typeable proto) ⇒ ShowProxy (Header (ShelleyBlock proto era) ∷ Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

showProxy ∷ Proxy (Header (ShelleyBlock proto era)) → String #

(Typeable era, Typeable proto) ⇒ ShowProxy (Validated (GenTx (ShelleyBlock proto era)) ∷ Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

showProxy ∷ Proxy (Validated (GenTx (ShelleyBlock proto era))) → String #

(Typeable era, Typeable proto) ⇒ ShowProxy (GenTx (ShelleyBlock proto era) ∷ Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

showProxy ∷ Proxy (GenTx (ShelleyBlock proto era)) → String #

(Typeable era, Typeable proto) ⇒ ShowProxy (TxId (GenTx (ShelleyBlock proto era)) ∷ Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

showProxy ∷ Proxy (TxId (GenTx (ShelleyBlock proto era))) → String #

(txout ~ TxOut era, MemPack txout) ⇒ IndexedMemPack LedgerState (HardForkBlock '[ShelleyBlock proto era]) txout Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

Methods

indexedPackedByteCount ∷ LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK → txout → Int Source #

indexedPackM ∷ LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK → txout → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK → Unpack s b txout Source #

indexedTypeName ∷ Proxy txout → LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK → String Source #

CardanoHardForkConstraints c ⇒ IndexedMemPack LedgerState (HardForkBlock (CardanoEras c)) (CardanoTxOut c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Methods

indexedPackedByteCount ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Int Source #

indexedPackM ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Unpack s b (CardanoTxOut c) Source #

indexedTypeName ∷ Proxy (CardanoTxOut c) → LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → String Source #

HasNestedContent f (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

unnest ∷ f (ShelleyBlock proto era) → DepPair (NestedCtxt f (ShelleyBlock proto era)) Source #

nest ∷ DepPair (NestedCtxt f (ShelleyBlock proto era)) → f (ShelleyBlock proto era) Source #

ShelleyCompatible proto era ⇒ ApplyBlock LedgerState (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg LedgerState (ShelleyBlock proto era) → ShelleyBlock proto era → Ticked LedgerState (ShelleyBlock proto era) ValuesMK → Except (LedgerErr LedgerState (ShelleyBlock proto era)) (LedgerResult (ShelleyBlock proto era) (LedgerState (ShelleyBlock proto era) DiffMK)) Source #

applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState (ShelleyBlock proto era) → ShelleyBlock proto era → Ticked LedgerState (ShelleyBlock proto era) ValuesMK → Except (LedgerErr LedgerState (ShelleyBlock proto era)) (LedgerResult (ShelleyBlock proto era) (LedgerState (ShelleyBlock proto era) DiffMK)) Source #

reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState (ShelleyBlock proto era) → ShelleyBlock proto era → Ticked LedgerState (ShelleyBlock proto era) ValuesMK → LedgerResult (ShelleyBlock proto era) (LedgerState (ShelleyBlock proto era) DiffMK) Source #

ShelleyBasedEra era ⇒ IsLedger LedgerState (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type LedgerErr LedgerState (ShelleyBlock proto era) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type LedgerErr LedgerState (ShelleyBlock proto era) = BlockTransitionError era

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState (ShelleyBlock proto era) → SlotNo → LedgerState (ShelleyBlock proto era) EmptyMK → LedgerResult (ShelleyBlock proto era) (Ticked LedgerState (ShelleyBlock proto era) DiffMK) Source #

CanUpgradeLedgerTables LedgerState (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState (ShelleyBlock proto era) mk1 → LedgerState (ShelleyBlock proto era) mk2 → LedgerTables (ShelleyBlock proto era) ValuesMK → LedgerTables (ShelleyBlock proto era) ValuesMK Source #

ShelleyBasedEra era ⇒ HasLedgerTables LedgerState (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState (ShelleyBlock proto era) mk → LedgerTables (ShelleyBlock proto era) mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState (ShelleyBlock proto era) any → LedgerTables (ShelleyBlock proto era) mk → LedgerState (ShelleyBlock proto era) mk Source #

ShelleyCompatible proto era ⇒ SerializeTablesWithHint LedgerState (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

encodeTablesWithHint ∷ LedgerState (ShelleyBlock proto era) EmptyMK → LedgerTables (ShelleyBlock proto era) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ LedgerState (ShelleyBlock proto era) EmptyMK → Decoder s (LedgerTables (ShelleyBlock proto era) ValuesMK) Source #

ShelleyBasedEra era ⇒ ReconstructNestedCtxt Header (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

reconstructPrefixLen ∷ proxy (Header (ShelleyBlock proto era)) → PrefixLen Source #

reconstructNestedCtxt ∷ proxy (Header (ShelleyBlock proto era)) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (ShelleyBlock proto era) Source #

SameDepIndex (NestedCtxt_ (ShelleyBlock proto era) f ∷ Type → Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

sameDepIndex ∷ NestedCtxt_ (ShelleyBlock proto era) f a → NestedCtxt_ (ShelleyBlock proto era) f b → Maybe (a :~: b) Source #

TrivialDependency (NestedCtxt_ (ShelleyBlock proto era) f ∷ Type → Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

hasSingleIndex ∷ NestedCtxt_ (ShelleyBlock proto era) f a → NestedCtxt_ (ShelleyBlock proto era) f b → a :~: b Source #

indexIsTrivial ∷ NestedCtxt_ (ShelleyBlock proto era) f (TrivialIndex (NestedCtxt_ (ShelleyBlock proto era) f) ∷ Type) Source #

StandardHash (ShelleyBlock proto era ∷ Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

(Typeable era, Typeable proto) ⇒ ShowProxy (ShelleyBlock proto era ∷ Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

showProxy ∷ Proxy (ShelleyBlock proto era) → String #

ShelleyCompatible proto era ⇒ SerialiseBlockQueryResult (ShelleyBlock proto era) BlockQuery Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) fp result → result → Encoding Source #

decodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) fp result → ∀ s. Decoder s result Source #

(txout ~ TxOut era, MemPack txout) ⇒ IndexedMemPack LedgerState (ShelleyBlock proto era) txout Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

indexedPackedByteCount ∷ LedgerState (ShelleyBlock proto era) EmptyMK → txout → Int Source #

indexedPackM ∷ LedgerState (ShelleyBlock proto era) EmptyMK → txout → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState (ShelleyBlock proto era) EmptyMK → Unpack s b txout Source #

indexedTypeName ∷ Proxy txout → LedgerState (ShelleyBlock proto era) EmptyMK → String Source #

(ShelleyBasedEra era, ShelleyBasedEra (PreviousEra era), TranslateEra era (ShelleyTip proto), TranslateEra era NewEpochState, TranslationError era NewEpochState ~ Void, CanMapMK mk, CanMapKeysMK mk) ⇒ TranslateEra era (Flip LedgerState mk :.: ShelleyBlock proto) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

Associated Types

type TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto) 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

type TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto) = Void

Methods

translateEra ∷ TranslationContext era → (Flip LedgerState mk :.: ShelleyBlock proto) (PreviousEra era) → Except (TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto)) ((Flip LedgerState mk :.: ShelleyBlock proto) era) Source #

ShelleyCompatible proto era ⇒ FromCBOR (GenTx (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

fromCBOR ∷ Decoder s (GenTx (ShelleyBlock proto era)) Source #

label ∷ Proxy (GenTx (ShelleyBlock proto era)) → Text Source #

ShelleyCompatible proto era ⇒ ToCBOR (GenTx (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

toCBOR ∷ GenTx (ShelleyBlock proto era) → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (GenTx (ShelleyBlock proto era)) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [GenTx (ShelleyBlock proto era)] → Size Source #

ShelleyCompatible proto era ⇒ DecCBOR (Annotator (Header (ShelleyBlock proto era))) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

decCBOR ∷ Decoder s (Annotator (Header (ShelleyBlock proto era))) Source #

dropCBOR ∷ Proxy (Annotator (Header (ShelleyBlock proto era))) → Decoder s () Source #

label ∷ Proxy (Annotator (Header (ShelleyBlock proto era))) → Text Source #

ShelleyCompatible proto era ⇒ DecCBOR (Annotator (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

decCBOR ∷ Decoder s (Annotator (ShelleyBlock proto era)) Source #

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

label ∷ Proxy (Annotator (ShelleyBlock proto era)) → Text Source #

(Typeable era, Typeable proto, Crypto (ProtoCrypto proto)) ⇒ DecCBOR (TxId (GenTx (ShelleyBlock proto era))) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

decCBOR ∷ Decoder s (TxId (GenTx (ShelleyBlock proto era))) Source #

dropCBOR ∷ Proxy (TxId (GenTx (ShelleyBlock proto era))) → Decoder s () Source #

label ∷ Proxy (TxId (GenTx (ShelleyBlock proto era))) → Text Source #

ShelleyCompatible proto era ⇒ EncCBOR (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

encCBOR ∷ Header (ShelleyBlock proto era) → Encoding Source #

Crypto (ProtoCrypto proto) ⇒ EncCBOR (TxId (GenTx (ShelleyBlock proto era))) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

encCBOR ∷ TxId (GenTx (ShelleyBlock proto era)) → Encoding Source #

ShelleyCompatible proto era ⇒ Eq (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

(==) ∷ Header (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → Bool #

(/=) ∷ Header (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → Bool #

Eq (CanonicalTxIn (CardanoEras c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Methods

(==) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(/=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

Eq (CanonicalTxIn '[ShelleyBlock proto era]) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

Methods

(==) ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → Bool #

(/=) ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → Bool #

ShelleyBasedEra era ⇒ Eq (Validated (GenTx (ShelleyBlock proto era))) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

(==) ∷ Validated (GenTx (ShelleyBlock proto era)) → Validated (GenTx (ShelleyBlock proto era)) → Bool #

(/=) ∷ Validated (GenTx (ShelleyBlock proto era)) → Validated (GenTx (ShelleyBlock proto era)) → Bool #

ShelleyBasedEra era ⇒ Eq (GenTx (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

(==) ∷ GenTx (ShelleyBlock proto era) → GenTx (ShelleyBlock proto era) → Bool #

(/=) ∷ GenTx (ShelleyBlock proto era) → GenTx (ShelleyBlock proto era) → Bool #

Eq (TxId (GenTx (ShelleyBlock proto era))) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

(==) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Bool #

(/=) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Bool #

Ord (CanonicalTxIn (CardanoEras c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Methods

compare ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Ordering #

(<) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(<=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(>) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(>=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

max ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) #

min ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) #

Ord (CanonicalTxIn '[ShelleyBlock proto era]) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

Methods

compare ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → Ordering #

(<) ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → Bool #

(<=) ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → Bool #

(>) ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → Bool #

(>=) ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → Bool #

max ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] #

min ∷ CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] → CanonicalTxIn '[ShelleyBlock proto era] #

Ord (TxId (GenTx (ShelleyBlock proto era))) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

compare ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Ordering #

(<) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Bool #

(<=) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Bool #

(>) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Bool #

(>=) ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → Bool #

max ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) #

min ∷ TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) → TxId (GenTx (ShelleyBlock proto era)) #

Generic (BlockConfig (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Associated Types

type Rep (BlockConfig (ShelleyBlock proto era)) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

type Rep (BlockConfig (ShelleyBlock proto era)) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ShelleyConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "shelleyProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtVer) :*: S1 ('MetaSel ('Just "shelleySystemStart") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SystemStart)) :*: (S1 ('MetaSel ('Just "shelleyNetworkMagic") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NetworkMagic) :*: (S1 ('MetaSel ('Just "shelleyBlockIssuerVKeys") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'BlockIssuer) (VKey 'BlockIssuer))) :*: S1 ('MetaSel ('Just "shelleyVRFTiebreakerFlavor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VRFTiebreakerFlavor)))))

Methods

from ∷ BlockConfig (ShelleyBlock proto era) → Rep (BlockConfig (ShelleyBlock proto era)) x #

to ∷ Rep (BlockConfig (ShelleyBlock proto era)) x → BlockConfig (ShelleyBlock proto era) #

Generic (CodecConfig (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Associated Types

type Rep (CodecConfig (ShelleyBlock proto era)) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

type Rep (CodecConfig (ShelleyBlock proto era)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ShelleyCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ CodecConfig (ShelleyBlock proto era) → Rep (CodecConfig (ShelleyBlock proto era)) x #

to ∷ Rep (CodecConfig (ShelleyBlock proto era)) x → CodecConfig (ShelleyBlock proto era) #

Generic (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Associated Types

type Rep (Header (ShelleyBlock proto era)) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type Rep (Header (ShelleyBlock proto era)) = D1 ('MetaData "Header" "Ouroboros.Consensus.Shelley.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ShelleyHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyHeaderRaw") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShelleyProtocolHeader proto)) :*: S1 ('MetaSel ('Just "shelleyHeaderHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShelleyHash)))

Methods

from ∷ Header (ShelleyBlock proto era) → Rep (Header (ShelleyBlock proto era)) x #

to ∷ Rep (Header (ShelleyBlock proto era)) x → Header (ShelleyBlock proto era) #

Generic (StorageConfig (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Associated Types

type Rep (StorageConfig (ShelleyBlock proto era)) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

type Rep (StorageConfig (ShelleyBlock proto era)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ShelleyStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyStorageConfigSlotsPerKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "shelleyStorageConfigSecurityParam") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecurityParam)))

Methods

from ∷ StorageConfig (ShelleyBlock proto era) → Rep (StorageConfig (ShelleyBlock proto era)) x #

to ∷ Rep (StorageConfig (ShelleyBlock proto era)) x → StorageConfig (ShelleyBlock proto era) #

Generic (Validated (GenTx (ShelleyBlock proto era))) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type Rep (Validated (GenTx (ShelleyBlock proto era))) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type Rep (Validated (GenTx (ShelleyBlock proto era))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.Shelley.Ledger.Mempool" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ShelleyValidatedTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Validated (Tx 'TopTx era)))))

Methods

from ∷ Validated (GenTx (ShelleyBlock proto era)) → Rep (Validated (GenTx (ShelleyBlock proto era))) x #

to ∷ Rep (Validated (GenTx (ShelleyBlock proto era))) x → Validated (GenTx (ShelleyBlock proto era)) #

Generic (GenTx (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type Rep (GenTx (ShelleyBlock proto era)) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type Rep (GenTx (ShelleyBlock proto era)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.Shelley.Ledger.Mempool" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ShelleyTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Tx 'TopTx era))))

Methods

from ∷ GenTx (ShelleyBlock proto era) → Rep (GenTx (ShelleyBlock proto era)) x #

to ∷ Rep (GenTx (ShelleyBlock proto era)) x → GenTx (ShelleyBlock proto era) #

ShelleyBasedEra era ⇒ Show (BlockConfig (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Methods

showsPrec ∷ Int → BlockConfig (ShelleyBlock proto era) → ShowS #

show ∷ BlockConfig (ShelleyBlock proto era) → String #

showList ∷ [BlockConfig (ShelleyBlock proto era)] → ShowS #

ShelleyCompatible proto era ⇒ Show (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

showsPrec ∷ Int → Header (ShelleyBlock proto era) → ShowS #

show ∷ Header (ShelleyBlock proto era) → String #

showList ∷ [Header (ShelleyBlock proto era)] → ShowS #

Show (CanonicalTxIn (CardanoEras c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Methods

showsPrec ∷ Int → CanonicalTxIn (CardanoEras c) → ShowS #

show ∷ CanonicalTxIn (CardanoEras c) → String #

showList ∷ [CanonicalTxIn (CardanoEras c)] → ShowS #

Show (CanonicalTxIn '[ShelleyBlock proto era]) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

Methods

showsPrec ∷ Int → CanonicalTxIn '[ShelleyBlock proto era] → ShowS #

show ∷ CanonicalTxIn '[ShelleyBlock proto era] → String #

showList ∷ [CanonicalTxIn '[ShelleyBlock proto era]] → ShowS #

ShelleyBasedEra era ⇒ Show (Validated (GenTx (ShelleyBlock proto era))) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

showsPrec ∷ Int → Validated (GenTx (ShelleyBlock proto era)) → ShowS #

show ∷ Validated (GenTx (ShelleyBlock proto era)) → String #

showList ∷ [Validated (GenTx (ShelleyBlock proto era))] → ShowS #

ShelleyBasedEra era ⇒ Show (GenTx (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

showsPrec ∷ Int → GenTx (ShelleyBlock proto era) → ShowS #

show ∷ GenTx (ShelleyBlock proto era) → String #

showList ∷ [GenTx (ShelleyBlock proto era)] → ShowS #

Show (GenTxId (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

showsPrec ∷ Int → GenTxId (ShelleyBlock proto era) → ShowS #

show ∷ GenTxId (ShelleyBlock proto era) → String #

showList ∷ [GenTxId (ShelleyBlock proto era)] → ShowS #

CardanoHardForkConstraints c ⇒ MemPack (CanonicalTxIn (CardanoEras c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Methods

typeName ∷ String Source #

packedByteCount ∷ CanonicalTxIn (CardanoEras c) → Int Source #

packM ∷ CanonicalTxIn (CardanoEras c) → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (CanonicalTxIn (CardanoEras c)) Source #

MemPack (CanonicalTxIn '[ShelleyBlock proto era]) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

Methods

typeName ∷ String Source #

packedByteCount ∷ CanonicalTxIn '[ShelleyBlock proto era] → Int Source #

packM ∷ CanonicalTxIn '[ShelleyBlock proto era] → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (CanonicalTxIn '[ShelleyBlock proto era]) Source #

ShelleyBasedEra era ⇒ NoThunks (BlockConfig (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Methods

noThunks ∷ Context → BlockConfig (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BlockConfig (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (BlockConfig (ShelleyBlock proto era)) → String Source #

NoThunks (CodecConfig (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Methods

noThunks ∷ Context → CodecConfig (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CodecConfig (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CodecConfig (ShelleyBlock proto era)) → String Source #

ShelleyCompatible proto era ⇒ NoThunks (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

noThunks ∷ Context → Header (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Header (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Header (ShelleyBlock proto era)) → String Source #

NoThunks (StorageConfig (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Methods

noThunks ∷ Context → StorageConfig (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → StorageConfig (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (StorageConfig (ShelleyBlock proto era)) → String Source #

NoThunks (CanonicalTxIn (CardanoEras c)) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Methods

noThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CanonicalTxIn (CardanoEras c)) → String Source #

NoThunks (CanonicalTxIn '[ShelleyBlock proto era]) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

Methods

noThunks ∷ Context → CanonicalTxIn '[ShelleyBlock proto era] → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CanonicalTxIn '[ShelleyBlock proto era] → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CanonicalTxIn '[ShelleyBlock proto era]) → String Source #

ShelleyBasedEra era ⇒ NoThunks (Validated (GenTx (ShelleyBlock proto era))) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

noThunks ∷ Context → Validated (GenTx (ShelleyBlock proto era)) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Validated (GenTx (ShelleyBlock proto era)) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Validated (GenTx (ShelleyBlock proto era))) → String Source #

ShelleyBasedEra era ⇒ NoThunks (GenTx (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

noThunks ∷ Context → GenTx (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → GenTx (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (GenTx (ShelleyBlock proto era)) → String Source #

NoThunks (TxId (GenTx (ShelleyBlock proto era))) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

noThunks ∷ Context → TxId (GenTx (ShelleyBlock proto era)) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxId (GenTx (ShelleyBlock proto era)) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxId (GenTx (ShelleyBlock proto era))) → String Source #

CardanoHardForkConstraints c ⇒ CanHardFork (CardanoEras c) Source #

When performing era translations, two eras have special behaviours on the ledger tables:

  • Byron to Shelley: as Byron has no tables, the whole UTxO set is computed as insertions, note that it uses valuesAsDiffs
  • Shelley to Allegra: some special addresses (the so called AVVM addresses), were deleted in this transition, which influenced things like the calculation of later rewards. In this transition, we consume the shelleyToAllegraAVVMsToDelete as deletions in the ledger tables.
Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

Associated Types

type HardForkTxMeasurePhase1 (CardanoEras c) 
Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

type HardForkTxMeasurePhase1 (CardanoEras c) = AlonzoMeasure
type HardForkTxMeasurePhase2 (CardanoEras c) 
Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

type HardForkTxMeasurePhase2 (CardanoEras c) = RefScriptSize

Methods

hardForkEraTranslation ∷ EraTranslation (CardanoEras c) Source #

hardForkChainSel ∷ Tails AcrossEraTiebreaker (CardanoEras c) Source #

hardForkInjTxMeasurePhase1 ∷ NS WrapTxMeasurePhase1 (CardanoEras c) → HardForkTxMeasurePhase1 (CardanoEras c) Source #

hardForkInjTxMeasurePhase2 ∷ NS WrapTxMeasurePhase2 (CardanoEras c) → HardForkTxMeasurePhase2 (CardanoEras c) Source #

hardForkEqGenTxId ∷ NS WrapGenTxId (CardanoEras c) → NS WrapGenTxId (CardanoEras c) → Bool Source #

hardForkCompareGenTxId ∷ NS WrapGenTxId (CardanoEras c) → NS WrapGenTxId (CardanoEras c) → Ordering Source #

CardanoHardForkConstraints c ⇒ CondenseConstraints (CardanoBlock c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Condense

CardanoHardForkConstraints c ⇒ HasCanonicalTxIn (CardanoEras c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Associated Types

newtype CanonicalTxIn (CardanoEras c) 
Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn {}

Methods

injectCanonicalTxIn ∷ Index (CardanoEras c) x → TxIn x → CanonicalTxIn (CardanoEras c) Source #

ejectCanonicalTxIn ∷ Index (CardanoEras c) x → CanonicalTxIn (CardanoEras c) → TxIn x Source #

CardanoHardForkConstraints c ⇒ HasHardForkTxOut (CardanoEras c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Associated Types

type HardForkTxOut (CardanoEras c) 
Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

type HardForkTxOut (CardanoEras c) = CardanoTxOut c

Methods

injectHardForkTxOut ∷ Index (CardanoEras c) x → TxOut x → HardForkTxOut (CardanoEras c) Source #

ejectHardForkTxOut ∷ Index (CardanoEras c) x → HardForkTxOut (CardanoEras c) → TxOut x Source #

txOutEjections ∷ NP ((K (NS WrapTxOut (CardanoEras c)) ∷ Type → Type) -.-> WrapTxOut) (CardanoEras c) Source #

txOutTranslations ∷ Tails (Fn2 WrapTxOut) (CardanoEras c) Source #

CardanoHardForkConstraints c ⇒ BlockSupportsHFLedgerQuery (CardanoEras c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.QueryHF

Methods

answerBlockQueryHFLookup ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFLookupTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source #

answerBlockQueryHFTraverse ∷ (All SingleEraBlock (CardanoEras c), Monad m) ⇒ Index (CardanoEras c) x → ExtLedgerCfg x → BlockQuery x 'QFTraverseTables result → ReadOnlyForker' m (HardForkBlock (CardanoEras c)) → m result Source #

queryLedgerGetTraversingFilter ∷ Index (CardanoEras c) x → BlockQuery x 'QFTraverseTables result → TxOut (HardForkBlock (CardanoEras c)) → Bool Source #

CardanoHardForkConstraints c ⇒ SerialiseHFC (CardanoEras c) Source #

Important: we need to maintain binary compatibility with Byron blocks, as they are already stored on disk.

We also want to be able to efficiently detect (without having to peek far ahead) whether we're dealing with a Byron or Shelley block, so that we can invoke the right decoder. We plan to have a few more hard forks after Shelley (Goguen, Basho, Voltaire), so we want a future-proof envelope for distinguishing the different block types, i.e., a byte indicating the era.

Byron does not provide such an envelope. However, a Byron block is a CBOR 2-tuple with the first element being a tag (Word: 0 = EBB; 1 = regular block) and the second being the payload. We can easily extend this encoding format with support for Shelley, Goguen, etc.

We encode a CardanoBlock as the same CBOR 2-tuple as a Byron block, but we use the tags after 1 for the hard forks after Byron:

  1. Byron EBB
  2. Byron regular block
  3. Shelley block
  4. Allegra block
  5. Mary block
  6. Goguen block
  7. etc.

For more details, see: https://github.com/IntersectMBO/ouroboros-network/pull/1175#issuecomment-558147194

Instance details

Defined in Ouroboros.Consensus.Cardano.Node

Methods

encodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → HardForkBlock (CardanoEras c) → Encoding Source #

decodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → ∀ s. Decoder s (ByteString → Either DecoderError (HardForkBlock (CardanoEras c))) Source #

reconstructHfcPrefixLen ∷ proxy (Header (HardForkBlock (CardanoEras c))) → PrefixLen Source #

reconstructHfcNestedCtxt ∷ proxy (Header (HardForkBlock (CardanoEras c))) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock (CardanoEras c)) Source #

getHfcBinaryBlockInfo ∷ HardForkBlock (CardanoEras c) → BinaryBlockInfo Source #

estimateHfcBlockSize ∷ Header (HardForkBlock (CardanoEras c)) → SizeInBytes Source #

GetTip (LedgerState (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

getTip ∷ ∀ (mk ∷ MapKind). LedgerState (ShelleyBlock proto era) mk → Point (LedgerState (ShelleyBlock proto era)) Source #

ShelleyBasedEra era ⇒ ConvertRawTxId (GenTx (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

toRawTxIdHash ∷ TxId (GenTx (ShelleyBlock proto era)) → ShortByteString Source #

ShelleyBasedEra era ⇒ HasTxId (GenTx (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

txId ∷ GenTx (ShelleyBlock proto era) → TxId (GenTx (ShelleyBlock proto era)) Source #

LedgerStateSupportsPeras (LedgerState (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

getPoolDistr ∷ LedgerState (ShelleyBlock proto era) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → LedgerState (ShelleyBlock proto era) EmptyMK → PerasParams blk Source #

ShelleyBasedEra era ⇒ CanStowLedgerTables (LedgerState (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

stowLedgerTables ∷ LedgerState (ShelleyBlock proto era) ValuesMK → LedgerState (ShelleyBlock proto era) EmptyMK Source #

unstowLedgerTables ∷ LedgerState (ShelleyBlock proto era) EmptyMK → LedgerState (ShelleyBlock proto era) ValuesMK Source #

CardanoHardForkConstraints c ⇒ SupportedNetworkProtocolVersion (CardanoBlock c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Node

Methods

supportedNodeToNodeVersions ∷ Proxy (CardanoBlock c) → Map NodeToNodeVersion (BlockNodeToNodeVersion (CardanoBlock c)) Source #

supportedNodeToClientVersions ∷ Proxy (CardanoBlock c) → Map NodeToClientVersion (BlockNodeToClientVersion (CardanoBlock c)) Source #

latestReleasedNodeVersion ∷ Proxy (CardanoBlock c) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source #

SignedHeader (ShelleyProtocolHeader proto) ⇒ SignedHeader (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Protocol

Methods

headerSigned ∷ Header (ShelleyBlock proto era) → Signed (Header (ShelleyBlock proto era)) Source #

ShelleyCompatible proto era ⇒ Condense (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

condense ∷ Header (ShelleyBlock proto era) → String Source #

ShelleyBasedEra era ⇒ Condense (GenTx (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

condense ∷ GenTx (ShelleyBlock proto era) → String Source #

Condense (GenTxId (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

condense ∷ GenTxId (ShelleyBlock proto era) → String Source #

ShelleyCompatible proto era ⇒ HasHeader (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

getHeaderFields ∷ Header (ShelleyBlock proto era) → HeaderFields (Header (ShelleyBlock proto era)) #

ShelleyBasedEra era ⇒ HasRawTxId (TxId (GenTx (ShelleyBlock proto era))) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type RawTxId (TxId (GenTx (ShelleyBlock proto era))) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type RawTxId (TxId (GenTx (ShelleyBlock proto era))) = ShortByteString

Methods

getRawTxId ∷ TxId (GenTx (ShelleyBlock proto era)) → RawTxId (TxId (GenTx (ShelleyBlock proto era)))

ShelleyCompatible proto era ⇒ DecodeDiskDep (NestedCtxt Header) (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

decodeDiskDep ∷ CodecConfig (ShelleyBlock proto era) → NestedCtxt Header (ShelleyBlock proto era) a → ∀ s. Decoder s (ByteString → a) Source #

ShelleyBasedEra era ⇒ DecodeDiskDepIx (NestedCtxt Header) (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

decodeDiskDepIx ∷ CodecConfig (ShelleyBlock proto era) → Decoder s (SomeSecond (NestedCtxt Header) (ShelleyBlock proto era)) Source #

ShelleyCompatible proto era ⇒ EncodeDiskDep (NestedCtxt Header) (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeDiskDep ∷ CodecConfig (ShelleyBlock proto era) → NestedCtxt Header (ShelleyBlock proto era) a → a → Encoding Source #

ShelleyBasedEra era ⇒ EncodeDiskDepIx (NestedCtxt Header) (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeDiskDepIx ∷ CodecConfig (ShelleyBlock proto era) → SomeSecond (NestedCtxt Header) (ShelleyBlock proto era) → Encoding Source #

ShelleyCompatible proto era ⇒ EncCBOR (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

encCBOR ∷ ShelleyBlock proto era → Encoding Source #

(ShelleyBasedEra era, EqMK mk) ⇒ Eq (LedgerState (ShelleyBlock proto era) mk) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

(==) ∷ LedgerState (ShelleyBlock proto era) mk → LedgerState (ShelleyBlock proto era) mk → Bool #

(/=) ∷ LedgerState (ShelleyBlock proto era) mk → LedgerState (ShelleyBlock proto era) mk → Bool #

ShelleyCompatible proto era ⇒ Eq (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

(==) ∷ ShelleyBlock proto era → ShelleyBlock proto era → Bool #

(/=) ∷ ShelleyBlock proto era → ShelleyBlock proto era → Bool #

Generic (LedgerState (ShelleyBlock proto era) mk) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type Rep (LedgerState (ShelleyBlock proto era) mk) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep (LedgerState (ShelleyBlock proto era) mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ShelleyLedgerState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "shelleyLedgerTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (ShelleyTip proto era))) :*: S1 ('MetaSel ('Just "shelleyLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewEpochState era))) :*: (S1 ('MetaSel ('Just "shelleyLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShelleyTransition) :*: S1 ('MetaSel ('Just "shelleyLedgerTables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables (ShelleyBlock proto era) mk)))))

Methods

from ∷ LedgerState (ShelleyBlock proto era) mk → Rep (LedgerState (ShelleyBlock proto era) mk) x #

to ∷ Rep (LedgerState (ShelleyBlock proto era) mk) x → LedgerState (ShelleyBlock proto era) mk #

(ShelleyBasedEra era, ShowMK mk) ⇒ Show (LedgerState (ShelleyBlock proto era) mk) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

showsPrec ∷ Int → LedgerState (ShelleyBlock proto era) mk → ShowS #

show ∷ LedgerState (ShelleyBlock proto era) mk → String #

showList ∷ [LedgerState (ShelleyBlock proto era) mk] → ShowS #

ShelleyCompatible proto era ⇒ Show (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

showsPrec ∷ Int → ShelleyBlock proto era → ShowS #

show ∷ ShelleyBlock proto era → String #

showList ∷ [ShelleyBlock proto era] → ShowS #

(ShelleyBasedEra era, NoThunksMK mk) ⇒ NoThunks (LedgerState (ShelleyBlock proto era) mk) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

noThunks ∷ Context → LedgerState (ShelleyBlock proto era) mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LedgerState (ShelleyBlock proto era) mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LedgerState (ShelleyBlock proto era) mk) → String Source #

StandardHash (ShelleyBlock proto era) ⇒ ConvertRawHash (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Associated Types

type HashSize (ShelleyBlock proto era) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type HashSize (ShelleyBlock proto era) = HashSize HASH

Methods

toRawHash ∷ proxy (ShelleyBlock proto era) → HeaderHash (ShelleyBlock proto era) → ByteString Source #

toShortRawHash ∷ proxy (ShelleyBlock proto era) → HeaderHash (ShelleyBlock proto era) → ShortByteString Source #

fromRawHash ∷ proxy (ShelleyBlock proto era) → ByteString → Maybe (HeaderHash (ShelleyBlock proto era)) Source #

fromShortRawHash ∷ proxy (ShelleyBlock proto era) → ShortByteString → Maybe (HeaderHash (ShelleyBlock proto era)) Source #

unsafeFromRawHash ∷ proxy (ShelleyBlock proto era) → ByteString → HeaderHash (ShelleyBlock proto era) Source #

unsafeFromShortRawHash ∷ proxy (ShelleyBlock proto era) → ShortByteString → HeaderHash (ShelleyBlock proto era) Source #

hashSize ∷ proxy (ShelleyBlock proto era) → Word32 Source #

ShelleyCompatible proto era ⇒ GetHeader (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

getHeader ∷ ShelleyBlock proto era → Header (ShelleyBlock proto era) Source #

blockMatchesHeader ∷ Header (ShelleyBlock proto era) → ShelleyBlock proto era → Bool Source #

headerIsEBB ∷ Header (ShelleyBlock proto era) → Maybe EpochNo Source #

ShelleyCompatible proto era ⇒ GetPrevHash (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

headerPrevHash ∷ Header (ShelleyBlock proto era) → ChainHash (ShelleyBlock proto era) Source #

(ShelleyCompatible proto era, BlockSupportsProtocol (ShelleyBlock proto era)) ⇒ BlockSupportsDiffusionPipelining (ShelleyBlock proto era) Source #

A header can be pipelined iff no trap header with the same block number and by the same issuer was pipelined before. See HotIdentity for what exactly we use for the issuer identity.

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining

Associated Types

type TentativeHeaderState (ShelleyBlock proto era) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining

type TentativeHeaderState (ShelleyBlock proto era) = ShelleyTentativeHeaderState proto
type TentativeHeaderView (ShelleyBlock proto era) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining

type TentativeHeaderView (ShelleyBlock proto era) = ShelleyTentativeHeaderView proto

Methods

initialTentativeHeaderState ∷ Proxy (ShelleyBlock proto era) → TentativeHeaderState (ShelleyBlock proto era) Source #

tentativeHeaderView ∷ BlockConfig (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → TentativeHeaderView (ShelleyBlock proto era) Source #

applyTentativeHeaderView ∷ Proxy (ShelleyBlock proto era) → TentativeHeaderView (ShelleyBlock proto era) → TentativeHeaderState (ShelleyBlock proto era) → Maybe (TentativeHeaderState (ShelleyBlock proto era)) Source #

ShelleyCompatible proto era ⇒ BlockSupportsMetrics (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node

Methods

isSelfIssued ∷ BlockConfig (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → WhetherSelfIssued Source #

Typeable proto ⇒ BlockSupportsPeras (ShelleyBlock proto AllegraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

Associated Types

type PerasVote (ShelleyBlock proto AllegraEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVote (ShelleyBlock proto AllegraEra) = VoidPerasVote (ShelleyBlock proto AllegraEra)
type PerasCert (ShelleyBlock proto AllegraEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCert (ShelleyBlock proto AllegraEra) = VoidPerasCert (ShelleyBlock proto AllegraEra)
type PerasError (ShelleyBlock proto AllegraEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasError (ShelleyBlock proto AllegraEra) = VoidPerasError (ShelleyBlock proto AllegraEra)
type PerasCrypto (ShelleyBlock proto AllegraEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCrypto (ShelleyBlock proto AllegraEra) = VoidPerasCrypto (ShelleyBlock proto AllegraEra)
type PerasVotingCommitteeScheme (ShelleyBlock proto AllegraEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVotingCommitteeScheme (ShelleyBlock proto AllegraEra) = VoidPerasVotingCommitteeScheme

Methods

forgePerasVoteIfEligible ∷ PerasEpochContext (ShelleyBlock proto AllegraEra) → PoolId → PrivateKey (PerasCrypto (ShelleyBlock proto AllegraEra)) → PerasRoundNo → Point (ShelleyBlock proto AllegraEra) → Either (PerasError (ShelleyBlock proto AllegraEra)) (Maybe (ValidatedPerasVote (ShelleyBlock proto AllegraEra))) Source #

verifyPerasVote ∷ PerasEpochContext (ShelleyBlock proto AllegraEra) → PerasVote (ShelleyBlock proto AllegraEra) → Either (PerasError (ShelleyBlock proto AllegraEra)) (ValidatedPerasVote (ShelleyBlock proto AllegraEra)) Source #

forgePerasCert ∷ PerasEpochContext (ShelleyBlock proto AllegraEra) → PerasVoteCollectionWithQuorum (ShelleyBlock proto AllegraEra) → Either (PerasError (ShelleyBlock proto AllegraEra)) (ValidatedPerasCert (ShelleyBlock proto AllegraEra)) Source #

verifyPerasCert ∷ PerasEpochContext (ShelleyBlock proto AllegraEra) → PerasCert (ShelleyBlock proto AllegraEra) → Either (PerasError (ShelleyBlock proto AllegraEra)) (ValidatedPerasCert (ShelleyBlock proto AllegraEra)) Source #

getPerasCertInBlock ∷ ShelleyBlock proto AllegraEra → Either (PerasError (ShelleyBlock proto AllegraEra)) (Maybe (PerasCert (ShelleyBlock proto AllegraEra))) Source #

Typeable proto ⇒ BlockSupportsPeras (ShelleyBlock proto AlonzoEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

Associated Types

type PerasVote (ShelleyBlock proto AlonzoEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVote (ShelleyBlock proto AlonzoEra) = VoidPerasVote (ShelleyBlock proto AlonzoEra)
type PerasCert (ShelleyBlock proto AlonzoEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCert (ShelleyBlock proto AlonzoEra) = VoidPerasCert (ShelleyBlock proto AlonzoEra)
type PerasError (ShelleyBlock proto AlonzoEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasError (ShelleyBlock proto AlonzoEra) = VoidPerasError (ShelleyBlock proto AlonzoEra)
type PerasCrypto (ShelleyBlock proto AlonzoEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCrypto (ShelleyBlock proto AlonzoEra) = VoidPerasCrypto (ShelleyBlock proto AlonzoEra)
type PerasVotingCommitteeScheme (ShelleyBlock proto AlonzoEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVotingCommitteeScheme (ShelleyBlock proto AlonzoEra) = VoidPerasVotingCommitteeScheme

Methods

forgePerasVoteIfEligible ∷ PerasEpochContext (ShelleyBlock proto AlonzoEra) → PoolId → PrivateKey (PerasCrypto (ShelleyBlock proto AlonzoEra)) → PerasRoundNo → Point (ShelleyBlock proto AlonzoEra) → Either (PerasError (ShelleyBlock proto AlonzoEra)) (Maybe (ValidatedPerasVote (ShelleyBlock proto AlonzoEra))) Source #

verifyPerasVote ∷ PerasEpochContext (ShelleyBlock proto AlonzoEra) → PerasVote (ShelleyBlock proto AlonzoEra) → Either (PerasError (ShelleyBlock proto AlonzoEra)) (ValidatedPerasVote (ShelleyBlock proto AlonzoEra)) Source #

forgePerasCert ∷ PerasEpochContext (ShelleyBlock proto AlonzoEra) → PerasVoteCollectionWithQuorum (ShelleyBlock proto AlonzoEra) → Either (PerasError (ShelleyBlock proto AlonzoEra)) (ValidatedPerasCert (ShelleyBlock proto AlonzoEra)) Source #

verifyPerasCert ∷ PerasEpochContext (ShelleyBlock proto AlonzoEra) → PerasCert (ShelleyBlock proto AlonzoEra) → Either (PerasError (ShelleyBlock proto AlonzoEra)) (ValidatedPerasCert (ShelleyBlock proto AlonzoEra)) Source #

getPerasCertInBlock ∷ ShelleyBlock proto AlonzoEra → Either (PerasError (ShelleyBlock proto AlonzoEra)) (Maybe (PerasCert (ShelleyBlock proto AlonzoEra))) Source #

Typeable proto ⇒ BlockSupportsPeras (ShelleyBlock proto BabbageEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

Associated Types

type PerasVote (ShelleyBlock proto BabbageEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVote (ShelleyBlock proto BabbageEra) = VoidPerasVote (ShelleyBlock proto BabbageEra)
type PerasCert (ShelleyBlock proto BabbageEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCert (ShelleyBlock proto BabbageEra) = VoidPerasCert (ShelleyBlock proto BabbageEra)
type PerasError (ShelleyBlock proto BabbageEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasError (ShelleyBlock proto BabbageEra) = VoidPerasError (ShelleyBlock proto BabbageEra)
type PerasCrypto (ShelleyBlock proto BabbageEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCrypto (ShelleyBlock proto BabbageEra) = VoidPerasCrypto (ShelleyBlock proto BabbageEra)
type PerasVotingCommitteeScheme (ShelleyBlock proto BabbageEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVotingCommitteeScheme (ShelleyBlock proto BabbageEra) = VoidPerasVotingCommitteeScheme

Methods

forgePerasVoteIfEligible ∷ PerasEpochContext (ShelleyBlock proto BabbageEra) → PoolId → PrivateKey (PerasCrypto (ShelleyBlock proto BabbageEra)) → PerasRoundNo → Point (ShelleyBlock proto BabbageEra) → Either (PerasError (ShelleyBlock proto BabbageEra)) (Maybe (ValidatedPerasVote (ShelleyBlock proto BabbageEra))) Source #

verifyPerasVote ∷ PerasEpochContext (ShelleyBlock proto BabbageEra) → PerasVote (ShelleyBlock proto BabbageEra) → Either (PerasError (ShelleyBlock proto BabbageEra)) (ValidatedPerasVote (ShelleyBlock proto BabbageEra)) Source #

forgePerasCert ∷ PerasEpochContext (ShelleyBlock proto BabbageEra) → PerasVoteCollectionWithQuorum (ShelleyBlock proto BabbageEra) → Either (PerasError (ShelleyBlock proto BabbageEra)) (ValidatedPerasCert (ShelleyBlock proto BabbageEra)) Source #

verifyPerasCert ∷ PerasEpochContext (ShelleyBlock proto BabbageEra) → PerasCert (ShelleyBlock proto BabbageEra) → Either (PerasError (ShelleyBlock proto BabbageEra)) (ValidatedPerasCert (ShelleyBlock proto BabbageEra)) Source #

getPerasCertInBlock ∷ ShelleyBlock proto BabbageEra → Either (PerasError (ShelleyBlock proto BabbageEra)) (Maybe (PerasCert (ShelleyBlock proto BabbageEra))) Source #

Typeable proto ⇒ BlockSupportsPeras (ShelleyBlock proto ConwayEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

Associated Types

type PerasVote (ShelleyBlock proto ConwayEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVote (ShelleyBlock proto ConwayEra) = VoidPerasVote (ShelleyBlock proto ConwayEra)
type PerasCert (ShelleyBlock proto ConwayEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCert (ShelleyBlock proto ConwayEra) = VoidPerasCert (ShelleyBlock proto ConwayEra)
type PerasError (ShelleyBlock proto ConwayEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasError (ShelleyBlock proto ConwayEra) = VoidPerasError (ShelleyBlock proto ConwayEra)
type PerasCrypto (ShelleyBlock proto ConwayEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCrypto (ShelleyBlock proto ConwayEra) = VoidPerasCrypto (ShelleyBlock proto ConwayEra)
type PerasVotingCommitteeScheme (ShelleyBlock proto ConwayEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVotingCommitteeScheme (ShelleyBlock proto ConwayEra) = VoidPerasVotingCommitteeScheme

Methods

forgePerasVoteIfEligible ∷ PerasEpochContext (ShelleyBlock proto ConwayEra) → PoolId → PrivateKey (PerasCrypto (ShelleyBlock proto ConwayEra)) → PerasRoundNo → Point (ShelleyBlock proto ConwayEra) → Either (PerasError (ShelleyBlock proto ConwayEra)) (Maybe (ValidatedPerasVote (ShelleyBlock proto ConwayEra))) Source #

verifyPerasVote ∷ PerasEpochContext (ShelleyBlock proto ConwayEra) → PerasVote (ShelleyBlock proto ConwayEra) → Either (PerasError (ShelleyBlock proto ConwayEra)) (ValidatedPerasVote (ShelleyBlock proto ConwayEra)) Source #

forgePerasCert ∷ PerasEpochContext (ShelleyBlock proto ConwayEra) → PerasVoteCollectionWithQuorum (ShelleyBlock proto ConwayEra) → Either (PerasError (ShelleyBlock proto ConwayEra)) (ValidatedPerasCert (ShelleyBlock proto ConwayEra)) Source #

verifyPerasCert ∷ PerasEpochContext (ShelleyBlock proto ConwayEra) → PerasCert (ShelleyBlock proto ConwayEra) → Either (PerasError (ShelleyBlock proto ConwayEra)) (ValidatedPerasCert (ShelleyBlock proto ConwayEra)) Source #

getPerasCertInBlock ∷ ShelleyBlock proto ConwayEra → Either (PerasError (ShelleyBlock proto ConwayEra)) (Maybe (PerasCert (ShelleyBlock proto ConwayEra))) Source #

Typeable proto ⇒ BlockSupportsPeras (ShelleyBlock proto DijkstraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

Associated Types

type PerasVote (ShelleyBlock proto DijkstraEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVote (ShelleyBlock proto DijkstraEra) = VoidPerasVote (ShelleyBlock proto DijkstraEra)
type PerasCert (ShelleyBlock proto DijkstraEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCert (ShelleyBlock proto DijkstraEra) = VoidPerasCert (ShelleyBlock proto DijkstraEra)
type PerasError (ShelleyBlock proto DijkstraEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasError (ShelleyBlock proto DijkstraEra) = VoidPerasError (ShelleyBlock proto DijkstraEra)
type PerasCrypto (ShelleyBlock proto DijkstraEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCrypto (ShelleyBlock proto DijkstraEra) = VoidPerasCrypto (ShelleyBlock proto DijkstraEra)
type PerasVotingCommitteeScheme (ShelleyBlock proto DijkstraEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVotingCommitteeScheme (ShelleyBlock proto DijkstraEra) = VoidPerasVotingCommitteeScheme

Methods

forgePerasVoteIfEligible ∷ PerasEpochContext (ShelleyBlock proto DijkstraEra) → PoolId → PrivateKey (PerasCrypto (ShelleyBlock proto DijkstraEra)) → PerasRoundNo → Point (ShelleyBlock proto DijkstraEra) → Either (PerasError (ShelleyBlock proto DijkstraEra)) (Maybe (ValidatedPerasVote (ShelleyBlock proto DijkstraEra))) Source #

verifyPerasVote ∷ PerasEpochContext (ShelleyBlock proto DijkstraEra) → PerasVote (ShelleyBlock proto DijkstraEra) → Either (PerasError (ShelleyBlock proto DijkstraEra)) (ValidatedPerasVote (ShelleyBlock proto DijkstraEra)) Source #

forgePerasCert ∷ PerasEpochContext (ShelleyBlock proto DijkstraEra) → PerasVoteCollectionWithQuorum (ShelleyBlock proto DijkstraEra) → Either (PerasError (ShelleyBlock proto DijkstraEra)) (ValidatedPerasCert (ShelleyBlock proto DijkstraEra)) Source #

verifyPerasCert ∷ PerasEpochContext (ShelleyBlock proto DijkstraEra) → PerasCert (ShelleyBlock proto DijkstraEra) → Either (PerasError (ShelleyBlock proto DijkstraEra)) (ValidatedPerasCert (ShelleyBlock proto DijkstraEra)) Source #

getPerasCertInBlock ∷ ShelleyBlock proto DijkstraEra → Either (PerasError (ShelleyBlock proto DijkstraEra)) (Maybe (PerasCert (ShelleyBlock proto DijkstraEra))) Source #

Typeable proto ⇒ BlockSupportsPeras (ShelleyBlock proto MaryEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

Associated Types

type PerasVote (ShelleyBlock proto MaryEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVote (ShelleyBlock proto MaryEra) = VoidPerasVote (ShelleyBlock proto MaryEra)
type PerasCert (ShelleyBlock proto MaryEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCert (ShelleyBlock proto MaryEra) = VoidPerasCert (ShelleyBlock proto MaryEra)
type PerasError (ShelleyBlock proto MaryEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasError (ShelleyBlock proto MaryEra) = VoidPerasError (ShelleyBlock proto MaryEra)
type PerasCrypto (ShelleyBlock proto MaryEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCrypto (ShelleyBlock proto MaryEra) = VoidPerasCrypto (ShelleyBlock proto MaryEra)
type PerasVotingCommitteeScheme (ShelleyBlock proto MaryEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVotingCommitteeScheme (ShelleyBlock proto MaryEra) = VoidPerasVotingCommitteeScheme

Methods

forgePerasVoteIfEligible ∷ PerasEpochContext (ShelleyBlock proto MaryEra) → PoolId → PrivateKey (PerasCrypto (ShelleyBlock proto MaryEra)) → PerasRoundNo → Point (ShelleyBlock proto MaryEra) → Either (PerasError (ShelleyBlock proto MaryEra)) (Maybe (ValidatedPerasVote (ShelleyBlock proto MaryEra))) Source #

verifyPerasVote ∷ PerasEpochContext (ShelleyBlock proto MaryEra) → PerasVote (ShelleyBlock proto MaryEra) → Either (PerasError (ShelleyBlock proto MaryEra)) (ValidatedPerasVote (ShelleyBlock proto MaryEra)) Source #

forgePerasCert ∷ PerasEpochContext (ShelleyBlock proto MaryEra) → PerasVoteCollectionWithQuorum (ShelleyBlock proto MaryEra) → Either (PerasError (ShelleyBlock proto MaryEra)) (ValidatedPerasCert (ShelleyBlock proto MaryEra)) Source #

verifyPerasCert ∷ PerasEpochContext (ShelleyBlock proto MaryEra) → PerasCert (ShelleyBlock proto MaryEra) → Either (PerasError (ShelleyBlock proto MaryEra)) (ValidatedPerasCert (ShelleyBlock proto MaryEra)) Source #

getPerasCertInBlock ∷ ShelleyBlock proto MaryEra → Either (PerasError (ShelleyBlock proto MaryEra)) (Maybe (PerasCert (ShelleyBlock proto MaryEra))) Source #

Typeable proto ⇒ BlockSupportsPeras (ShelleyBlock proto ShelleyEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

Associated Types

type PerasVote (ShelleyBlock proto ShelleyEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVote (ShelleyBlock proto ShelleyEra) = VoidPerasVote (ShelleyBlock proto ShelleyEra)
type PerasCert (ShelleyBlock proto ShelleyEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCert (ShelleyBlock proto ShelleyEra) = VoidPerasCert (ShelleyBlock proto ShelleyEra)
type PerasError (ShelleyBlock proto ShelleyEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasError (ShelleyBlock proto ShelleyEra) = VoidPerasError (ShelleyBlock proto ShelleyEra)
type PerasCrypto (ShelleyBlock proto ShelleyEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCrypto (ShelleyBlock proto ShelleyEra) = VoidPerasCrypto (ShelleyBlock proto ShelleyEra)
type PerasVotingCommitteeScheme (ShelleyBlock proto ShelleyEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVotingCommitteeScheme (ShelleyBlock proto ShelleyEra) = VoidPerasVotingCommitteeScheme

Methods

forgePerasVoteIfEligible ∷ PerasEpochContext (ShelleyBlock proto ShelleyEra) → PoolId → PrivateKey (PerasCrypto (ShelleyBlock proto ShelleyEra)) → PerasRoundNo → Point (ShelleyBlock proto ShelleyEra) → Either (PerasError (ShelleyBlock proto ShelleyEra)) (Maybe (ValidatedPerasVote (ShelleyBlock proto ShelleyEra))) Source #

verifyPerasVote ∷ PerasEpochContext (ShelleyBlock proto ShelleyEra) → PerasVote (ShelleyBlock proto ShelleyEra) → Either (PerasError (ShelleyBlock proto ShelleyEra)) (ValidatedPerasVote (ShelleyBlock proto ShelleyEra)) Source #

forgePerasCert ∷ PerasEpochContext (ShelleyBlock proto ShelleyEra) → PerasVoteCollectionWithQuorum (ShelleyBlock proto ShelleyEra) → Either (PerasError (ShelleyBlock proto ShelleyEra)) (ValidatedPerasCert (ShelleyBlock proto ShelleyEra)) Source #

verifyPerasCert ∷ PerasEpochContext (ShelleyBlock proto ShelleyEra) → PerasCert (ShelleyBlock proto ShelleyEra) → Either (PerasError (ShelleyBlock proto ShelleyEra)) (ValidatedPerasCert (ShelleyBlock proto ShelleyEra)) Source #

getPerasCertInBlock ∷ ShelleyBlock proto ShelleyEra → Either (PerasError (ShelleyBlock proto ShelleyEra)) (Maybe (PerasCert (ShelleyBlock proto ShelleyEra))) Source #

ShelleyCompatible proto era ⇒ BlockSupportsProtocol (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Protocol

Methods

validateView ∷ BlockConfig (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → ValidateView (BlockProtocol (ShelleyBlock proto era)) Source #

tiebreakerView ∷ BlockConfig (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → TiebreakerView (BlockProtocol (ShelleyBlock proto era)) Source #

projectChainOrderConfig ∷ BlockConfig (ShelleyBlock proto era) → ChainOrderConfig (SelectView (BlockProtocol (ShelleyBlock proto era))) Source #

ConsensusProtocol proto ⇒ BlockSupportsSanityCheck (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node

Methods

configAllSecurityParams ∷ TopLevelConfig (ShelleyBlock proto era) → NonEmpty SecurityParam Source #

ConfigSupportsNode (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Common

Methods

getSystemStart ∷ BlockConfig (ShelleyBlock proto era) → SystemStart Source #

getNetworkMagic ∷ BlockConfig (ShelleyBlock proto era) → NetworkMagic Source #

ShelleyBasedEra era ⇒ HasHardForkHistory (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type HardForkIndices (ShelleyBlock proto era) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type HardForkIndices (ShelleyBlock proto era) = '[ShelleyBlock proto era]

Methods

hardForkSummary ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock proto era) → LedgerState (ShelleyBlock proto era) mk → Summary (HardForkIndices (ShelleyBlock proto era)) Source #

(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era)) ⇒ ImmutableEraParams (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

Methods

immutableEraParams ∷ TopLevelConfig (ShelleyBlock proto era) → EraParams Source #

(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), TxLimits (ShelleyBlock proto era), Crypto (ProtoCrypto proto)) ⇒ NoHardForks (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

Methods

toPartialLedgerConfig ∷ proxy (ShelleyBlock proto era) → LedgerConfig (ShelleyBlock proto era) → PartialLedgerConfig (ShelleyBlock proto era) Source #

(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), TxLimits (ShelleyBlock proto era), Crypto (ProtoCrypto proto)) ⇒ SingleEraBlock (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

Methods

singleEraTransition ∷ ∀ (mk ∷ MapKind). PartialLedgerConfig (ShelleyBlock proto era) → EraParams → Bound → LedgerState (ShelleyBlock proto era) mk → Maybe EpochNo Source #

singleEraInfo ∷ proxy (ShelleyBlock proto era) → SingleEraInfo (ShelleyBlock proto era) Source #

ShelleyCompatible proto era ⇒ CondenseConstraints (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Condense

ShelleyCompatible proto era ⇒ HasPartialLedgerConfig (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type PartialLedgerConfig (ShelleyBlock proto era) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type PartialLedgerConfig (ShelleyBlock proto era) = ShelleyPartialLedgerConfig era

Methods

completeLedgerConfig ∷ proxy (ShelleyBlock proto era) → EpochInfo (Except PastHorizonException) → PartialLedgerConfig (ShelleyBlock proto era) → LedgerConfig (ShelleyBlock proto era) Source #

(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), TxLimits (ShelleyBlock proto era), SerialiseNodeToNodeConstraints (ShelleyBlock proto era), Crypto (ProtoCrypto proto)) ⇒ SerialiseConstraintsHFC (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

ShelleyCompatible proto era ⇒ BasicEnvelopeValidation (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

expectedFirstBlockNo ∷ proxy (ShelleyBlock proto era) → BlockNo Source #

expectedNextBlockNo ∷ proxy (ShelleyBlock proto era) → TipInfo (ShelleyBlock proto era) → TipInfo (ShelleyBlock proto era) → BlockNo → BlockNo Source #

minimumPossibleSlotNo ∷ Proxy (ShelleyBlock proto era) → SlotNo Source #

minimumNextSlotNo ∷ proxy (ShelleyBlock proto era) → TipInfo (ShelleyBlock proto era) → TipInfo (ShelleyBlock proto era) → SlotNo → SlotNo Source #

ShelleyCompatible proto era ⇒ HasAnnTip (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Associated Types

type TipInfo (ShelleyBlock proto era) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type TipInfo (ShelleyBlock proto era) = HeaderHash (ShelleyBlock proto era)

Methods

getTipInfo ∷ Header (ShelleyBlock proto era) → TipInfo (ShelleyBlock proto era) Source #

tipInfoHash ∷ proxy (ShelleyBlock proto era) → TipInfo (ShelleyBlock proto era) → HeaderHash (ShelleyBlock proto era) Source #

ShelleyCompatible proto era ⇒ ValidateEnvelope (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type OtherHeaderEnvelopeError (ShelleyBlock proto era) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type OtherHeaderEnvelopeError (ShelleyBlock proto era) = EnvelopeCheckError proto

Methods

additionalEnvelopeChecks ∷ TopLevelConfig (ShelleyBlock proto era) → LedgerView (BlockProtocol (ShelleyBlock proto era)) → Header (ShelleyBlock proto era) → Except (OtherHeaderEnvelopeError (ShelleyBlock proto era)) () Source #

ShelleyCompatible proto era ⇒ GetBlockKeySets (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

getBlockKeySets ∷ ShelleyBlock proto era → LedgerTables (ShelleyBlock proto era) KeysMK Source #

ShelleyCompatible proto era ⇒ UpdateLedger (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

ShelleyCompatible proto era ⇒ CommonProtocolParams (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

maxHeaderSize ∷ ∀ (mk ∷ MapKind). LedgerState (ShelleyBlock proto era) mk → Word32 Source #

maxTxSize ∷ ∀ (mk ∷ MapKind). LedgerState (ShelleyBlock proto era) mk → Word32 Source #

ShelleyBasedEra era ⇒ InspectLedger (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect

Associated Types

type LedgerWarning (ShelleyBlock proto era) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect

type LedgerWarning (ShelleyBlock proto era) = Void
type LedgerUpdate (ShelleyBlock proto era) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect

type LedgerUpdate (ShelleyBlock proto era) = ShelleyLedgerUpdate era

Methods

inspectLedger ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). TopLevelConfig (ShelleyBlock proto era) → LedgerState (ShelleyBlock proto era) mk1 → LedgerState (ShelleyBlock proto era) mk2 → [LedgerEvent (ShelleyBlock proto era)] Source #

(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), ConfigSupportsNode (ShelleyBlock proto era), ProtoCrypto proto ~ crypto, Crypto crypto) ⇒ BlockSupportsLedgerQuery (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

Methods

answerPureBlockQuery ∷ ExtLedgerCfg (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) 'QFNoTables result → ExtLedgerState (ShelleyBlock proto era) EmptyMK → result Source #

answerBlockQueryLookup ∷ MonadSTM m ⇒ ExtLedgerCfg (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) 'QFLookupTables result → ReadOnlyForker' m (ShelleyBlock proto era) → m result Source #

answerBlockQueryTraverse ∷ MonadSTM m ⇒ ExtLedgerCfg (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) 'QFTraverseTables result → ReadOnlyForker' m (ShelleyBlock proto era) → m result Source #

blockQueryIsSupportedOnVersion ∷ ∀ (fp ∷ QueryFootprint) result. BlockQuery (ShelleyBlock proto era) fp result → BlockNodeToClientVersion (ShelleyBlock proto era) → Bool Source #

ShelleyBasedEra era ⇒ HasTxs (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

extractTxs ∷ ShelleyBlock proto era → [GenTx (ShelleyBlock proto era)] Source #

(ShelleyCompatible proto era, TxLimits (ShelleyBlock proto era)) ⇒ LedgerSupportsMempool (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

txInvariant ∷ GenTx (ShelleyBlock proto era) → Bool Source #

applyTx ∷ LedgerConfig (ShelleyBlock proto era) → WhetherToIntervene → SlotNo → GenTx (ShelleyBlock proto era) → TickedLedgerState (ShelleyBlock proto era) ValuesMK → Except (ApplyTxErr (ShelleyBlock proto era)) (TickedLedgerState (ShelleyBlock proto era) DiffMK, Validated (GenTx (ShelleyBlock proto era))) Source #

reapplyTx ∷ LedgerConfig (ShelleyBlock proto era) → SlotNo → Validated (GenTx (ShelleyBlock proto era)) → TickedLedgerState (ShelleyBlock proto era) ValuesMK → Except (ApplyTxErr (ShelleyBlock proto era)) (TickedLedgerState (ShelleyBlock proto era) ValuesMK) Source #

reapplyTxs ∷ ∀ (wtd ∷ WhatToDoWithTxDiffs) extra. LedgerConfig (ShelleyBlock proto era) → SlotNo → [(Validated (GenTx (ShelleyBlock proto era)), InputTxDiffs (ShelleyBlock proto era) wtd, extra)] → TickedLedgerState (ShelleyBlock proto era) ValuesMK → ReapplyTxsResult extra (ShelleyBlock proto era) wtd Source #

txForgetValidated ∷ Validated (GenTx (ShelleyBlock proto era)) → GenTx (ShelleyBlock proto era) Source #

getTransactionKeySets ∷ GenTx (ShelleyBlock proto era) → LedgerTables (ShelleyBlock proto era) KeysMK Source #

prependMempoolDiffs ∷ TickedLedgerState (ShelleyBlock proto era) DiffMK → TickedLedgerState (ShelleyBlock proto era) DiffMK → TickedLedgerState (ShelleyBlock proto era) DiffMK Source #

applyMempoolDiffs ∷ LedgerTables (ShelleyBlock proto era) ValuesMK → LedgerTables (ShelleyBlock proto era) KeysMK → TickedLedgerState (ShelleyBlock proto era) DiffMK → TickedLedgerState (ShelleyBlock proto era) ValuesMK Source #

mkMempoolApplyTxError ∷ ∀ (mk ∷ MapKind). TickedLedgerState (ShelleyBlock proto era) mk → Text → Maybe (ApplyTxErr (ShelleyBlock proto era)) Source #

ShelleyCompatible p AllegraEra ⇒ TxLimits (ShelleyBlock p AllegraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasurePhase1 (ShelleyBlock p AllegraEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase1 (ShelleyBlock p AllegraEra) = IgnoringOverflow ByteSize32
type TxMeasurePhase2 (ShelleyBlock p AllegraEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase2 (ShelleyBlock p AllegraEra) = TrivialTxMeasurePhase2

Methods

txWireSize ∷ GenTx (ShelleyBlock p AllegraEra) → SizeInBytes Source #

txMeasurePhase1 ∷ LedgerConfig (ShelleyBlock p AllegraEra) → TickedLedgerState (ShelleyBlock p AllegraEra) EmptyMK → GenTx (ShelleyBlock p AllegraEra) → Except (ApplyTxErr (ShelleyBlock p AllegraEra)) (TxMeasurePhase1 (ShelleyBlock p AllegraEra)) Source #

txMeasurePhase2 ∷ LedgerConfig (ShelleyBlock p AllegraEra) → TickedLedgerState (ShelleyBlock p AllegraEra) ValuesMK → GenTx (ShelleyBlock p AllegraEra) → Except (ApplyTxErr (ShelleyBlock p AllegraEra)) (TxMeasurePhase2 (ShelleyBlock p AllegraEra)) Source #

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p AllegraEra) → TickedLedgerState (ShelleyBlock p AllegraEra) mk → TxMeasure (ShelleyBlock p AllegraEra) Source #

ShelleyCompatible p AlonzoEra ⇒ TxLimits (ShelleyBlock p AlonzoEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasurePhase1 (ShelleyBlock p AlonzoEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase1 (ShelleyBlock p AlonzoEra) = AlonzoMeasure
type TxMeasurePhase2 (ShelleyBlock p AlonzoEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase2 (ShelleyBlock p AlonzoEra) = TrivialTxMeasurePhase2

Methods

txWireSize ∷ GenTx (ShelleyBlock p AlonzoEra) → SizeInBytes Source #

txMeasurePhase1 ∷ LedgerConfig (ShelleyBlock p AlonzoEra) → TickedLedgerState (ShelleyBlock p AlonzoEra) EmptyMK → GenTx (ShelleyBlock p AlonzoEra) → Except (ApplyTxErr (ShelleyBlock p AlonzoEra)) (TxMeasurePhase1 (ShelleyBlock p AlonzoEra)) Source #

txMeasurePhase2 ∷ LedgerConfig (ShelleyBlock p AlonzoEra) → TickedLedgerState (ShelleyBlock p AlonzoEra) ValuesMK → GenTx (ShelleyBlock p AlonzoEra) → Except (ApplyTxErr (ShelleyBlock p AlonzoEra)) (TxMeasurePhase2 (ShelleyBlock p AlonzoEra)) Source #

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p AlonzoEra) → TickedLedgerState (ShelleyBlock p AlonzoEra) mk → TxMeasure (ShelleyBlock p AlonzoEra) Source #

ShelleyCompatible p BabbageEra ⇒ TxLimits (ShelleyBlock p BabbageEra) Source #

We anachronistically use ConwayMeasure in Babbage.

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasurePhase1 (ShelleyBlock p BabbageEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase1 (ShelleyBlock p BabbageEra) = AlonzoMeasure
type TxMeasurePhase2 (ShelleyBlock p BabbageEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase2 (ShelleyBlock p BabbageEra) = TrivialTxMeasurePhase2

Methods

txWireSize ∷ GenTx (ShelleyBlock p BabbageEra) → SizeInBytes Source #

txMeasurePhase1 ∷ LedgerConfig (ShelleyBlock p BabbageEra) → TickedLedgerState (ShelleyBlock p BabbageEra) EmptyMK → GenTx (ShelleyBlock p BabbageEra) → Except (ApplyTxErr (ShelleyBlock p BabbageEra)) (TxMeasurePhase1 (ShelleyBlock p BabbageEra)) Source #

txMeasurePhase2 ∷ LedgerConfig (ShelleyBlock p BabbageEra) → TickedLedgerState (ShelleyBlock p BabbageEra) ValuesMK → GenTx (ShelleyBlock p BabbageEra) → Except (ApplyTxErr (ShelleyBlock p BabbageEra)) (TxMeasurePhase2 (ShelleyBlock p BabbageEra)) Source #

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p BabbageEra) → TickedLedgerState (ShelleyBlock p BabbageEra) mk → TxMeasure (ShelleyBlock p BabbageEra) Source #

ShelleyCompatible p ConwayEra ⇒ TxLimits (ShelleyBlock p ConwayEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasurePhase1 (ShelleyBlock p ConwayEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase1 (ShelleyBlock p ConwayEra) = AlonzoMeasure
type TxMeasurePhase2 (ShelleyBlock p ConwayEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase2 (ShelleyBlock p ConwayEra) = RefScriptSize

Methods

txWireSize ∷ GenTx (ShelleyBlock p ConwayEra) → SizeInBytes Source #

txMeasurePhase1 ∷ LedgerConfig (ShelleyBlock p ConwayEra) → TickedLedgerState (ShelleyBlock p ConwayEra) EmptyMK → GenTx (ShelleyBlock p ConwayEra) → Except (ApplyTxErr (ShelleyBlock p ConwayEra)) (TxMeasurePhase1 (ShelleyBlock p ConwayEra)) Source #

txMeasurePhase2 ∷ LedgerConfig (ShelleyBlock p ConwayEra) → TickedLedgerState (ShelleyBlock p ConwayEra) ValuesMK → GenTx (ShelleyBlock p ConwayEra) → Except (ApplyTxErr (ShelleyBlock p ConwayEra)) (TxMeasurePhase2 (ShelleyBlock p ConwayEra)) Source #

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p ConwayEra) → TickedLedgerState (ShelleyBlock p ConwayEra) mk → TxMeasure (ShelleyBlock p ConwayEra) Source #

ShelleyCompatible p DijkstraEra ⇒ TxLimits (ShelleyBlock p DijkstraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasurePhase1 (ShelleyBlock p DijkstraEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase1 (ShelleyBlock p DijkstraEra) = AlonzoMeasure
type TxMeasurePhase2 (ShelleyBlock p DijkstraEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase2 (ShelleyBlock p DijkstraEra) = RefScriptSize

Methods

txWireSize ∷ GenTx (ShelleyBlock p DijkstraEra) → SizeInBytes Source #

txMeasurePhase1 ∷ LedgerConfig (ShelleyBlock p DijkstraEra) → TickedLedgerState (ShelleyBlock p DijkstraEra) EmptyMK → GenTx (ShelleyBlock p DijkstraEra) → Except (ApplyTxErr (ShelleyBlock p DijkstraEra)) (TxMeasurePhase1 (ShelleyBlock p DijkstraEra)) Source #

txMeasurePhase2 ∷ LedgerConfig (ShelleyBlock p DijkstraEra) → TickedLedgerState (ShelleyBlock p DijkstraEra) ValuesMK → GenTx (ShelleyBlock p DijkstraEra) → Except (ApplyTxErr (ShelleyBlock p DijkstraEra)) (TxMeasurePhase2 (ShelleyBlock p DijkstraEra)) Source #

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p DijkstraEra) → TickedLedgerState (ShelleyBlock p DijkstraEra) mk → TxMeasure (ShelleyBlock p DijkstraEra) Source #

ShelleyCompatible p MaryEra ⇒ TxLimits (ShelleyBlock p MaryEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasurePhase1 (ShelleyBlock p MaryEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase1 (ShelleyBlock p MaryEra) = IgnoringOverflow ByteSize32
type TxMeasurePhase2 (ShelleyBlock p MaryEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase2 (ShelleyBlock p MaryEra) = TrivialTxMeasurePhase2

Methods

txWireSize ∷ GenTx (ShelleyBlock p MaryEra) → SizeInBytes Source #

txMeasurePhase1 ∷ LedgerConfig (ShelleyBlock p MaryEra) → TickedLedgerState (ShelleyBlock p MaryEra) EmptyMK → GenTx (ShelleyBlock p MaryEra) → Except (ApplyTxErr (ShelleyBlock p MaryEra)) (TxMeasurePhase1 (ShelleyBlock p MaryEra)) Source #

txMeasurePhase2 ∷ LedgerConfig (ShelleyBlock p MaryEra) → TickedLedgerState (ShelleyBlock p MaryEra) ValuesMK → GenTx (ShelleyBlock p MaryEra) → Except (ApplyTxErr (ShelleyBlock p MaryEra)) (TxMeasurePhase2 (ShelleyBlock p MaryEra)) Source #

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p MaryEra) → TickedLedgerState (ShelleyBlock p MaryEra) mk → TxMeasure (ShelleyBlock p MaryEra) Source #

ShelleyCompatible p ShelleyEra ⇒ TxLimits (ShelleyBlock p ShelleyEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type TxMeasurePhase1 (ShelleyBlock p ShelleyEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase1 (ShelleyBlock p ShelleyEra) = IgnoringOverflow ByteSize32
type TxMeasurePhase2 (ShelleyBlock p ShelleyEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase2 (ShelleyBlock p ShelleyEra) = TrivialTxMeasurePhase2

Methods

txWireSize ∷ GenTx (ShelleyBlock p ShelleyEra) → SizeInBytes Source #

txMeasurePhase1 ∷ LedgerConfig (ShelleyBlock p ShelleyEra) → TickedLedgerState (ShelleyBlock p ShelleyEra) EmptyMK → GenTx (ShelleyBlock p ShelleyEra) → Except (ApplyTxErr (ShelleyBlock p ShelleyEra)) (TxMeasurePhase1 (ShelleyBlock p ShelleyEra)) Source #

txMeasurePhase2 ∷ LedgerConfig (ShelleyBlock p ShelleyEra) → TickedLedgerState (ShelleyBlock p ShelleyEra) ValuesMK → GenTx (ShelleyBlock p ShelleyEra) → Except (ApplyTxErr (ShelleyBlock p ShelleyEra)) (TxMeasurePhase2 (ShelleyBlock p ShelleyEra)) Source #

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock p ShelleyEra) → TickedLedgerState (ShelleyBlock p ShelleyEra) mk → TxMeasure (ShelleyBlock p ShelleyEra) Source #

EraCertState era ⇒ LedgerSupportsPeerSelection (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.PeerSelection

Methods

getPeers ∷ ∀ (mk ∷ MapKind). LedgerState (ShelleyBlock proto era) mk → [(PoolStake, NonEmpty StakePoolRelay)] Source #

(ShelleyCompatible (Praos crypto) era, EraForecast era, PraosCrypto crypto) ⇒ LedgerSupportsProtocol (ShelleyBlock (Praos crypto) era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.SupportsProtocol

Methods

protocolLedgerView ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock (Praos crypto) era) → Ticked LedgerState (ShelleyBlock (Praos crypto) era) mk → LedgerView (BlockProtocol (ShelleyBlock (Praos crypto) era)) Source #

ledgerViewForecastAt ∷ ∀ (mk ∷ MapKind). HasCallStack ⇒ LedgerConfig (ShelleyBlock (Praos crypto) era) → LedgerState (ShelleyBlock (Praos crypto) era) mk → Forecast (LedgerView (BlockProtocol (ShelleyBlock (Praos crypto) era))) Source #

(ShelleyCompatible (TPraos crypto) era, ShelleyEraForecast era, PraosCrypto crypto) ⇒ LedgerSupportsProtocol (ShelleyBlock (TPraos crypto) era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.SupportsProtocol

Methods

protocolLedgerView ∷ ∀ (mk ∷ MapKind). LedgerConfig (ShelleyBlock (TPraos crypto) era) → Ticked LedgerState (ShelleyBlock (TPraos crypto) era) mk → LedgerView (BlockProtocol (ShelleyBlock (TPraos crypto) era)) Source #

ledgerViewForecastAt ∷ ∀ (mk ∷ MapKind). HasCallStack ⇒ LedgerConfig (ShelleyBlock (TPraos crypto) era) → LedgerState (ShelleyBlock (TPraos crypto) era) mk → Forecast (LedgerView (BlockProtocol (ShelleyBlock (TPraos crypto) era))) Source #

ShelleyCompatible proto era ⇒ NodeInitStorage (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Common

Methods

nodeImmutableDbChunkInfo ∷ StorageConfig (ShelleyBlock proto era) → ChunkInfo Source #

nodeCheckIntegrity ∷ StorageConfig (ShelleyBlock proto era) → ShelleyBlock proto era → Bool Source #

nodeInitChainDB ∷ IOLike m ⇒ StorageConfig (ShelleyBlock proto era) → InitChainDB m (ShelleyBlock proto era) → m () Source #

HasNetworkProtocolVersion (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion

Associated Types

type BlockNodeToNodeVersion (ShelleyBlock proto era) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion

type BlockNodeToNodeVersion (ShelleyBlock proto era) = ShelleyNodeToNodeVersion
type BlockNodeToClientVersion (ShelleyBlock proto era) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion

type BlockNodeToClientVersion (ShelleyBlock proto era) = ShelleyNodeToClientVersion
SupportedNetworkProtocolVersion (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion

Methods

supportedNodeToNodeVersions ∷ Proxy (ShelleyBlock proto era) → Map NodeToNodeVersion (BlockNodeToNodeVersion (ShelleyBlock proto era)) Source #

supportedNodeToClientVersions ∷ Proxy (ShelleyBlock proto era) → Map NodeToClientVersion (BlockNodeToClientVersion (ShelleyBlock proto era)) Source #

latestReleasedNodeVersion ∷ Proxy (ShelleyBlock proto era) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source #

(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), TxLimits (ShelleyBlock proto era), Crypto (ProtoCrypto proto)) ⇒ SupportedNetworkProtocolVersion (ShelleyBlockHFC proto era) Source #

Forward to the ShelleyBlock instance. Only supports HardForkNodeToNodeDisabled, which is compatible with nodes running with ShelleyBlock.

Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

Methods

supportedNodeToNodeVersions ∷ Proxy (ShelleyBlockHFC proto era) → Map NodeToNodeVersion (BlockNodeToNodeVersion (ShelleyBlockHFC proto era)) Source #

supportedNodeToClientVersions ∷ Proxy (ShelleyBlockHFC proto era) → Map NodeToClientVersion (BlockNodeToClientVersion (ShelleyBlockHFC proto era)) Source #

latestReleasedNodeVersion ∷ Proxy (ShelleyBlockHFC proto era) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source #

(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), BlockSupportsSanityCheck (ShelleyBlock proto era), TxLimits (ShelleyBlock proto era), NoHardForks (ShelleyBlock proto era), Crypto (ProtoCrypto proto), SerialiseNodeToNodeConstraints (ShelleyBlock proto era), ShowProxy (PerasCert (ShelleyBlock proto era)), ShowProxy (PerasVote (ShelleyBlock proto era))) ⇒ RunNode (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node

(NoHardForks (ShelleyBlock proto era), ShelleyCompatible proto era) ⇒ SerialiseNodeToClientConstraints (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyCompatible proto AllegraEra ⇒ SerialiseNodeToNodeConstraints (ShelleyBlock proto AllegraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

estimateBlockSize ∷ Header (ShelleyBlock proto AllegraEra) → SizeInBytes Source #

ShelleyCompatible proto AlonzoEra ⇒ SerialiseNodeToNodeConstraints (ShelleyBlock proto AlonzoEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

estimateBlockSize ∷ Header (ShelleyBlock proto AlonzoEra) → SizeInBytes Source #

ShelleyCompatible proto BabbageEra ⇒ SerialiseNodeToNodeConstraints (ShelleyBlock proto BabbageEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

estimateBlockSize ∷ Header (ShelleyBlock proto BabbageEra) → SizeInBytes Source #

ShelleyCompatible proto ConwayEra ⇒ SerialiseNodeToNodeConstraints (ShelleyBlock proto ConwayEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

estimateBlockSize ∷ Header (ShelleyBlock proto ConwayEra) → SizeInBytes Source #

ShelleyCompatible proto DijkstraEra ⇒ SerialiseNodeToNodeConstraints (ShelleyBlock proto DijkstraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

estimateBlockSize ∷ Header (ShelleyBlock proto DijkstraEra) → SizeInBytes Source #

ShelleyCompatible proto MaryEra ⇒ SerialiseNodeToNodeConstraints (ShelleyBlock proto MaryEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

estimateBlockSize ∷ Header (ShelleyBlock proto MaryEra) → SizeInBytes Source #

ShelleyCompatible proto ShelleyEra ⇒ SerialiseNodeToNodeConstraints (ShelleyBlock proto ShelleyEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

estimateBlockSize ∷ Header (ShelleyBlock proto ShelleyEra) → SizeInBytes Source #

(Typeable proto, ChainDepStateSupportsPeras (ChainDepState proto), ChainDepStateSupportsPeras (Ticked (ChainDepState proto))) ⇒ StateSupportsPerasEpochContext (ShelleyBlock proto AllegraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AllegraEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AllegraEra) = EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy (ShelleyBlock proto AllegraEra) → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AllegraEra) → EpochToPerasRoundInfo Source #

toMaybeEraIndexedEpochToPerasRoundInfo ∷ All (Top ∷ Type → Constraint) (HardForkIndices (ShelleyBlock proto AllegraEra)) ⇒ proxy (ShelleyBlock proto AllegraEra) → EraIndexed (HardForkIndices (ShelleyBlock proto AllegraEra)) EpochToPerasRoundInfo → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AllegraEra) Source #

mkBoundedPerasEpochContext ∷ (LedgerStateSupportsPeras ledgerState, ChainDepStateSupportsPeras chainDepState) ⇒ MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AllegraEra) → ledgerState EmptyMK → chainDepState → Either (PerasError (ShelleyBlock proto AllegraEra)) (BoundedPerasEpochContext (ShelleyBlock proto AllegraEra)) Source #

(Typeable proto, ChainDepStateSupportsPeras (ChainDepState proto), ChainDepStateSupportsPeras (Ticked (ChainDepState proto))) ⇒ StateSupportsPerasEpochContext (ShelleyBlock proto AlonzoEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AlonzoEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AlonzoEra) = EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy (ShelleyBlock proto AlonzoEra) → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AlonzoEra) → EpochToPerasRoundInfo Source #

toMaybeEraIndexedEpochToPerasRoundInfo ∷ All (Top ∷ Type → Constraint) (HardForkIndices (ShelleyBlock proto AlonzoEra)) ⇒ proxy (ShelleyBlock proto AlonzoEra) → EraIndexed (HardForkIndices (ShelleyBlock proto AlonzoEra)) EpochToPerasRoundInfo → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AlonzoEra) Source #

mkBoundedPerasEpochContext ∷ (LedgerStateSupportsPeras ledgerState, ChainDepStateSupportsPeras chainDepState) ⇒ MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AlonzoEra) → ledgerState EmptyMK → chainDepState → Either (PerasError (ShelleyBlock proto AlonzoEra)) (BoundedPerasEpochContext (ShelleyBlock proto AlonzoEra)) Source #

(Typeable proto, ChainDepStateSupportsPeras (ChainDepState proto), ChainDepStateSupportsPeras (Ticked (ChainDepState proto))) ⇒ StateSupportsPerasEpochContext (ShelleyBlock proto BabbageEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto BabbageEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto BabbageEra) = EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy (ShelleyBlock proto BabbageEra) → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto BabbageEra) → EpochToPerasRoundInfo Source #

toMaybeEraIndexedEpochToPerasRoundInfo ∷ All (Top ∷ Type → Constraint) (HardForkIndices (ShelleyBlock proto BabbageEra)) ⇒ proxy (ShelleyBlock proto BabbageEra) → EraIndexed (HardForkIndices (ShelleyBlock proto BabbageEra)) EpochToPerasRoundInfo → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto BabbageEra) Source #

mkBoundedPerasEpochContext ∷ (LedgerStateSupportsPeras ledgerState, ChainDepStateSupportsPeras chainDepState) ⇒ MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto BabbageEra) → ledgerState EmptyMK → chainDepState → Either (PerasError (ShelleyBlock proto BabbageEra)) (BoundedPerasEpochContext (ShelleyBlock proto BabbageEra)) Source #

(Typeable proto, ChainDepStateSupportsPeras (ChainDepState proto), ChainDepStateSupportsPeras (Ticked (ChainDepState proto))) ⇒ StateSupportsPerasEpochContext (ShelleyBlock proto ConwayEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ConwayEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ConwayEra) = EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy (ShelleyBlock proto ConwayEra) → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ConwayEra) → EpochToPerasRoundInfo Source #

toMaybeEraIndexedEpochToPerasRoundInfo ∷ All (Top ∷ Type → Constraint) (HardForkIndices (ShelleyBlock proto ConwayEra)) ⇒ proxy (ShelleyBlock proto ConwayEra) → EraIndexed (HardForkIndices (ShelleyBlock proto ConwayEra)) EpochToPerasRoundInfo → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ConwayEra) Source #

mkBoundedPerasEpochContext ∷ (LedgerStateSupportsPeras ledgerState, ChainDepStateSupportsPeras chainDepState) ⇒ MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ConwayEra) → ledgerState EmptyMK → chainDepState → Either (PerasError (ShelleyBlock proto ConwayEra)) (BoundedPerasEpochContext (ShelleyBlock proto ConwayEra)) Source #

(Typeable proto, ChainDepStateSupportsPeras (ChainDepState proto), ChainDepStateSupportsPeras (Ticked (ChainDepState proto))) ⇒ StateSupportsPerasEpochContext (ShelleyBlock proto DijkstraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto DijkstraEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto DijkstraEra) = EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy (ShelleyBlock proto DijkstraEra) → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto DijkstraEra) → EpochToPerasRoundInfo Source #

toMaybeEraIndexedEpochToPerasRoundInfo ∷ All (Top ∷ Type → Constraint) (HardForkIndices (ShelleyBlock proto DijkstraEra)) ⇒ proxy (ShelleyBlock proto DijkstraEra) → EraIndexed (HardForkIndices (ShelleyBlock proto DijkstraEra)) EpochToPerasRoundInfo → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto DijkstraEra) Source #

mkBoundedPerasEpochContext ∷ (LedgerStateSupportsPeras ledgerState, ChainDepStateSupportsPeras chainDepState) ⇒ MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto DijkstraEra) → ledgerState EmptyMK → chainDepState → Either (PerasError (ShelleyBlock proto DijkstraEra)) (BoundedPerasEpochContext (ShelleyBlock proto DijkstraEra)) Source #

(Typeable proto, ChainDepStateSupportsPeras (ChainDepState proto), ChainDepStateSupportsPeras (Ticked (ChainDepState proto))) ⇒ StateSupportsPerasEpochContext (ShelleyBlock proto MaryEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto MaryEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto MaryEra) = EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy (ShelleyBlock proto MaryEra) → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto MaryEra) → EpochToPerasRoundInfo Source #

toMaybeEraIndexedEpochToPerasRoundInfo ∷ All (Top ∷ Type → Constraint) (HardForkIndices (ShelleyBlock proto MaryEra)) ⇒ proxy (ShelleyBlock proto MaryEra) → EraIndexed (HardForkIndices (ShelleyBlock proto MaryEra)) EpochToPerasRoundInfo → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto MaryEra) Source #

mkBoundedPerasEpochContext ∷ (LedgerStateSupportsPeras ledgerState, ChainDepStateSupportsPeras chainDepState) ⇒ MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto MaryEra) → ledgerState EmptyMK → chainDepState → Either (PerasError (ShelleyBlock proto MaryEra)) (BoundedPerasEpochContext (ShelleyBlock proto MaryEra)) Source #

(Typeable proto, ChainDepStateSupportsPeras (ChainDepState proto), ChainDepStateSupportsPeras (Ticked (ChainDepState proto))) ⇒ StateSupportsPerasEpochContext (ShelleyBlock proto ShelleyEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ShelleyEra) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ShelleyEra) = EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy (ShelleyBlock proto ShelleyEra) → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ShelleyEra) → EpochToPerasRoundInfo Source #

toMaybeEraIndexedEpochToPerasRoundInfo ∷ All (Top ∷ Type → Constraint) (HardForkIndices (ShelleyBlock proto ShelleyEra)) ⇒ proxy (ShelleyBlock proto ShelleyEra) → EraIndexed (HardForkIndices (ShelleyBlock proto ShelleyEra)) EpochToPerasRoundInfo → MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ShelleyEra) Source #

mkBoundedPerasEpochContext ∷ (LedgerStateSupportsPeras ledgerState, ChainDepStateSupportsPeras chainDepState) ⇒ MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ShelleyEra) → ledgerState EmptyMK → chainDepState → Either (PerasError (ShelleyBlock proto ShelleyEra)) (BoundedPerasEpochContext (ShelleyBlock proto ShelleyEra)) Source #

ShelleyCompatible proto era ⇒ SerialiseDiskConstraints (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyCompatible proto era ⇒ HasBinaryBlockInfo (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

getBinaryBlockInfo ∷ ShelleyBlock proto era → BinaryBlockInfo Source #

ShelleyCompatible proto era ⇒ Condense (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

condense ∷ ShelleyBlock proto era → String Source #

ShelleyBasedEra era ⇒ ToTxIdWords (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork.OptimizedTxIdComparison

Methods

toTxIdWords ∷ GenTxId (ShelleyBlock proto era) → (# Word64#, Word64#, Word64#, Word64# #) Source #

(proto ~ BlockProtocol (ShelleyBlock proto era), ShelleyCompatible proto era) ⇒ IsShelleyBlock (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

ShelleyCompatible proto era ⇒ HasHeader (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

getHeaderFields ∷ ShelleyBlock proto era → HeaderFields (ShelleyBlock proto era) #

ShelleyCompatible proto era ⇒ ShowQuery (BlockQuery (ShelleyBlock proto era) fp) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

Methods

showResult ∷ BlockQuery (ShelleyBlock proto era) fp result → result → String #

ShelleyCompatible proto era ⇒ SerialiseNodeToClient (ShelleyBlock proto era) SlotNo Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → SlotNo → Encoding Source #

decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s SlotNo Source #

ShelleyCompatible proto era ⇒ DecodeDisk (ShelleyBlock proto era) PraosState Source #
ChainDepState (BlockProtocol (ShelleyBlock era))
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s PraosState Source #

ShelleyCompatible proto era ⇒ DecodeDisk (ShelleyBlock proto era) TPraosState Source #
ChainDepState (BlockProtocol (ShelleyBlock era))
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s TPraosState Source #

ShelleyCompatible proto era ⇒ EncodeDisk (ShelleyBlock proto era) PraosState Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → PraosState → Encoding Source #

ShelleyCompatible proto era ⇒ EncodeDisk (ShelleyBlock proto era) TPraosState Source #
ChainDepState (BlockProtocol (ShelleyBlock era))
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → TPraosState → Encoding Source #

ShelleyBasedEra era ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (ApplyTxError era) Source #
ApplyTxErr '(ShelleyBlock era)'
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ApplyTxError era → Encoding Source #

decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (ApplyTxError era) Source #

(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), ConfigSupportsNode (ShelleyBlock proto era)) ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (SomeBlockQuery (BlockQuery (ShelleyBlock proto era))) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → SomeBlockQuery (BlockQuery (ShelleyBlock proto era)) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (SomeBlockQuery (BlockQuery (ShelleyBlock proto era))) Source #

ShelleyCompatible proto era ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (GenTx (ShelleyBlock proto era)) Source #

Uses CBOR-in-CBOR in the To/FromCBOR instances to get the annotation.

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → GenTx (ShelleyBlock proto era) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (GenTx (ShelleyBlock proto era)) Source #

ShelleyCompatible proto era ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (GenTxId (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → GenTxId (ShelleyBlock proto era) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (GenTxId (ShelleyBlock proto era)) Source #

(NoHardForks (ShelleyBlock proto era), ShelleyCompatible proto era) ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (ShelleyLedgerConfig era) Source #

This instance uses the invariant that the EpochInfo in a ShelleyLedgerConfig is fixed i.e. has a constant EpochSize and SlotLength. This is not true in the case of the HFC in a ShelleyPartialLedgerConfig, but that is handled correctly in the respective SerialiseNodeToClient instance for ShelleyPartialLedgerConfig.

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ShelleyLedgerConfig era → Encoding Source #

decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (ShelleyLedgerConfig era) Source #

ShelleyBasedEra era ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (ShelleyPartialLedgerConfig era) Source #

This instance uses the invariant that the EpochInfo in a ShelleyPartialLedgerConfig is always just a dummy value.

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ShelleyPartialLedgerConfig era → Encoding Source #

decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (ShelleyPartialLedgerConfig era) Source #

ShelleyCompatible proto era ⇒ SerialiseNodeToNode (ShelleyBlock proto era) (Header (ShelleyBlock proto era)) Source #

CBOR-in-CBOR to be compatible with the wrapped (Serialised) variant.

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → ∀ s. Decoder s (Header (ShelleyBlock proto era)) Source #

ShelleyCompatible proto era ⇒ SerialiseNodeToNode (ShelleyBlock proto era) (GenTx (ShelleyBlock proto era)) Source #

The To/FromCBOR instances defined in cardano-ledger use CBOR-in-CBOR to get the annotation.

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → GenTx (ShelleyBlock proto era) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → ∀ s. Decoder s (GenTx (ShelleyBlock proto era)) Source #

ShelleyCompatible proto era ⇒ SerialiseNodeToNode (ShelleyBlock proto era) (GenTxId (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → GenTxId (ShelleyBlock proto era) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → ∀ s. Decoder s (GenTxId (ShelleyBlock proto era)) Source #

SerialiseNodeToNode (ShelleyBlock proto era) (SerialisedHeader (ShelleyBlock proto era)) Source #

We use CBOR-in-CBOR

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → SerialisedHeader (ShelleyBlock proto era) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → ∀ s. Decoder s (SerialisedHeader (ShelleyBlock proto era)) Source #

ShelleyCompatible proto era ⇒ DecodeDisk (ShelleyBlock proto era) (AnnTip (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s (AnnTip (ShelleyBlock proto era)) Source #

ShelleyCompatible proto era ⇒ EncodeDisk (ShelleyBlock proto era) (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → Encoding Source #

ShelleyCompatible proto era ⇒ EncodeDisk (ShelleyBlock proto era) (AnnTip (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → AnnTip (ShelleyBlock proto era) → Encoding Source #

(Typeable era, Typeable proto) ⇒ ShowProxy (BlockQuery (ShelleyBlock proto era) ∷ QueryFootprint → Type → Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

Methods

showProxy ∷ Proxy (BlockQuery (ShelleyBlock proto era)) → String #

ShelleyBasedEra era ⇒ HasLedgerTables (Ticked LedgerState) (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked LedgerState (ShelleyBlock proto era) mk → LedgerTables (ShelleyBlock proto era) mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked LedgerState (ShelleyBlock proto era) any → LedgerTables (ShelleyBlock proto era) mk → Ticked LedgerState (ShelleyBlock proto era) mk Source #

ShelleyCompatible proto era ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (ShelleyBlock proto era) Source #

CBOR-in-CBOR for the annotation. This also makes it compatible with the wrapped (Serialised) variant.

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ShelleyBlock proto era → Encoding Source #

decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (ShelleyBlock proto era) Source #

SerialiseNodeToClient (ShelleyBlock proto era) (Serialised (ShelleyBlock proto era)) Source #

Serialised uses CBOR-in-CBOR by default.

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → Serialised (ShelleyBlock proto era) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (Serialised (ShelleyBlock proto era)) Source #

ShelleyCompatible proto era ⇒ SerialiseNodeToNode (ShelleyBlock proto era) (ShelleyBlock proto era) Source #

CBOR-in-CBOR for the annotation. This also makes it compatible with the wrapped (Serialised) variant.

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → ShelleyBlock proto era → Encoding Source #

decodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → ∀ s. Decoder s (ShelleyBlock proto era) Source #

SerialiseNodeToNode (ShelleyBlock proto era) (Serialised (ShelleyBlock proto era)) Source #

Serialised uses CBOR-in-CBOR by default.

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → Serialised (ShelleyBlock proto era) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → ∀ s. Decoder s (Serialised (ShelleyBlock proto era)) Source #

ShelleyCompatible proto era ⇒ DecodeDisk (ShelleyBlock proto era) (LedgerState (ShelleyBlock proto era) EmptyMK) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s (LedgerState (ShelleyBlock proto era) EmptyMK) Source #

ShelleyCompatible proto era ⇒ DecodeDisk (ShelleyBlock proto era) (ByteString → Either DecoderError (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s (ByteString → Either DecoderError (ShelleyBlock proto era)) Source #

ShelleyCompatible proto era ⇒ DecodeDisk (ShelleyBlock proto era) (ByteString → Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s (ByteString → Header (ShelleyBlock proto era)) Source #

ShelleyCompatible proto era ⇒ EncodeDisk (ShelleyBlock proto era) (LedgerState (ShelleyBlock proto era) EmptyMK) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → LedgerState (ShelleyBlock proto era) EmptyMK → Encoding Source #

ShelleyCompatible proto era ⇒ EncodeDisk (ShelleyBlock proto era) (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ShelleyBlock proto era → Encoding Source #

Eq (BlockQuery (ShelleyBlock proto era) fp result) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

Methods

(==) ∷ BlockQuery (ShelleyBlock proto era) fp result → BlockQuery (ShelleyBlock proto era) fp result → Bool #

(/=) ∷ BlockQuery (ShelleyBlock proto era) fp result → BlockQuery (ShelleyBlock proto era) fp result → Bool #

Show (NestedCtxt_ (ShelleyBlock proto era) f a) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

showsPrec ∷ Int → NestedCtxt_ (ShelleyBlock proto era) f a → ShowS #

show ∷ NestedCtxt_ (ShelleyBlock proto era) f a → String #

showList ∷ [NestedCtxt_ (ShelleyBlock proto era) f a] → ShowS #

Show (BlockQuery (ShelleyBlock proto era) fp result) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

Methods

showsPrec ∷ Int → BlockQuery (ShelleyBlock proto era) fp result → ShowS #

show ∷ BlockQuery (ShelleyBlock proto era) fp result → String #

showList ∷ [BlockQuery (ShelleyBlock proto era) fp result] → ShowS #

(ShelleyCompatible proto era, ShelleyBasedEra era) ⇒ HasCanonicalTxIn '[ShelleyBlock proto era] Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

Associated Types

newtype CanonicalTxIn '[ShelleyBlock proto era] 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

newtype CanonicalTxIn '[ShelleyBlock proto era] = ShelleyBlockHFCTxIn {}

Methods

injectCanonicalTxIn ∷ Index '[ShelleyBlock proto era] x → TxIn x → CanonicalTxIn '[ShelleyBlock proto era] Source #

ejectCanonicalTxIn ∷ Index '[ShelleyBlock proto era] x → CanonicalTxIn '[ShelleyBlock proto era] → TxIn x Source #

ShelleyCompatible proto era ⇒ HasHardForkTxOut '[ShelleyBlock proto era] Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

Associated Types

type HardForkTxOut '[ShelleyBlock proto era] 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

type HardForkTxOut '[ShelleyBlock proto era] = TxOut era

Methods

injectHardForkTxOut ∷ Index '[ShelleyBlock proto era] x → TxOut x → HardForkTxOut '[ShelleyBlock proto era] Source #

ejectHardForkTxOut ∷ Index '[ShelleyBlock proto era] x → HardForkTxOut '[ShelleyBlock proto era] → TxOut x Source #

txOutEjections ∷ NP ((K (NS WrapTxOut '[ShelleyBlock proto era]) ∷ Type → Type) -.-> WrapTxOut) '[ShelleyBlock proto era] Source #

txOutTranslations ∷ Tails (Fn2 WrapTxOut) '[ShelleyBlock proto era] Source #

(ShelleyCompatible proto era, ShelleyBasedEra era, TxOut (ShelleyBlock proto era) ~ TxOut era, HasHardForkTxOut '[ShelleyBlock proto era]) ⇒ BlockSupportsHFLedgerQuery '[ShelleyBlock proto era] Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

Methods

answerBlockQueryHFLookup ∷ (All SingleEraBlock '[ShelleyBlock proto era], Monad m) ⇒ Index '[ShelleyBlock proto era] x → ExtLedgerCfg x → BlockQuery x 'QFLookupTables result → ReadOnlyForker' m (HardForkBlock '[ShelleyBlock proto era]) → m result Source #

answerBlockQueryHFTraverse ∷ (All SingleEraBlock '[ShelleyBlock proto era], Monad m) ⇒ Index '[ShelleyBlock proto era] x → ExtLedgerCfg x → BlockQuery x 'QFTraverseTables result → ReadOnlyForker' m (HardForkBlock '[ShelleyBlock proto era]) → m result Source #

queryLedgerGetTraversingFilter ∷ Index '[ShelleyBlock proto era] x → BlockQuery x 'QFTraverseTables result → TxOut (HardForkBlock '[ShelleyBlock proto era]) → Bool Source #

(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), TxLimits (ShelleyBlock proto era), SerialiseNodeToNodeConstraints (ShelleyBlock proto era), Crypto (ProtoCrypto proto)) ⇒ SerialiseHFC '[ShelleyBlock proto era] Source #

Use the default implementations. This means the serialisation of blocks includes an era wrapper. Each block should do this from the start to be prepared for future hard forks without having to do any bit twiddling.

Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

Methods

encodeDiskHfcBlock ∷ CodecConfig (HardForkBlock '[ShelleyBlock proto era]) → HardForkBlock '[ShelleyBlock proto era] → Encoding Source #

decodeDiskHfcBlock ∷ CodecConfig (HardForkBlock '[ShelleyBlock proto era]) → ∀ s. Decoder s (ByteString → Either DecoderError (HardForkBlock '[ShelleyBlock proto era])) Source #

reconstructHfcPrefixLen ∷ proxy (Header (HardForkBlock '[ShelleyBlock proto era])) → PrefixLen Source #

reconstructHfcNestedCtxt ∷ proxy (Header (HardForkBlock '[ShelleyBlock proto era])) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock '[ShelleyBlock proto era]) Source #

getHfcBinaryBlockInfo ∷ HardForkBlock '[ShelleyBlock proto era] → BinaryBlockInfo Source #

estimateHfcBlockSize ∷ Header (HardForkBlock '[ShelleyBlock proto era]) → SizeInBytes Source #

GetTip (Ticked LedgerState (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked LedgerState (ShelleyBlock proto era) mk → Point (Ticked LedgerState (ShelleyBlock proto era)) Source #

LedgerStateSupportsPeras (Ticked LedgerState (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

getPoolDistr ∷ Ticked LedgerState (ShelleyBlock proto era) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (ShelleyBlock proto era) EmptyMK → PerasParams blk Source #

ShelleyBasedEra era ⇒ CanStowLedgerTables (Ticked LedgerState (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

stowLedgerTables ∷ Ticked LedgerState (ShelleyBlock proto era) ValuesMK → Ticked LedgerState (ShelleyBlock proto era) EmptyMK Source #

unstowLedgerTables ∷ Ticked LedgerState (ShelleyBlock proto era) EmptyMK → Ticked LedgerState (ShelleyBlock proto era) ValuesMK Source #

Generic (Ticked LedgerState (ShelleyBlock proto era) mk) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type Rep (Ticked LedgerState (ShelleyBlock proto era) mk) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep (Ticked LedgerState (ShelleyBlock proto era) mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "TickedShelleyLedgerState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "untickedShelleyLedgerTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (ShelleyTip proto era))) :*: S1 ('MetaSel ('Just "tickedShelleyLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShelleyTransition)) :*: (S1 ('MetaSel ('Just "tickedShelleyLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewEpochState era)) :*: S1 ('MetaSel ('Just "tickedShelleyLedgerTables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables (ShelleyBlock proto era) mk)))))

Methods

from ∷ Ticked LedgerState (ShelleyBlock proto era) mk → Rep (Ticked LedgerState (ShelleyBlock proto era) mk) x #

to ∷ Rep (Ticked LedgerState (ShelleyBlock proto era) mk) x → Ticked LedgerState (ShelleyBlock proto era) mk #

type TrivialIndex (NestedCtxt_ (ShelleyBlock proto era) f ∷ Type → Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type TrivialIndex (NestedCtxt_ (ShelleyBlock proto era) f ∷ Type → Type) = f (ShelleyBlock proto era)
type LedgerCfg LedgerState (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type LedgerCfg LedgerState (ShelleyBlock proto era) = ShelleyLedgerConfig era
type LedgerErr LedgerState (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type LedgerErr LedgerState (ShelleyBlock proto era) = BlockTransitionError era
type HeaderHash (ShelleyBlock proto era ∷ Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type HeaderHash (ShelleyBlock proto era ∷ Type) = ShelleyHash
type TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

type TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto) = Void
type Rep (BlockConfig (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

type Rep (BlockConfig (ShelleyBlock proto era)) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ShelleyConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "shelleyProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtVer) :*: S1 ('MetaSel ('Just "shelleySystemStart") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SystemStart)) :*: (S1 ('MetaSel ('Just "shelleyNetworkMagic") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NetworkMagic) :*: (S1 ('MetaSel ('Just "shelleyBlockIssuerVKeys") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'BlockIssuer) (VKey 'BlockIssuer))) :*: S1 ('MetaSel ('Just "shelleyVRFTiebreakerFlavor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VRFTiebreakerFlavor)))))
type Rep (CodecConfig (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

type Rep (CodecConfig (ShelleyBlock proto era)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ShelleyCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type Rep (Header (ShelleyBlock proto era)) = D1 ('MetaData "Header" "Ouroboros.Consensus.Shelley.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ShelleyHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyHeaderRaw") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShelleyProtocolHeader proto)) :*: S1 ('MetaSel ('Just "shelleyHeaderHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShelleyHash)))
type Rep (StorageConfig (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

type Rep (StorageConfig (ShelleyBlock proto era)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ShelleyStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyStorageConfigSlotsPerKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "shelleyStorageConfigSecurityParam") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecurityParam)))
type Rep (Validated (GenTx (ShelleyBlock proto era))) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type Rep (Validated (GenTx (ShelleyBlock proto era))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.Shelley.Ledger.Mempool" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ShelleyValidatedTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Validated (Tx 'TopTx era)))))
type Rep (GenTx (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type Rep (GenTx (ShelleyBlock proto era)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.Shelley.Ledger.Mempool" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ShelleyTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Tx 'TopTx era))))
type HardForkTxMeasurePhase1 (CardanoEras c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

type HardForkTxMeasurePhase1 (CardanoEras c) = AlonzoMeasure
type HardForkTxMeasurePhase2 (CardanoEras c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

type HardForkTxMeasurePhase2 (CardanoEras c) = RefScriptSize
newtype CanonicalTxIn (CardanoEras c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn {}
type HardForkTxOut (CardanoEras c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

type HardForkTxOut (CardanoEras c) = CardanoTxOut c
data Validated (GenTx (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

data Validated (GenTx (ShelleyBlock proto era)) = ShelleyValidatedTx !TxId !(Validated (Tx 'TopTx era))
newtype TxId (GenTx (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

newtype TxId (GenTx (ShelleyBlock proto era)) = ShelleyTxId TxId
type Signed (Header (ShelleyBlock proto era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Protocol

type Signed (Header (ShelleyBlock proto era)) = Signed (ShelleyProtocolHeader proto)
type RawTxId (TxId (GenTx (ShelleyBlock proto era))) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type RawTxId (TxId (GenTx (ShelleyBlock proto era))) = ShortByteString
type Rep (LedgerState (ShelleyBlock proto era) mk) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep (LedgerState (ShelleyBlock proto era) mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ShelleyLedgerState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "shelleyLedgerTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (ShelleyTip proto era))) :*: S1 ('MetaSel ('Just "shelleyLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewEpochState era))) :*: (S1 ('MetaSel ('Just "shelleyLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShelleyTransition) :*: S1 ('MetaSel ('Just "shelleyLedgerTables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables (ShelleyBlock proto era) mk)))))
data BlockConfig (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

data BlockConfig (ShelleyBlock proto era) = ShelleyConfig {}
type BlockProtocol (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type BlockProtocol (ShelleyBlock proto era) = proto
data CodecConfig (ShelleyBlock proto era) Source #

No particular codec configuration is needed for Shelley

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

data CodecConfig (ShelleyBlock proto era) = ShelleyCodecConfig
type HashSize (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type HashSize (ShelleyBlock proto era) = HashSize HASH
data Header (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

data Header (ShelleyBlock proto era) = ShelleyHeader {}
data StorageConfig (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

data StorageConfig (ShelleyBlock proto era) = ShelleyStorageConfig {}
type CannotForge (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Common

type CannotForge (ShelleyBlock proto era) = CannotForgeError proto
type ForgeStateInfo (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Common

type ForgeStateInfo (ShelleyBlock proto era) = KESInfo
type ForgeStateUpdateError (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Common

type ForgeStateUpdateError (ShelleyBlock proto era) = KESEvolutionError
data NestedCtxt_ (ShelleyBlock proto era) f a Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

data NestedCtxt_ (ShelleyBlock proto era) f a where
type TentativeHeaderState (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining

type TentativeHeaderState (ShelleyBlock proto era) = ShelleyTentativeHeaderState proto
type TentativeHeaderView (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.DiffusionPipelining

type TentativeHeaderView (ShelleyBlock proto era) = ShelleyTentativeHeaderView proto
type PerasCert (ShelleyBlock proto AllegraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCert (ShelleyBlock proto AllegraEra) = VoidPerasCert (ShelleyBlock proto AllegraEra)
type PerasCert (ShelleyBlock proto AlonzoEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCert (ShelleyBlock proto AlonzoEra) = VoidPerasCert (ShelleyBlock proto AlonzoEra)
type PerasCert (ShelleyBlock proto BabbageEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCert (ShelleyBlock proto BabbageEra) = VoidPerasCert (ShelleyBlock proto BabbageEra)
type PerasCert (ShelleyBlock proto ConwayEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCert (ShelleyBlock proto ConwayEra) = VoidPerasCert (ShelleyBlock proto ConwayEra)
type PerasCert (ShelleyBlock proto DijkstraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCert (ShelleyBlock proto DijkstraEra) = VoidPerasCert (ShelleyBlock proto DijkstraEra)
type PerasCert (ShelleyBlock proto MaryEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCert (ShelleyBlock proto MaryEra) = VoidPerasCert (ShelleyBlock proto MaryEra)
type PerasCert (ShelleyBlock proto ShelleyEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCert (ShelleyBlock proto ShelleyEra) = VoidPerasCert (ShelleyBlock proto ShelleyEra)
type PerasCrypto (ShelleyBlock proto AllegraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCrypto (ShelleyBlock proto AllegraEra) = VoidPerasCrypto (ShelleyBlock proto AllegraEra)
type PerasCrypto (ShelleyBlock proto AlonzoEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCrypto (ShelleyBlock proto AlonzoEra) = VoidPerasCrypto (ShelleyBlock proto AlonzoEra)
type PerasCrypto (ShelleyBlock proto BabbageEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCrypto (ShelleyBlock proto BabbageEra) = VoidPerasCrypto (ShelleyBlock proto BabbageEra)
type PerasCrypto (ShelleyBlock proto ConwayEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCrypto (ShelleyBlock proto ConwayEra) = VoidPerasCrypto (ShelleyBlock proto ConwayEra)
type PerasCrypto (ShelleyBlock proto DijkstraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCrypto (ShelleyBlock proto DijkstraEra) = VoidPerasCrypto (ShelleyBlock proto DijkstraEra)
type PerasCrypto (ShelleyBlock proto MaryEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCrypto (ShelleyBlock proto MaryEra) = VoidPerasCrypto (ShelleyBlock proto MaryEra)
type PerasCrypto (ShelleyBlock proto ShelleyEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasCrypto (ShelleyBlock proto ShelleyEra) = VoidPerasCrypto (ShelleyBlock proto ShelleyEra)
type PerasError (ShelleyBlock proto AllegraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasError (ShelleyBlock proto AllegraEra) = VoidPerasError (ShelleyBlock proto AllegraEra)
type PerasError (ShelleyBlock proto AlonzoEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasError (ShelleyBlock proto AlonzoEra) = VoidPerasError (ShelleyBlock proto AlonzoEra)
type PerasError (ShelleyBlock proto BabbageEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasError (ShelleyBlock proto BabbageEra) = VoidPerasError (ShelleyBlock proto BabbageEra)
type PerasError (ShelleyBlock proto ConwayEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasError (ShelleyBlock proto ConwayEra) = VoidPerasError (ShelleyBlock proto ConwayEra)
type PerasError (ShelleyBlock proto DijkstraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasError (ShelleyBlock proto DijkstraEra) = VoidPerasError (ShelleyBlock proto DijkstraEra)
type PerasError (ShelleyBlock proto MaryEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasError (ShelleyBlock proto MaryEra) = VoidPerasError (ShelleyBlock proto MaryEra)
type PerasError (ShelleyBlock proto ShelleyEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasError (ShelleyBlock proto ShelleyEra) = VoidPerasError (ShelleyBlock proto ShelleyEra)
type PerasVote (ShelleyBlock proto AllegraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVote (ShelleyBlock proto AllegraEra) = VoidPerasVote (ShelleyBlock proto AllegraEra)
type PerasVote (ShelleyBlock proto AlonzoEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVote (ShelleyBlock proto AlonzoEra) = VoidPerasVote (ShelleyBlock proto AlonzoEra)
type PerasVote (ShelleyBlock proto BabbageEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVote (ShelleyBlock proto BabbageEra) = VoidPerasVote (ShelleyBlock proto BabbageEra)
type PerasVote (ShelleyBlock proto ConwayEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVote (ShelleyBlock proto ConwayEra) = VoidPerasVote (ShelleyBlock proto ConwayEra)
type PerasVote (ShelleyBlock proto DijkstraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVote (ShelleyBlock proto DijkstraEra) = VoidPerasVote (ShelleyBlock proto DijkstraEra)
type PerasVote (ShelleyBlock proto MaryEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVote (ShelleyBlock proto MaryEra) = VoidPerasVote (ShelleyBlock proto MaryEra)
type PerasVote (ShelleyBlock proto ShelleyEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVote (ShelleyBlock proto ShelleyEra) = VoidPerasVote (ShelleyBlock proto ShelleyEra)
type PerasVotingCommitteeScheme (ShelleyBlock proto AllegraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVotingCommitteeScheme (ShelleyBlock proto AllegraEra) = VoidPerasVotingCommitteeScheme
type PerasVotingCommitteeScheme (ShelleyBlock proto AlonzoEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVotingCommitteeScheme (ShelleyBlock proto AlonzoEra) = VoidPerasVotingCommitteeScheme
type PerasVotingCommitteeScheme (ShelleyBlock proto BabbageEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVotingCommitteeScheme (ShelleyBlock proto BabbageEra) = VoidPerasVotingCommitteeScheme
type PerasVotingCommitteeScheme (ShelleyBlock proto ConwayEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVotingCommitteeScheme (ShelleyBlock proto ConwayEra) = VoidPerasVotingCommitteeScheme
type PerasVotingCommitteeScheme (ShelleyBlock proto DijkstraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVotingCommitteeScheme (ShelleyBlock proto DijkstraEra) = VoidPerasVotingCommitteeScheme
type PerasVotingCommitteeScheme (ShelleyBlock proto MaryEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVotingCommitteeScheme (ShelleyBlock proto MaryEra) = VoidPerasVotingCommitteeScheme
type PerasVotingCommitteeScheme (ShelleyBlock proto ShelleyEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type PerasVotingCommitteeScheme (ShelleyBlock proto ShelleyEra) = VoidPerasVotingCommitteeScheme
type HardForkIndices (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type HardForkIndices (ShelleyBlock proto era) = '[ShelleyBlock proto era]
type PartialLedgerConfig (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type PartialLedgerConfig (ShelleyBlock proto era) = ShelleyPartialLedgerConfig era
type OtherHeaderEnvelopeError (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type OtherHeaderEnvelopeError (ShelleyBlock proto era) = EnvelopeCheckError proto
type TipInfo (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type TipInfo (ShelleyBlock proto era) = HeaderHash (ShelleyBlock proto era)
type AuxLedgerEvent (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type AuxLedgerEvent (ShelleyBlock proto era) = ShelleyLedgerEvent era
data LedgerState (ShelleyBlock proto era) mk Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

data LedgerState (ShelleyBlock proto era) mk = ShelleyLedgerState {}
type LedgerUpdate (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect

type LedgerUpdate (ShelleyBlock proto era) = ShelleyLedgerUpdate era
type LedgerWarning (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect

type LedgerWarning (ShelleyBlock proto era) = Void
data BlockQuery (ShelleyBlock proto era) fp result Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

data BlockQuery (ShelleyBlock proto era) fp result where
type ApplyTxErr (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type ApplyTxErr (ShelleyBlock proto era) = ApplyTxError era
data GenTx (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

data GenTx (ShelleyBlock proto era) = ShelleyTx !TxId !(Tx 'TopTx era)
type TxMeasurePhase1 (ShelleyBlock p AllegraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase1 (ShelleyBlock p AllegraEra) = IgnoringOverflow ByteSize32
type TxMeasurePhase1 (ShelleyBlock p AlonzoEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase1 (ShelleyBlock p AlonzoEra) = AlonzoMeasure
type TxMeasurePhase1 (ShelleyBlock p BabbageEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase1 (ShelleyBlock p BabbageEra) = AlonzoMeasure
type TxMeasurePhase1 (ShelleyBlock p ConwayEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase1 (ShelleyBlock p ConwayEra) = AlonzoMeasure
type TxMeasurePhase1 (ShelleyBlock p DijkstraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase1 (ShelleyBlock p DijkstraEra) = AlonzoMeasure
type TxMeasurePhase1 (ShelleyBlock p MaryEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase1 (ShelleyBlock p MaryEra) = IgnoringOverflow ByteSize32
type TxMeasurePhase1 (ShelleyBlock p ShelleyEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase1 (ShelleyBlock p ShelleyEra) = IgnoringOverflow ByteSize32
type TxMeasurePhase2 (ShelleyBlock p AllegraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase2 (ShelleyBlock p AllegraEra) = TrivialTxMeasurePhase2
type TxMeasurePhase2 (ShelleyBlock p AlonzoEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase2 (ShelleyBlock p AlonzoEra) = TrivialTxMeasurePhase2
type TxMeasurePhase2 (ShelleyBlock p BabbageEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase2 (ShelleyBlock p BabbageEra) = TrivialTxMeasurePhase2
type TxMeasurePhase2 (ShelleyBlock p ConwayEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase2 (ShelleyBlock p ConwayEra) = RefScriptSize
type TxMeasurePhase2 (ShelleyBlock p DijkstraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase2 (ShelleyBlock p DijkstraEra) = RefScriptSize
type TxMeasurePhase2 (ShelleyBlock p MaryEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase2 (ShelleyBlock p MaryEra) = TrivialTxMeasurePhase2
type TxMeasurePhase2 (ShelleyBlock p ShelleyEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type TxMeasurePhase2 (ShelleyBlock p ShelleyEra) = TrivialTxMeasurePhase2
type TxIn (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type TxIn (ShelleyBlock proto era) = BigEndianTxIn
type TxOut (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type TxOut (ShelleyBlock proto era) = TxOut era
type BlockNodeToClientVersion (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion

type BlockNodeToClientVersion (ShelleyBlock proto era) = ShelleyNodeToClientVersion
type BlockNodeToNodeVersion (ShelleyBlock proto era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion

type BlockNodeToNodeVersion (ShelleyBlock proto era) = ShelleyNodeToNodeVersion
type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AllegraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AllegraEra) = EpochToPerasRoundInfo
type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AlonzoEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto AlonzoEra) = EpochToPerasRoundInfo
type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto BabbageEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto BabbageEra) = EpochToPerasRoundInfo
type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ConwayEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ConwayEra) = EpochToPerasRoundInfo
type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto DijkstraEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto DijkstraEra) = EpochToPerasRoundInfo
type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto MaryEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto MaryEra) = EpochToPerasRoundInfo
type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ShelleyEra) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Peras

type MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto ShelleyEra) = EpochToPerasRoundInfo
data Ticked LedgerState (ShelleyBlock proto era ∷ Type) (mk ∷ MapKind) Source #

Ticking only affects the state itself

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

data Ticked LedgerState (ShelleyBlock proto era ∷ Type) (mk ∷ MapKind) = TickedShelleyLedgerState {}
newtype CanonicalTxIn '[ShelleyBlock proto era] Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

newtype CanonicalTxIn '[ShelleyBlock proto era] = ShelleyBlockHFCTxIn {}
type HardForkTxOut '[ShelleyBlock proto era] Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

type HardForkTxOut '[ShelleyBlock proto era] = TxOut era
type Rep (Ticked LedgerState (ShelleyBlock proto era) mk) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep (Ticked LedgerState (ShelleyBlock proto era) mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "TickedShelleyLedgerState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "untickedShelleyLedgerTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (ShelleyTip proto era))) :*: S1 ('MetaSel ('Just "tickedShelleyLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShelleyTransition)) :*: (S1 ('MetaSel ('Just "tickedShelleyLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewEpochState era)) :*: S1 ('MetaSel ('Just "tickedShelleyLedgerTables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables (ShelleyBlock proto era) mk)))))

type family ShelleyBlockLedgerEra blk where ... Source #

Equations

ShelleyBlockLedgerEra (ShelleyBlock proto era) = era 

newtype ShelleyHash Source #

Constructors

ShelleyHash 

Fields

Instances

Instances details
FromJSON ShelleyHash Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract

Methods

parseJSON ∷ Value → Parser ShelleyHash Source #

parseJSONList ∷ Value → Parser [ShelleyHash] Source #

omittedField ∷ Maybe ShelleyHash Source #

ToJSON ShelleyHash Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract

Methods

toJSON ∷ ShelleyHash → Value Source #

toEncoding ∷ ShelleyHash → Encoding Source #

toJSONList ∷ [ShelleyHash] → Value Source #

toEncodingList ∷ [ShelleyHash] → Encoding Source #

omitField ∷ ShelleyHash → Bool Source #

FromCBOR ShelleyHash Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract

Methods

fromCBOR ∷ Decoder s ShelleyHash Source #

label ∷ Proxy ShelleyHash → Text Source #

ToCBOR ShelleyHash Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract

Methods

toCBOR ∷ ShelleyHash → Encoding Source #

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

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyHash] → Size Source #

NFData ShelleyHash Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract

Methods

rnf ∷ ShelleyHash → () #

Eq ShelleyHash Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract

Methods

(==) ∷ ShelleyHash → ShelleyHash → Bool #

(/=) ∷ ShelleyHash → ShelleyHash → Bool #

Ord ShelleyHash Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract

Methods

compare ∷ ShelleyHash → ShelleyHash → Ordering #

(<) ∷ ShelleyHash → ShelleyHash → Bool #

(<=) ∷ ShelleyHash → ShelleyHash → Bool #

(>) ∷ ShelleyHash → ShelleyHash → Bool #

(>=) ∷ ShelleyHash → ShelleyHash → Bool #

max ∷ ShelleyHash → ShelleyHash → ShelleyHash #

min ∷ ShelleyHash → ShelleyHash → ShelleyHash #

Generic ShelleyHash Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract

Associated Types

type Rep ShelleyHash 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract

type Rep ShelleyHash = D1 ('MetaData "ShelleyHash" "Ouroboros.Consensus.Shelley.Protocol.Abstract" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'True) (C1 ('MetaCons "ShelleyHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash HASH EraIndependentBlockHeader))))

Methods

from ∷ ShelleyHash → Rep ShelleyHash x #

to ∷ Rep ShelleyHash x → ShelleyHash #

Show ShelleyHash Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract

Methods

showsPrec ∷ Int → ShelleyHash → ShowS #

show ∷ ShelleyHash → String #

showList ∷ [ShelleyHash] → ShowS #

NoThunks ShelleyHash Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract

Methods

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

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

showTypeOf ∷ Proxy ShelleyHash → String Source #

Condense ShelleyHash Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract

Methods

condense ∷ ShelleyHash → String Source #

Serialise ShelleyHash Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract

Methods

encode ∷ ShelleyHash → Encoding Source #

decode ∷ Decoder s ShelleyHash Source #

encodeList ∷ [ShelleyHash] → Encoding Source #

decodeList ∷ Decoder s [ShelleyHash] Source #

type Rep ShelleyHash Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract

type Rep ShelleyHash = D1 ('MetaData "ShelleyHash" "Ouroboros.Consensus.Shelley.Protocol.Abstract" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'True) (C1 ('MetaCons "ShelleyHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash HASH EraIndependentBlockHeader))))

Shelley Compatibility

class (ShelleyBasedEra era, ShelleyProtocol proto, Eq (ShelleyProtocolHeader proto), Show (ShelleyProtocolHeader proto), NoThunks (ShelleyProtocolHeader proto), EncCBOR (ShelleyProtocolHeader proto), DecCBOR (Annotator (ShelleyProtocolHeader proto)), EraBlockHeader (ShelleyProtocolHeader proto) era, ApplyBlock (ShelleyProtocolHeader proto) era, Show (CannotForgeError proto), Show (TranslationContext era), EncCBOR (Block (ShelleyProtocolHeader proto) era), DecCBOR (Annotator (Block (ShelleyProtocolHeader proto) era)), TiebreakerView proto ~ PraosTiebreakerView (ProtoCrypto proto), SignedHeader (ShelleyProtocolHeader proto), DecodeDisk (ShelleyBlock proto era) (ChainDepState proto), EncodeDisk (ShelleyBlock proto era) (ChainDepState proto), HasPartialConsensusConfig proto, DecCBOR (PState era), Crypto (ProtoCrypto proto), StateSupportsPerasEpochContext (ShelleyBlock proto era), BlockSupportsPeras (ShelleyBlock proto era), MaybeEraIndexedEpochToPerasRoundInfo (ShelleyBlock proto era) ~ EpochToPerasRoundInfo, FromCBOR (LegacyPParams era), ToCBOR (LegacyPParams era)) ⇒ ShelleyCompatible proto era Source #

Instances

Instances details
PraosCrypto c ⇒ ShelleyCompatible (Praos c) BabbageEra Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.HFEras

PraosCrypto c ⇒ ShelleyCompatible (Praos c) ConwayEra Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.HFEras

PraosCrypto c ⇒ ShelleyCompatible (Praos c) DijkstraEra Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.HFEras

PraosCrypto c ⇒ ShelleyCompatible (TPraos c) AllegraEra Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.HFEras

PraosCrypto c ⇒ ShelleyCompatible (TPraos c) AlonzoEra Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.HFEras

PraosCrypto c ⇒ ShelleyCompatible (TPraos c) MaryEra Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.HFEras

PraosCrypto c ⇒ ShelleyCompatible (TPraos c) ShelleyEra Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.HFEras

mkShelleyBlock ∷ ShelleyCompatible proto era ⇒ Block (ShelleyProtocolHeader proto) era → ShelleyBlock proto era Source #

mkShelleyHeader ∷ ShelleyCompatible proto era ⇒ ShelleyProtocolHeader proto → Header (ShelleyBlock proto era) Source #

Serialisation

decodeShelleyBlock ∷ ShelleyCompatible proto era ⇒ ∀ s. Decoder s (ByteString → Either DecoderError (ShelleyBlock proto era)) Source #

decodeShelleyHeader ∷ ShelleyCompatible proto era ⇒ ∀ s. Decoder s (ByteString → Header (ShelleyBlock proto era)) Source #

encodeShelleyBlock ∷ ShelleyCompatible proto era ⇒ ShelleyBlock proto era → Encoding Source #

encodeShelleyHeader ∷ ShelleyCompatible proto era ⇒ Header (ShelleyBlock proto era) → Encoding Source #

shelleyBinaryBlockInfo ∷ ShelleyCompatible proto era ⇒ ShelleyBlock proto era → BinaryBlockInfo Source #

Conversion

fromShelleyPrevHash ∷ PrevHash → ChainHash (ShelleyBlock proto era) Source #

From cardano-ledger-specs to ouroboros-consensus

toShelleyPrevHash ∷ ChainHash (Header (ShelleyBlock proto era)) → PrevHash Source #

From ouroboros-consensus to cardano-ledger-specs