| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ouroboros.Network.Protocol.LocalStateQuery.Codec
Synopsis
- codecLocalStateQuery ∷ ∀ block point query m. (MonadST m, ShowQuery query) ⇒ NodeToClientVersion → (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 ∷ Type → Type) 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
Arguments
| ∷ ∀ block point query m. (MonadST m, ShowQuery query) | |
| ⇒ NodeToClientVersion | eg whether to allow |
| → (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 ∷ Type → Type) 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.