Safe Haskell	None
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_ 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_ TestBlock f ∷ Type → Type)
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods sameDepIndex ∷ NestedCtxt_ TestBlock f a → NestedCtxt_ TestBlock f b → Maybe (a :~: 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 #
Typeable ext ⇒ 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_ TestBlock f ∷ Type → Type)
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods hasSingleIndex ∷ NestedCtxt_ TestBlock f a → NestedCtxt_ TestBlock f b → a :~: b Source # indexIsTrivial ∷ NestedCtxt_ TestBlock f (TrivialIndex (NestedCtxt_ TestBlock f) ∷ Type) 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_ TestBlock f a)
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods showsPrec ∷ Int → NestedCtxt_ TestBlock f a → ShowS # show ∷ NestedCtxt_ TestBlock f a → String # showList ∷ [NestedCtxt_ TestBlock f a] → 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 #
data NestedCtxt_ TestBlock f a
Instance details Defined in Test.Ouroboros.Storage.TestBlock data NestedCtxt_ TestBlock f a where CtxtTestBlock ∷ ∀ (f ∷ Type → Type). NestedCtxt_ TestBlock f (f TestBlock)
type TrivialIndex (NestedCtxt_ TestBlock f ∷ Type → Type)
Instance details Defined in Test.Ouroboros.Storage.TestBlock type TrivialIndex (NestedCtxt_ TestBlock f ∷ Type → Type) = f TestBlock
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 NCZ ∷ ∀ x (a ∷ Type → Type) b (xs1 ∷ [Type]). !(NestedCtxt_ x a b) → NestedCtxt_ (HardForkBlock (x ': xs1)) a b NCS ∷ ∀ (xs1 ∷ [Type]) (a ∷ Type → Type) b x. !(NestedCtxt_ (HardForkBlock xs1) a b) → NestedCtxt_ (HardForkBlock (x ': xs1)) a b
data NestedCtxt_ (TestBlockWith ptype) f a
Instance details Defined in Test.Util.TestBlock data NestedCtxt_ (TestBlockWith ptype) f a where CtxtTestBlock ∷ ∀ ptype (f ∷ Type → Type). NestedCtxt_ (TestBlockWith ptype) f (f (TestBlockWith ptype))
newtype NestedCtxt_ (DualBlock m a) f x
Instance details Defined in Ouroboros.Consensus.Ledger.Dual newtype NestedCtxt_ (DualBlock m a) f x where CtxtDual ∷ ∀ m (f ∷ Type → Type) x a. NestedCtxt_ m f x → NestedCtxt_ (DualBlock m a) f x
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))

Orphan instances

(Serialise ext, Typeable 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 #

Typeable ext ⇒ 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 #

Typeable ext ⇒ 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 #

Typeable ext ⇒ 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) = ()