ouroboros-consensus-shelley-0.1.0.0: Shelley ledger integration in the Ouroboros consensus layer
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Shelley.Ledger.Block

Synopsis

Documentation

class (PraosCrypto (Crypto era), ShelleyBased era, GetLedgerView era, ApplyBlock era, ApplyTx era) => ShelleyBasedEra era Source #

Instances

Instances details
PraosCrypto crypto => ShelleyBasedEra (ShelleyEra crypto) 
Instance details

Defined in Shelley.Spec.Ledger.API

newtype ShelleyHash c Source #

Constructors

ShelleyHash 

Instances

Instances details
Eq (ShelleyHash c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Ord (ShelleyHash c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Show (ShelleyHash c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Generic (ShelleyHash c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Associated Types

type Rep (ShelleyHash c) :: Type -> Type #

Methods

from :: ShelleyHash c -> Rep (ShelleyHash c) x #

to :: Rep (ShelleyHash c) x -> ShelleyHash c #

Crypto c => ToCBOR (ShelleyHash c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

toCBOR :: ShelleyHash c -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ShelleyHash c) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ShelleyHash c] -> Size Source #

Crypto c => FromCBOR (ShelleyHash c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

NoThunks (ShelleyHash c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Crypto c => Serialise (ShelleyHash c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Condense (ShelleyHash c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type Rep (ShelleyHash c) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type Rep (ShelleyHash c) = D1 ('MetaData "ShelleyHash" "Ouroboros.Consensus.Shelley.Ledger.Block" "ouroboros-consensus-shelley-0.1.0.0-59swnF21REM9YduArUJWll" 'True) (C1 ('MetaCons "ShelleyHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashHeader c))))

data ShelleyBlock era Source #

Newtype wrapper to avoid orphan instances

The phantom type parameter is there to record the additional information we need to work with this block. Most of the code here does not care, but we may need different additional information when running the chain.

Instances

Instances details
ShelleyBasedEra era => Measured BlockMeasure (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

ShelleyBasedEra era => ReconstructNestedCtxt Header (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

HasNestedContent f (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Typeable era => ShowProxy (GenTx (ShelleyBlock era) :: Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Typeable era => ShowProxy (TxId (GenTx (ShelleyBlock era)) :: Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Typeable era => ShowProxy (Header (ShelleyBlock era) :: Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

ShelleyBasedEra era => Eq (GenTx (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

(==) :: GenTx (ShelleyBlock era) -> GenTx (ShelleyBlock era) -> Bool #

(/=) :: GenTx (ShelleyBlock era) -> GenTx (ShelleyBlock era) -> Bool #

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

(==) :: TxId (GenTx (ShelleyBlock era)) -> TxId (GenTx (ShelleyBlock era)) -> Bool #

(/=) :: TxId (GenTx (ShelleyBlock era)) -> TxId (GenTx (ShelleyBlock era)) -> Bool #

ShelleyBasedEra era => Eq (LedgerState (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

ShelleyBasedEra era => Eq (Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

(==) :: Header (ShelleyBlock era) -> Header (ShelleyBlock era) -> Bool #

(/=) :: Header (ShelleyBlock era) -> Header (ShelleyBlock era) -> Bool #

ShelleyBasedEra era => Eq (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

(==) :: ShelleyBlock era -> ShelleyBlock era -> Bool #

(/=) :: ShelleyBlock era -> ShelleyBlock era -> Bool #

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

ShelleyBasedEra era => Show (GenTx (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

ShelleyBasedEra era => Show (LedgerState (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

ShelleyBasedEra era => Show (BlockConfig (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

ShelleyBasedEra era => Show (Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

ShelleyBasedEra era => Show (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type Rep (GenTx (ShelleyBlock era)) :: Type -> Type #

Methods

from :: GenTx (ShelleyBlock era) -> Rep (GenTx (ShelleyBlock era)) x #

to :: Rep (GenTx (ShelleyBlock era)) x -> GenTx (ShelleyBlock era) #

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type Rep (LedgerState (ShelleyBlock era)) :: Type -> Type #

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Associated Types

type Rep (BlockConfig (ShelleyBlock era)) :: Type -> Type #

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Associated Types

type Rep (CodecConfig (ShelleyBlock era)) :: Type -> Type #

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Associated Types

type Rep (StorageConfig (ShelleyBlock era)) :: Type -> Type #

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Associated Types

type Rep (Header (ShelleyBlock era)) :: Type -> Type #

Methods

from :: Header (ShelleyBlock era) -> Rep (Header (ShelleyBlock era)) x #

to :: Rep (Header (ShelleyBlock era)) x -> Header (ShelleyBlock era) #

Generic (Ticked (LedgerState (ShelleyBlock era))) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type Rep (Ticked (LedgerState (ShelleyBlock era))) :: Type -> Type #

ShelleyBasedEra era => ToCBOR (GenTx (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

toCBOR :: GenTx (ShelleyBlock era) -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (GenTx (ShelleyBlock era)) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [GenTx (ShelleyBlock era)] -> Size Source #

Era era => ToCBOR (TxId (GenTx (ShelleyBlock era))) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

toCBOR :: TxId (GenTx (ShelleyBlock era)) -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (TxId (GenTx (ShelleyBlock era))) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TxId (GenTx (ShelleyBlock era))] -> Size Source #

ShelleyBasedEra era => ToCBOR (Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

toCBOR :: Header (ShelleyBlock era) -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Header (ShelleyBlock era)) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Header (ShelleyBlock era)] -> Size Source #

ShelleyBasedEra era => ToCBOR (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

toCBOR :: ShelleyBlock era -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ShelleyBlock era) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ShelleyBlock era] -> Size Source #

ShelleyBasedEra era => FromCBOR (Annotator (Header (ShelleyBlock era))) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

ShelleyBasedEra era => FromCBOR (Annotator (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

ShelleyBasedEra era => FromCBOR (GenTx (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Era era => FromCBOR (TxId (GenTx (ShelleyBlock era))) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

ShelleyBasedEra era => NoThunks (GenTx (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

NoThunks (LedgerState (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

ShelleyBasedEra era => NoThunks (BlockConfig (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

ShelleyBasedEra era => NoThunks (Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

NoThunks (Ticked (LedgerState (ShelleyBlock era))) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

ShelleyBasedEra era => SerialiseNodeToNodeConstraints (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => SerialiseNodeToClientConstraints (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => RunNode (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node

ConfigSupportsNode (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node

ShelleyBasedEra era => SerialiseDiskConstraints (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => NodeInitStorage (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node

HasHardForkHistory (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type HardForkIndices (ShelleyBlock era) :: [Type] Source #

ShelleyBasedEra era => HasBinaryBlockInfo (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

InspectLedger (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect

Associated Types

type LedgerWarning (ShelleyBlock era) Source #

type LedgerUpdate (ShelleyBlock era) Source #

ShelleyBasedEra era => QueryLedger (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

Methods

answerQuery :: ExtLedgerCfg (ShelleyBlock era) -> Query (ShelleyBlock era) result -> ExtLedgerState (ShelleyBlock era) -> result Source #

ShelleyBasedEra era => LedgerSupportsProtocol (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

ShelleyBasedEra era => HasAnnTip (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Associated Types

type TipInfo (ShelleyBlock era) Source #

ShelleyBasedEra era => BasicEnvelopeValidation (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

ShelleyBasedEra era => ValidateEnvelope (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type OtherHeaderEnvelopeError (ShelleyBlock era) Source #

ShelleyBasedEra era => LedgerSupportsMempool (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

ShelleyBasedEra era => HasTxId (GenTx (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

txId :: GenTx (ShelleyBlock era) -> TxId (GenTx (ShelleyBlock era)) Source #

ShelleyBasedEra era => HasTxs (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

ShelleyBasedEra era => BlockSupportsProtocol (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.TPraos

ShelleyBasedEra era => CommonProtocolParams (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

ShelleyBasedEra era => UpdateLedger (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

ShelleyBasedEra era => IsLedger (LedgerState (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type LedgerErr (LedgerState (ShelleyBlock era)) Source #

ShelleyBasedEra era => GetPrevHash (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

ShelleyBasedEra era => GetHeader (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

ShelleyBasedEra era => ConvertRawHash (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

ShelleyBasedEra era => Condense (GenTx (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

ShelleyBasedEra era => Condense (Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

ShelleyBasedEra era => Condense (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

SameDepIndex (Query (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

Methods

sameDepIndex :: Query (ShelleyBlock era) a -> Query (ShelleyBlock era) b -> Maybe (a :~: b) Source #

ShelleyBasedEra era => SignedHeader (Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.TPraos

HasNetworkProtocolVersion (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion

SupportedNetworkProtocolVersion (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion

ShelleyBasedEra era => StandardHash (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

ShelleyBasedEra era => HasHeader (Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

ShelleyBasedEra era => HasHeader (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

ShelleyBasedEra era => ShowQuery (Query (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

Methods

showResult :: Query (ShelleyBlock era) result -> result -> String #

ShelleyBasedEra era => SerialiseNodeToNode (ShelleyBlock era) (GenTxId (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => SerialiseNodeToNode (ShelleyBlock era) (GenTx (ShelleyBlock era)) Source #

The To/FromCBOR instances defined in cardano-ledger-specs use CBOR-in-CBOR to get the annotation.

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

SerialiseNodeToNode (ShelleyBlock era) (SerialisedHeader (ShelleyBlock era)) Source #

We use CBOR-in-CBOR

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => SerialiseNodeToNode (ShelleyBlock era) (Header (ShelleyBlock era)) Source #

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

SerialiseNodeToNode (ShelleyBlock era) (Serialised (ShelleyBlock era)) Source #

Serialised uses CBOR-in-CBOR by default.

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => SerialiseNodeToNode (ShelleyBlock era) (ShelleyBlock 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

ShelleyBasedEra era => SerialiseNodeToClient (ShelleyBlock era) (ApplyTxError era) Source #
ApplyTxErr '(ShelleyBlock era)'
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => SerialiseNodeToClient (ShelleyBlock era) (GenTx (ShelleyBlock era)) Source #

Uses CBOR-in-CBOR in the To/FromCBOR instances to get the annotation.

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

SerialiseNodeToClient (ShelleyBlock era) (Serialised (ShelleyBlock era)) Source #

Serialised uses CBOR-in-CBOR by default.

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => SerialiseNodeToClient (ShelleyBlock era) (ShelleyBlock 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

ShelleyBasedEra era => SerialiseResult (ShelleyBlock era) (Query (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => EncodeDisk (ShelleyBlock era) (AnnTip (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

(ShelleyBasedEra era, EraCrypto era ~ c) => EncodeDisk (ShelleyBlock era) (TPraosState c) Source #
ChainDepState (BlockProtocol (ShelleyBlock era))
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => EncodeDisk (ShelleyBlock era) (LedgerState (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => EncodeDisk (ShelleyBlock era) (Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => EncodeDisk (ShelleyBlock era) (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => DecodeDisk (ShelleyBlock era) (AnnTip (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

decodeDisk :: CodecConfig (ShelleyBlock era) -> forall s. Decoder s (AnnTip (ShelleyBlock era)) Source #

(ShelleyBasedEra era, EraCrypto era ~ c) => DecodeDisk (ShelleyBlock era) (TPraosState c) Source #
ChainDepState (BlockProtocol (ShelleyBlock era))
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

decodeDisk :: CodecConfig (ShelleyBlock era) -> forall s. Decoder s (TPraosState c) Source #

ShelleyBasedEra era => DecodeDisk (ShelleyBlock era) (LedgerState (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => EncodeDiskDepIx (NestedCtxt Header) (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => EncodeDiskDep (NestedCtxt Header) (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => DecodeDiskDepIx (NestedCtxt Header) (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => DecodeDiskDep (NestedCtxt Header) (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => ApplyBlock (LedgerState (ShelleyBlock era)) (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Typeable era => ShowProxy (ShelleyBlock era :: Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

ShelleyBasedEra era => SerialiseNodeToClient (ShelleyBlock era) (SomeSecond Query (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => DecodeDisk (ShelleyBlock era) (ByteString -> Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

decodeDisk :: CodecConfig (ShelleyBlock era) -> forall s. Decoder s (ByteString -> Header (ShelleyBlock era)) Source #

ShelleyBasedEra era => DecodeDisk (ShelleyBlock era) (ByteString -> ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

decodeDisk :: CodecConfig (ShelleyBlock era) -> forall s. Decoder s (ByteString -> ShelleyBlock era) Source #

Eq (Query (ShelleyBlock era) result) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

Methods

(==) :: Query (ShelleyBlock era) result -> Query (ShelleyBlock era) result -> Bool #

(/=) :: Query (ShelleyBlock era) result -> Query (ShelleyBlock era) result -> Bool #

Show (Query (ShelleyBlock era) result) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

Methods

showsPrec :: Int -> Query (ShelleyBlock era) result -> ShowS #

show :: Query (ShelleyBlock era) result -> String #

showList :: [Query (ShelleyBlock era) result] -> ShowS #

SameDepIndex (NestedCtxt_ (ShelleyBlock era) f) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

sameDepIndex :: NestedCtxt_ (ShelleyBlock era) f a -> NestedCtxt_ (ShelleyBlock era) f b -> Maybe (a :~: b) Source #

TrivialDependency (NestedCtxt_ (ShelleyBlock era) f) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Associated Types

type TrivialIndex (NestedCtxt_ (ShelleyBlock era) f) Source #

Typeable era => ShowProxy (Query (ShelleyBlock era) :: Type -> Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type Rep (GenTx (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

type Rep (GenTx (ShelleyBlock era))
type Rep (LedgerState (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep (LedgerState (ShelleyBlock era)) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-shelley-0.1.0.0-59swnF21REM9YduArUJWll" 'False) (C1 ('MetaCons "ShelleyLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyLedgerTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (ShelleyTip era))) :*: (S1 ('MetaSel ('Just "shelleyLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewEpochState era)) :*: S1 ('MetaSel ('Just "shelleyLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShelleyTransition))))
type Rep (BlockConfig (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

type Rep (BlockConfig (ShelleyBlock era)) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-shelley-0.1.0.0-59swnF21REM9YduArUJWll" '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 (EraCrypto era)) (VKey 'BlockIssuer (EraCrypto era)))))))
type Rep (CodecConfig (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

type Rep (CodecConfig (ShelleyBlock era)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-shelley-0.1.0.0-59swnF21REM9YduArUJWll" 'False) (C1 ('MetaCons "ShelleyCodecConfig" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (StorageConfig (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

type Rep (StorageConfig (ShelleyBlock era)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-shelley-0.1.0.0-59swnF21REM9YduArUJWll" '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 (Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type Rep (Header (ShelleyBlock era)) = D1 ('MetaData "Header" "Ouroboros.Consensus.Shelley.Ledger.Block" "ouroboros-consensus-shelley-0.1.0.0-59swnF21REM9YduArUJWll" 'False) (C1 ('MetaCons "ShelleyHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyHeaderRaw") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BHeader (EraCrypto era))) :*: S1 ('MetaSel ('Just "shelleyHeaderHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShelleyHash (EraCrypto era)))))
type Rep (Ticked (LedgerState (ShelleyBlock era))) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep (Ticked (LedgerState (ShelleyBlock era))) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-shelley-0.1.0.0-59swnF21REM9YduArUJWll" 'False) (C1 ('MetaCons "TickedShelleyLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "untickedShelleyLedgerTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (ShelleyTip era))) :*: (S1 ('MetaSel ('Just "tickedShelleyLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShelleyTransition) :*: S1 ('MetaSel ('Just "tickedShelleyLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewEpochState era)))))
type HardForkIndices (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type LedgerUpdate (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect

type LedgerWarning (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect

data Query (ShelleyBlock era) a Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

data Query (ShelleyBlock era) a where
type TipInfo (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type OtherHeaderEnvelopeError (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type CannotForge (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node

type ForgeStateInfo (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node

type ForgeStateUpdateError (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node

data GenTx (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

data GenTx (ShelleyBlock era) = ShelleyTx !(ShelleyTxId era) !(Tx era)
type ApplyTxErr (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

newtype TxId (GenTx (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

newtype TxId (GenTx (ShelleyBlock era)) = ShelleyTxId (ShelleyTxId era)
type LedgerCfg (LedgerState (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type LedgerErr (LedgerState (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

data LedgerState (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type BlockProtocol (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.TPraos

data BlockConfig (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

data CodecConfig (ShelleyBlock era) Source #

No particular codec configuration is needed for Shelley

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

data StorageConfig (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

data Header (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

data NestedCtxt_ (ShelleyBlock era) f a Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

data NestedCtxt_ (ShelleyBlock era) f a where
data Ticked (LedgerState (ShelleyBlock era)) Source #

Ticking only affects the state itself

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Signed (Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.TPraos

type BlockNodeToClientVersion (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion

type BlockNodeToNodeVersion (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion

type HeaderHash (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type TrivialIndex (NestedCtxt_ (ShelleyBlock era) f) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

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.

data family Header blk Source #

Instances

Instances details
HasHeader (Header blk) => Measured BlockMeasure (Header blk) 
Instance details

Defined in Ouroboros.Consensus.Block.Abstract

ShelleyBasedEra era => ReconstructNestedCtxt Header (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Typeable era => ShowProxy (Header (ShelleyBlock era) :: Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

ShelleyBasedEra era => Eq (Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

(==) :: Header (ShelleyBlock era) -> Header (ShelleyBlock era) -> Bool #

(/=) :: Header (ShelleyBlock era) -> Header (ShelleyBlock era) -> Bool #

ShelleyBasedEra era => Show (Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

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

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Associated Types

type Rep (Header (ShelleyBlock era)) :: Type -> Type #

Methods

from :: Header (ShelleyBlock era) -> Rep (Header (ShelleyBlock era)) x #

to :: Rep (Header (ShelleyBlock era)) x -> Header (ShelleyBlock era) #

ShelleyBasedEra era => ToCBOR (Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

toCBOR :: Header (ShelleyBlock era) -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Header (ShelleyBlock era)) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Header (ShelleyBlock era)] -> Size Source #

ShelleyBasedEra era => FromCBOR (Annotator (Header (ShelleyBlock era))) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

ShelleyBasedEra era => NoThunks (Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

ShelleyBasedEra era => Condense (Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

ShelleyBasedEra era => SignedHeader (Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.TPraos

HasHeader blk => StandardHash (Header blk) 
Instance details

Defined in Ouroboros.Consensus.Block.Abstract

ShelleyBasedEra era => HasHeader (Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

ShelleyBasedEra era => SerialiseNodeToNode (ShelleyBlock era) (Header (ShelleyBlock era)) Source #

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

Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => EncodeDisk (ShelleyBlock era) (Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => EncodeDiskDepIx (NestedCtxt Header) (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => EncodeDiskDep (NestedCtxt Header) (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => DecodeDiskDepIx (NestedCtxt Header) (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => DecodeDiskDep (NestedCtxt Header) (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => DecodeDisk (ShelleyBlock era) (ByteString -> Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

decodeDisk :: CodecConfig (ShelleyBlock era) -> forall s. Decoder s (ByteString -> Header (ShelleyBlock era)) Source #

type Rep (Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type Rep (Header (ShelleyBlock era)) = D1 ('MetaData "Header" "Ouroboros.Consensus.Shelley.Ledger.Block" "ouroboros-consensus-shelley-0.1.0.0-59swnF21REM9YduArUJWll" 'False) (C1 ('MetaCons "ShelleyHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyHeaderRaw") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BHeader (EraCrypto era))) :*: S1 ('MetaSel ('Just "shelleyHeaderHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShelleyHash (EraCrypto era)))))
type BlockProtocol (Header blk) 
Instance details

Defined in Ouroboros.Consensus.Block.Abstract

data Header (ShelleyBlock era) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

type Signed (Header (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.TPraos

type HeaderHash (Header blk) 
Instance details

Defined in Ouroboros.Consensus.Block.Abstract

type HeaderHash (Header blk) = HeaderHash blk

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_.

Serialisation

Conversion

fromShelleyPrevHash :: PrevHash (EraCrypto era) -> ChainHash (ShelleyBlock era) Source #

From cardano-ledger-specs to ouroboros-consensus

toShelleyPrevHash :: ChainHash (Header (ShelleyBlock era)) -> PrevHash (EraCrypto era) Source #

From ouroboros-consensus to cardano-ledger-specs