Safe Haskell	None
Language	Haskell2010

Ouroboros.Network.Protocol.LocalStateQuery.Codec

Synopsis

codecLocalStateQuery :: forall block point query m. ( MonadST m, ShowQuery query) => (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 m ByteString
codecLocalStateQueryId :: forall block point (query :: Type -> Type ) m. Monad m => ( forall 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
- Some :: f a -> Some f

Documentation

codecLocalStateQuery :: forall block point query m. ( MonadST m, ShowQuery query) => (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 m ByteString Source #

codecLocalStateQueryId :: forall block point (query :: Type -> Type ) m. Monad m => ( forall 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