Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Shelley.Node.Serialisation

Contents

Orphan instances

Orphan instances

ShelleyBasedEra era => ReconstructNestedCtxt Header ( ShelleyBlock proto era) Source #
Instance details Methods reconstructPrefixLen :: proxy ( Header ( ShelleyBlock proto era)) -> PrefixLen Source # reconstructNestedCtxt :: proxy ( Header ( ShelleyBlock proto era)) -> ShortByteString -> SizeInBytes -> SomeSecond ( NestedCtxt Header ) ( ShelleyBlock proto era) Source #
ShelleyBasedEra era => EncodeDiskDepIx ( NestedCtxt Header ) ( ShelleyBlock proto era) Source #
Instance details Methods encodeDiskDepIx :: CodecConfig ( ShelleyBlock proto era) -> SomeSecond ( NestedCtxt Header ) ( ShelleyBlock proto era) -> Encoding Source #
ShelleyCompatible proto era => EncodeDiskDep ( NestedCtxt Header ) ( ShelleyBlock proto era) Source #
Instance details Methods encodeDiskDep :: CodecConfig ( ShelleyBlock proto era) -> NestedCtxt Header ( ShelleyBlock proto era) a -> a -> Encoding Source #
ShelleyBasedEra era => DecodeDiskDepIx ( NestedCtxt Header ) ( ShelleyBlock proto era) Source #
Instance details Methods decodeDiskDepIx :: CodecConfig ( ShelleyBlock proto era) -> Decoder s ( SomeSecond ( NestedCtxt Header ) ( ShelleyBlock proto era)) Source #
ShelleyCompatible proto era => DecodeDiskDep ( NestedCtxt Header ) ( ShelleyBlock proto era) Source #
Instance details Methods decodeDiskDep :: CodecConfig ( ShelleyBlock proto era) -> NestedCtxt Header ( ShelleyBlock proto era) a -> forall s. Decoder s ( ByteString -> a) Source #
ShelleyCompatible proto era => SerialiseNodeToNodeConstraints ( ShelleyBlock proto era) Source #
Instance details Methods estimateBlockSize :: Header ( ShelleyBlock proto era) -> SizeInBytes Source #
ShelleyCompatible proto era => SerialiseNodeToClientConstraints ( ShelleyBlock proto era) Source #
Instance details
ShelleyCompatible proto era => SerialiseDiskConstraints ( ShelleyBlock proto era) Source #
Instance details
ShelleyCompatible proto era => HasBinaryBlockInfo ( ShelleyBlock proto era) Source #
Instance details Methods getBinaryBlockInfo :: ShelleyBlock proto era -> BinaryBlockInfo Source #
ShelleyCompatible proto era => SerialiseNodeToClient ( ShelleyBlock proto era) SlotNo Source #
Instance details Methods encodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> SlotNo -> Encoding Source # decodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> forall s. Decoder s SlotNo Source #
ShelleyCompatible proto era => SerialiseNodeToNode ( ShelleyBlock proto era) ( GenTxId ( ShelleyBlock proto era)) Source #
Instance details 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) -> forall s. Decoder s ( GenTxId ( ShelleyBlock proto era)) Source #
ShelleyCompatible proto era => SerialiseNodeToNode ( ShelleyBlock proto era) ( GenTx ( ShelleyBlock proto era)) Source #	The `To/FromCBOR` instances defined in `cardano-ledger-specs` use CBOR-in-CBOR to get the annotation.
Instance details 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) -> forall s. Decoder s ( GenTx ( ShelleyBlock proto era)) Source #
SerialiseNodeToNode ( ShelleyBlock proto era) ( SerialisedHeader ( ShelleyBlock proto era)) Source #	We use CBOR-in-CBOR
Instance details 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) -> forall s. Decoder s ( SerialisedHeader ( ShelleyBlock proto 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 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) -> forall s. Decoder s ( Header ( ShelleyBlock proto era)) Source #
SerialiseNodeToNode ( ShelleyBlock proto era) ( Serialised ( ShelleyBlock proto era)) Source #	`Serialised` uses CBOR-in-CBOR by default.
Instance details 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) -> forall s. Decoder s ( Serialised ( ShelleyBlock proto era)) Source #
ShelleyBasedEra era => SerialiseNodeToClient ( ShelleyBlock proto era) ( ApplyTxError era) Source #	`ApplyTxErr` '(ShelleyBlock era)'
Instance details Methods encodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> ApplyTxError era -> Encoding Source # decodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> forall s. Decoder s ( ApplyTxError era) Source #
ShelleyCompatible proto era => SerialiseNodeToClient ( ShelleyBlock proto era) ( GenTxId ( ShelleyBlock proto era)) Source #
Instance details 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) -> forall s. Decoder s ( GenTxId ( 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 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) -> forall s. Decoder s ( GenTx ( ShelleyBlock proto era)) Source #
SerialiseNodeToClient ( ShelleyBlock proto era) ( Serialised ( ShelleyBlock proto era)) Source #	`Serialised` uses CBOR-in-CBOR by default.
Instance details 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) -> forall s. Decoder s ( Serialised ( ShelleyBlock proto era)) Source #
ShelleyCompatible proto era => SerialiseResult ( ShelleyBlock proto era) ( BlockQuery ( ShelleyBlock proto era)) Source #
Instance details Methods encodeResult :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> BlockQuery ( ShelleyBlock proto era) result -> result -> Encoding Source # decodeResult :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> BlockQuery ( ShelleyBlock proto era) result -> forall s. Decoder s result Source #
ShelleyCompatible proto era => EncodeDisk ( ShelleyBlock proto era) ( AnnTip ( ShelleyBlock proto era)) Source #
Instance details Methods encodeDisk :: CodecConfig ( ShelleyBlock proto era) -> AnnTip ( ShelleyBlock proto era) -> Encoding Source #
( ShelleyCompatible proto era, EraCrypto era ~ c, PraosCrypto c) => EncodeDisk ( ShelleyBlock proto era) ( PraosState c) Source #
Instance details Methods encodeDisk :: CodecConfig ( ShelleyBlock proto era) -> PraosState c -> Encoding Source #
( ShelleyCompatible proto era, EraCrypto era ~ c, PraosCrypto c) => EncodeDisk ( ShelleyBlock proto era) ( TPraosState c) Source #	`ChainDepState` (`BlockProtocol` (`ShelleyBlock` era))
Instance details Methods encodeDisk :: CodecConfig ( ShelleyBlock proto era) -> TPraosState c -> Encoding Source #
ShelleyCompatible proto era => EncodeDisk ( ShelleyBlock proto era) ( LedgerState ( ShelleyBlock proto era)) Source #
Instance details Methods encodeDisk :: CodecConfig ( ShelleyBlock proto era) -> LedgerState ( ShelleyBlock proto era) -> Encoding Source #
ShelleyCompatible proto era => EncodeDisk ( ShelleyBlock proto era) ( Header ( ShelleyBlock proto era)) Source #
Instance details Methods encodeDisk :: CodecConfig ( ShelleyBlock proto era) -> Header ( ShelleyBlock proto era) -> Encoding Source #
ShelleyCompatible proto era => DecodeDisk ( ShelleyBlock proto era) ( AnnTip ( ShelleyBlock proto era)) Source #
Instance details Methods decodeDisk :: CodecConfig ( ShelleyBlock proto era) -> forall s. Decoder s ( AnnTip ( ShelleyBlock proto era)) Source #
( ShelleyCompatible proto era, EraCrypto era ~ c, PraosCrypto c) => DecodeDisk ( ShelleyBlock proto era) ( PraosState c) Source #	`ChainDepState` (`BlockProtocol` (`ShelleyBlock` era))
Instance details Methods decodeDisk :: CodecConfig ( ShelleyBlock proto era) -> forall s. Decoder s ( PraosState c) Source #
( ShelleyCompatible proto era, EraCrypto era ~ c, PraosCrypto c) => DecodeDisk ( ShelleyBlock proto era) ( TPraosState c) Source #	`ChainDepState` (`BlockProtocol` (`ShelleyBlock` era))
Instance details Methods decodeDisk :: CodecConfig ( ShelleyBlock proto era) -> forall s. Decoder s ( TPraosState c) Source #
ShelleyCompatible proto era => DecodeDisk ( ShelleyBlock proto era) ( LedgerState ( ShelleyBlock proto era)) Source #
Instance details Methods decodeDisk :: CodecConfig ( ShelleyBlock proto era) -> forall s. Decoder s ( LedgerState ( 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 Methods encodeNodeToNode :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToNodeVersion ( ShelleyBlock proto era) -> ShelleyBlock proto era -> Encoding Source # decodeNodeToNode :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToNodeVersion ( ShelleyBlock proto era) -> forall s. Decoder s ( ShelleyBlock proto era) Source #
ShelleyCompatible proto era => SerialiseNodeToClient ( ShelleyBlock proto era) ( SomeSecond BlockQuery ( ShelleyBlock proto era)) Source #
Instance details Methods encodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> SomeSecond BlockQuery ( ShelleyBlock proto era) -> Encoding Source # decodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> forall s. Decoder s ( SomeSecond BlockQuery ( ShelleyBlock proto era)) 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 Methods encodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> ShelleyBlock proto era -> Encoding Source # decodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> forall s. Decoder s ( ShelleyBlock proto era) Source #
ShelleyCompatible proto era => EncodeDisk ( ShelleyBlock proto era) ( ShelleyBlock proto era) Source #
Instance details Methods encodeDisk :: CodecConfig ( ShelleyBlock proto era) -> ShelleyBlock proto era -> Encoding Source #
ShelleyCompatible proto era => DecodeDisk ( ShelleyBlock proto era) ( ByteString -> Header ( ShelleyBlock proto era)) Source #
Instance details Methods decodeDisk :: CodecConfig ( ShelleyBlock proto era) -> forall s. Decoder s ( ByteString -> Header ( ShelleyBlock proto era)) Source #
ShelleyCompatible proto era => DecodeDisk ( ShelleyBlock proto era) ( ByteString -> ShelleyBlock proto era) Source #
Instance details Methods decodeDisk :: CodecConfig ( ShelleyBlock proto era) -> forall s. Decoder s ( ByteString -> ShelleyBlock proto era) Source #