Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Mock.Node.Serialisation

Contents

Orphan instances

Synopsis

type MockBlock ext = SimpleBlock SimpleMockCrypto ext
data family NestedCtxt_ blk ∷ (Type → Type) → Type → Type

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_ (SimpleBlock c ext) f) 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_ (SimpleBlock c ext) f) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Associated Types type TrivialIndex (NestedCtxt_ (SimpleBlock c ext) f) Source # 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)) Source #
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 #
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 CtxtMock ∷ ∀ c ext (f ∷ Type → Type). NestedCtxt_ (SimpleBlock c ext) f (f (SimpleBlock c ext))
type TrivialIndex (NestedCtxt_ (SimpleBlock c ext) f) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation type TrivialIndex (NestedCtxt_ (SimpleBlock c ext) f) = f (SimpleBlock c ext)

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 #
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 #
(Serialise ext, Typeable 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) (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 #
SerialiseResult (MockBlock ext) (BlockQuery (MockBlock ext)) Source #
Instance details Methods encodeResult ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → BlockQuery (MockBlock ext) result → result → Encoding Source # decodeResult ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → BlockQuery (MockBlock ext) result → ∀ s. Decoder s result Source #
DecodeDisk (MockBlock ext) (AnnTip (MockBlock ext)) Source #
Instance details Methods decodeDisk ∷ CodecConfig (MockBlock ext) → ∀ s. Decoder s (AnnTip (MockBlock ext)) Source #
DecodeDisk (MockBlock ext) (LedgerState (MockBlock ext)) Source #
Instance details Methods decodeDisk ∷ CodecConfig (MockBlock ext) → ∀ s. Decoder s (LedgerState (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 #
EncodeDisk (MockBlock ext) (LedgerState (MockBlock ext)) Source #
Instance details Methods encodeDisk ∷ CodecConfig (MockBlock ext) → LedgerState (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 #
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 #
SerialiseNodeToClient (MockBlock ext) (SomeSecond BlockQuery (MockBlock ext)) Source #
Instance details Methods encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → SomeSecond BlockQuery (MockBlock ext) → Encoding Source # decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (SomeSecond BlockQuery (MockBlock ext)) Source #
SameDepIndex (NestedCtxt_ (SimpleBlock c ext) f) 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) Source #
Instance details Associated Types type TrivialIndex (NestedCtxt_ (SimpleBlock c ext) f) Source # 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)) 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 #