Safe Haskell	None
Language	Haskell2010

Ouroboros.Network.Protocol.LocalStateQuery.Codec

Synopsis

data LocalStateQueryVersion
- = LocalStateQuery_V1
- | LocalStateQuery_V2
codecLocalStateQuery :: forall block point query (m :: Type -> Type). (MonadST m, ShowQuery query) => LocalStateQueryVersion -> (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))
data Some (f :: k -> Type) where
- Some :: forall {k} (f :: k -> Type) (a :: k). f a -> Some f

Documentation

data LocalStateQueryVersion Source #

Constructors

LocalStateQuery_V1
LocalStateQuery_V2

Instances

Instances details

Bounded LocalStateQueryVersion Source #
Instance details Defined in Ouroboros.Network.Protocol.LocalStateQuery.Type Methods minBound :: LocalStateQueryVersion # maxBound :: LocalStateQueryVersion #
Enum LocalStateQueryVersion Source #
Instance details Defined in Ouroboros.Network.Protocol.LocalStateQuery.Type Methods succ :: LocalStateQueryVersion -> LocalStateQueryVersion # pred :: LocalStateQueryVersion -> LocalStateQueryVersion # toEnum :: Int -> LocalStateQueryVersion # fromEnum :: LocalStateQueryVersion -> Int # enumFrom :: LocalStateQueryVersion -> [LocalStateQueryVersion] # enumFromThen :: LocalStateQueryVersion -> LocalStateQueryVersion -> [LocalStateQueryVersion] # enumFromTo :: LocalStateQueryVersion -> LocalStateQueryVersion -> [LocalStateQueryVersion] # enumFromThenTo :: LocalStateQueryVersion -> LocalStateQueryVersion -> LocalStateQueryVersion -> [LocalStateQueryVersion] #
Show LocalStateQueryVersion Source #
Instance details Defined in Ouroboros.Network.Protocol.LocalStateQuery.Type Methods showsPrec :: Int -> LocalStateQueryVersion -> ShowS # show :: LocalStateQueryVersion -> String # showList :: [LocalStateQueryVersion] -> ShowS #
Eq LocalStateQueryVersion Source #
Instance details Defined in Ouroboros.Network.Protocol.LocalStateQuery.Type Methods (==) :: LocalStateQueryVersion -> LocalStateQueryVersion -> Bool # (/=) :: LocalStateQueryVersion -> LocalStateQueryVersion -> Bool #
Ord LocalStateQueryVersion Source #
Instance details Defined in Ouroboros.Network.Protocol.LocalStateQuery.Type Methods compare :: LocalStateQueryVersion -> LocalStateQueryVersion -> Ordering # (<) :: LocalStateQueryVersion -> LocalStateQueryVersion -> Bool # (<=) :: LocalStateQueryVersion -> LocalStateQueryVersion -> Bool # (>) :: LocalStateQueryVersion -> LocalStateQueryVersion -> Bool # (>=) :: LocalStateQueryVersion -> LocalStateQueryVersion -> Bool # max :: LocalStateQueryVersion -> LocalStateQueryVersion -> LocalStateQueryVersion # min :: LocalStateQueryVersion -> LocalStateQueryVersion -> LocalStateQueryVersion #

codecLocalStateQuery Source #

Arguments

:: forall block point query (m :: Type -> Type). (MonadST m, ShowQuery query)
=> LocalStateQueryVersion	eg whether to allow `ImmutableTip` in @`MsgAcquire`
-> (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)) 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 :: forall {k} (f :: k -> Type) (a :: k). f a -> Some f