ouroboros-network-0.1.0.0: A networking layer for the Ouroboros blockchain protocol
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Network.Protocol.LocalStateQuery.Codec

Synopsis
  • codecLocalStateQuery ∷ ∀ block point query m. (MonadST m, ShowQuery query) ⇒ (point → Encoding) → (∀ s. Decoder s point) → (∀ result. query result → Encoding) → (∀ s. Decoder s (Some query)) → (∀ result. query result → result → Encoding) → (∀ result. query result → ∀ s. Decoder s result) → Codec (LocalStateQuery block point query) DeserialiseFailure m ByteString
  • codecLocalStateQueryId ∷ ∀ block point (query ∷ TypeType) m. Monad m ⇒ (∀ result1 result2. query result1 → query result2 → Maybe (result1 :~: result2)) → Codec (LocalStateQuery block point query) CodecFailure m (AnyMessage (LocalStateQuery block point query))
  • data Some (f ∷ k → Type) where

Documentation

codecLocalStateQuery ∷ ∀ block point query m. (MonadST m, ShowQuery query) ⇒ (point → Encoding) → (∀ s. Decoder s point) → (∀ result. query result → Encoding) → (∀ s. Decoder s (Some query)) → (∀ result. query result → result → Encoding) → (∀ result. query result → ∀ s. Decoder s result) → Codec (LocalStateQuery block point query) DeserialiseFailure m ByteString Source #

codecLocalStateQueryId ∷ ∀ block point (query ∷ TypeType) m. Monad m ⇒ (∀ result1 result2. query result1 → query result2 → Maybe (result1 :~: result2)) → Codec (LocalStateQuery block point query) CodecFailure m (AnyMessage (LocalStateQuery block point query)) Source #

An identity Codec for the LocalStateQuery protocol. It does not do any serialisation. It keeps the typed messages, wrapped in AnyMessage.

data Some (f ∷ k → Type) where Source #

Constructors

Some ∷ f a → Some f