ouroboros-consensus-0.26.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Mock.Node.Serialisation

Synopsis

Documentation

type MockBlock ext = SimpleBlock SimpleMockCrypto ext Source #

Local shorthand to make the instances more readable

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
SameDepIndex (NestedCtxt_ m f) ⇒ SameDepIndex (NestedCtxt_ (DualBlock m a) f ∷ Type → Type) 
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_ (TestBlockWith ptype) f ∷ Type → Type) 
Instance details

Defined in Test.Util.TestBlock

Methods

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

SameDepIndex (NestedCtxt_ (SimpleBlock c ext) f ∷ Type → Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

sameDepIndex ∷ NestedCtxt_ (SimpleBlock c ext) f a → NestedCtxt_ (SimpleBlock c ext) f b → Maybe (a :~: b) Source #

TrivialDependency (NestedCtxt_ (TestBlockWith ptype) f ∷ Type → Type) 
Instance details

Defined in Test.Util.TestBlock

Methods

hasSingleIndex ∷ NestedCtxt_ (TestBlockWith ptype) f a → NestedCtxt_ (TestBlockWith ptype) f b → a :~: b Source #

indexIsTrivial ∷ NestedCtxt_ (TestBlockWith ptype) f (TrivialIndex (NestedCtxt_ (TestBlockWith ptype) f) ∷ Type) Source #

TrivialDependency (NestedCtxt_ (SimpleBlock c ext) f ∷ Type → Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

hasSingleIndex ∷ NestedCtxt_ (SimpleBlock c ext) f a → NestedCtxt_ (SimpleBlock c ext) f b → a :~: b Source #

indexIsTrivial ∷ NestedCtxt_ (SimpleBlock c ext) f (TrivialIndex (NestedCtxt_ (SimpleBlock c ext) f) ∷ Type) Source #

Show (NestedCtxt_ m f x) ⇒ Show (NestedCtxt_ (DualBlock m a) f x) 
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_ (TestBlockWith ptype) f a) 
Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → NestedCtxt_ (TestBlockWith ptype) f a → ShowS #

show ∷ NestedCtxt_ (TestBlockWith ptype) f a → String #

showList ∷ [NestedCtxt_ (TestBlockWith ptype) f a] → ShowS #

Show (NestedCtxt_ (SimpleBlock c ext) f a) Source # 
Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

Methods

showsPrec ∷ Int → NestedCtxt_ (SimpleBlock c ext) f a → ShowS #

show ∷ NestedCtxt_ (SimpleBlock c ext) f a → String #

showList ∷ [NestedCtxt_ (SimpleBlock c ext) f a] → ShowS #

type TrivialIndex (NestedCtxt_ (TestBlockWith ptype) f ∷ Type → Type) 
Instance details

Defined in Test.Util.TestBlock

type TrivialIndex (NestedCtxt_ (TestBlockWith ptype) f ∷ Type → Type) = f (TestBlockWith ptype)
type TrivialIndex (NestedCtxt_ (SimpleBlock c ext) f ∷ Type → Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

type TrivialIndex (NestedCtxt_ (SimpleBlock c ext) f ∷ Type → Type) = f (SimpleBlock c ext)
data NestedCtxt_ (HardForkBlock xs) a b 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

data NestedCtxt_ (HardForkBlock xs) a b where
data NestedCtxt_ (TestBlockWith ptype) f a 
Instance details

Defined in Test.Util.TestBlock

data NestedCtxt_ (TestBlockWith ptype) f a where
newtype NestedCtxt_ (DualBlock m a) f x 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

newtype NestedCtxt_ (DualBlock m a) f x where
data NestedCtxt_ (SimpleBlock c ext) f a Source # 
Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

data NestedCtxt_ (SimpleBlock c ext) f a where

Orphan instances

Serialise ext ⇒ ReconstructNestedCtxt Header (MockBlock ext) Source # 
Instance details

Methods

reconstructPrefixLen ∷ proxy (Header (MockBlock ext)) → PrefixLen Source #

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

SerialiseBlockQueryResult (MockBlock ext) BlockQuery Source # 
Instance details

Methods

encodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → BlockQuery (MockBlock ext) fp result → result → Encoding Source #

decodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → BlockQuery (MockBlock ext) fp result → ∀ s. Decoder s result Source #

HasNestedContent f (SimpleBlock c ext) Source # 
Instance details

Methods

unnest ∷ f (SimpleBlock c ext) → DepPair (NestedCtxt f (SimpleBlock c ext)) Source #

nest ∷ DepPair (NestedCtxt f (SimpleBlock c ext)) → f (SimpleBlock c ext) Source #

SameDepIndex (NestedCtxt_ (SimpleBlock c ext) f ∷ Type → Type) Source # 
Instance details

Methods

sameDepIndex ∷ NestedCtxt_ (SimpleBlock c ext) f a → NestedCtxt_ (SimpleBlock c ext) f b → Maybe (a :~: b) Source #

TrivialDependency (NestedCtxt_ (SimpleBlock c ext) f ∷ Type → Type) Source # 
Instance details

Methods

hasSingleIndex ∷ NestedCtxt_ (SimpleBlock c ext) f a → NestedCtxt_ (SimpleBlock c ext) f b → a :~: b Source #

indexIsTrivial ∷ NestedCtxt_ (SimpleBlock c ext) f (TrivialIndex (NestedCtxt_ (SimpleBlock c ext) f) ∷ Type) Source #

HasNetworkProtocolVersion (MockBlock ext) Source # 
Instance details

Associated Types

type BlockNodeToNodeVersion (MockBlock ext) 
Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

type BlockNodeToNodeVersion (MockBlock ext) = ()
type BlockNodeToClientVersion (MockBlock ext) 
Instance details

Defined in Ouroboros.Consensus.Mock.Node.Serialisation

type BlockNodeToClientVersion (MockBlock ext) = ()
(Serialise ext, Typeable ext, Serialise (MockLedgerConfig SimpleMockCrypto ext), MockProtocolSpecific SimpleMockCrypto ext) ⇒ SerialiseNodeToClientConstraints (MockBlock ext) Source # 
Instance details

Serialise ext ⇒ SerialiseNodeToNodeConstraints (MockBlock ext) Source # 
Instance details

Methods

estimateBlockSize ∷ Header (MockBlock ext) → SizeInBytes Source #

(Serialise ext, RunMockBlock SimpleMockCrypto ext) ⇒ SerialiseDiskConstraints (MockBlock ext) Source # 
Instance details

(Serialise ext, Typeable ext) ⇒ HasBinaryBlockInfo (MockBlock ext) Source # 
Instance details

Methods

getBinaryBlockInfo ∷ MockBlock ext → BinaryBlockInfo Source #

SerialiseNodeToClient (MockBlock ext) SlotNo Source # 
Instance details

Methods

encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → SlotNo → Encoding Source #

decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s SlotNo Source #

SerialiseNodeToClient (MockBlock ext) (SomeBlockQuery (BlockQuery (MockBlock ext))) Source # 
Instance details

Methods

encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → SomeBlockQuery (BlockQuery (MockBlock ext)) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (SomeBlockQuery (BlockQuery (MockBlock ext))) Source #

SerialiseNodeToClient (MockBlock ext) (GenTx (MockBlock ext)) Source # 
Instance details

Methods

encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → GenTx (MockBlock ext) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (GenTx (MockBlock ext)) Source #

SerialiseNodeToClient (MockBlock ext) (GenTxId (MockBlock ext)) Source # 
Instance details

Methods

encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → GenTxId (MockBlock ext) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (GenTxId (MockBlock ext)) Source #

SerialiseNodeToClient (MockBlock ext) (MockError (MockBlock ext)) Source # 
Instance details

Methods

encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → MockError (MockBlock ext) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (MockError (MockBlock ext)) Source #

Serialise ext ⇒ SerialiseNodeToClient (MockBlock ext) (MockBlock ext) Source # 
Instance details

Methods

encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → MockBlock ext → Encoding Source #

decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (MockBlock ext) Source #

Serialise ext ⇒ SerialiseNodeToNode (MockBlock ext) (Header (MockBlock ext)) Source # 
Instance details

Methods

encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → Header (MockBlock ext) → Encoding Source #

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

SerialiseNodeToNode (MockBlock ext) (GenTx (MockBlock ext)) Source # 
Instance details

Methods

encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → GenTx (MockBlock ext) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (GenTx (MockBlock ext)) Source #

SerialiseNodeToNode (MockBlock ext) (GenTxId (MockBlock ext)) Source # 
Instance details

Methods

encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → GenTxId (MockBlock ext) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (GenTxId (MockBlock ext)) Source #

Serialise ext ⇒ SerialiseNodeToNode (MockBlock ext) (SerialisedHeader (MockBlock ext)) Source # 
Instance details

Methods

encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → SerialisedHeader (MockBlock ext) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (SerialisedHeader (MockBlock ext)) Source #

Serialise ext ⇒ SerialiseNodeToNode (MockBlock ext) (MockBlock ext) Source # 
Instance details

Methods

encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → MockBlock ext → Encoding Source #

decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (MockBlock ext) Source #

DecodeDisk (MockBlock ext) (AnnTip (MockBlock ext)) Source # 
Instance details

Methods

decodeDisk ∷ CodecConfig (MockBlock ext) → ∀ s. Decoder s (AnnTip (MockBlock ext)) Source #

Serialise ext ⇒ DecodeDiskDep (NestedCtxt Header) (MockBlock ext) Source # 
Instance details

Methods

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

Serialise ext ⇒ DecodeDiskDepIx (NestedCtxt Header) (MockBlock ext) Source # 
Instance details

Methods

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

Serialise ext ⇒ EncodeDisk (MockBlock ext) (Header (MockBlock ext)) Source # 
Instance details

Methods

encodeDisk ∷ CodecConfig (MockBlock ext) → Header (MockBlock ext) → Encoding Source #

EncodeDisk (MockBlock ext) (AnnTip (MockBlock ext)) Source # 
Instance details

Methods

encodeDisk ∷ CodecConfig (MockBlock ext) → AnnTip (MockBlock ext) → Encoding Source #

Serialise ext ⇒ EncodeDisk (MockBlock ext) (MockBlock ext) Source # 
Instance details

Methods

encodeDisk ∷ CodecConfig (MockBlock ext) → MockBlock ext → Encoding Source #

Serialise ext ⇒ EncodeDiskDep (NestedCtxt Header) (MockBlock ext) Source # 
Instance details

Methods

encodeDiskDep ∷ CodecConfig (MockBlock ext) → NestedCtxt Header (MockBlock ext) a → a → Encoding Source #

Serialise ext ⇒ EncodeDiskDepIx (NestedCtxt Header) (MockBlock ext) Source # 
Instance details

Methods

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

SerialiseNodeToClient (MockBlock ext) (Serialised (MockBlock ext)) Source # 
Instance details

Methods

encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → Serialised (MockBlock ext) → Encoding Source #

decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (Serialised (MockBlock ext)) Source #

SerialiseNodeToNode (MockBlock ext) (Serialised (MockBlock ext)) Source # 
Instance details

Methods

encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → Serialised (MockBlock ext) → Encoding Source #

decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (Serialised (MockBlock ext)) Source #

DecodeDisk (MockBlock ext) (LedgerState (MockBlock ext) EmptyMK) Source # 
Instance details

Methods

decodeDisk ∷ CodecConfig (MockBlock ext) → ∀ s. Decoder s (LedgerState (MockBlock ext) EmptyMK) Source #

Serialise ext ⇒ DecodeDisk (MockBlock ext) (ByteString → Header (MockBlock ext)) Source # 
Instance details

Methods

decodeDisk ∷ CodecConfig (MockBlock ext) → ∀ s. Decoder s (ByteString → Header (MockBlock ext)) Source #

Serialise ext ⇒ DecodeDisk (MockBlock ext) (ByteString → MockBlock ext) Source # 
Instance details

Methods

decodeDisk ∷ CodecConfig (MockBlock ext) → ∀ s. Decoder s (ByteString → MockBlock ext) Source #

EncodeDisk (MockBlock ext) (LedgerState (MockBlock ext) EmptyMK) Source # 
Instance details

Methods

encodeDisk ∷ CodecConfig (MockBlock ext) → LedgerState (MockBlock ext) EmptyMK → Encoding Source #

Show (NestedCtxt_ (SimpleBlock c ext) f a) Source # 
Instance details

Methods

showsPrec ∷ Int → NestedCtxt_ (SimpleBlock c ext) f a → ShowS #

show ∷ NestedCtxt_ (SimpleBlock c ext) f a → String #

showList ∷ [NestedCtxt_ (SimpleBlock c ext) f a] → ShowS #