| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Network.Protocol.LocalStateQuery.Codec
Documentation
Arguments
| :: forall block point query (m :: Type -> Type). (MonadST m, ShowQuery query) | |
| => NodeToClientVersion | eg whether to allow |
| -> (point -> Encoding) | |
| -> (forall s. Decoder s point) | |
| -> (forall result. query result -> Encoding) | |
| -> (forall s. Decoder s (Some query)) | |
| -> (forall result. query result -> result -> Encoding) | |
| -> (forall result. query result -> forall s. Decoder s result) | |
| -> Codec (LocalStateQuery block point query) DeserialiseFailure (State :: LocalStateQuery block point query -> Type) m ByteString |
codecLocalStateQueryId :: forall block point query (m :: Type -> Type). Monad m => (forall result1 result2. query result1 -> query result2 -> Maybe (result1 :~: result2)) -> Codec (LocalStateQuery block point query) CodecFailure (State :: LocalStateQuery block point query -> Type) m (AnyMessage (LocalStateQuery block point query) (State :: LocalStateQuery block point query -> Type)) #