Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- tests :: TestTree
- codec :: forall (m :: Type -> Type). MonadST m => Codec (LocalStateQuery Block (Point Block) Query) DeserialiseFailure m ByteString
- newtype AnyMessageAndAgencyWithResult block point (query :: Type -> Type) result = AnyMessageAndAgencyWithResult {
- getAnyMessageAndAgencyWithResult :: AnyMessageAndAgency (LocalStateQuery block point query)
Documentation
codec :: forall (m :: Type -> Type). MonadST m => Codec (LocalStateQuery Block (Point Block) Query) DeserialiseFailure m ByteString Source #
newtype AnyMessageAndAgencyWithResult block point (query :: Type -> Type) result Source #
A newtype wrapper which captures type of response generated for all queries.
Note that this is not as general as the protocol allows, since the protocol admits different result for different queries.
AnyMessageAndAgencyWithResult | |
|
Instances
(Arbitrary point, Arbitrary (query result), Arbitrary result) => Arbitrary (AnyMessageAndAgencyWithResult block point query result) Source # | |
Defined in Ouroboros.Network.Protocol.LocalStateQuery.Test arbitrary :: Gen (AnyMessageAndAgencyWithResult block point query result) # shrink :: AnyMessageAndAgencyWithResult block point query result -> [AnyMessageAndAgencyWithResult block point query result] # | |
(ShowQuery query, Show point) => Show (AnyMessageAndAgencyWithResult block point query result) Source # | |
Defined in Ouroboros.Network.Protocol.LocalStateQuery.Test showsPrec :: Int -> AnyMessageAndAgencyWithResult block point query result -> ShowS # show :: AnyMessageAndAgencyWithResult block point query result -> String # showList :: [AnyMessageAndAgencyWithResult block point query result] -> ShowS # |