| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Network.Protocol.LocalStateQuery.Test
Contents
Synopsis
- tests :: TestTree
- codec :: forall (m :: Type -> Type). MonadST m => Codec (LocalStateQuery Block (Point Block) Query) DeserialiseFailure (State :: LocalStateQuery Block (Point Block) Query -> Type) m ByteString
- newtype AnyMessageWithResult block point (query :: Type -> Type) result = AnyMessageWithResult {
- getAnyMessageWithResult :: AnyMessage (LocalStateQuery block point query) (State :: LocalStateQuery block point query -> Type)
- data Query result where
- newtype MockLedgerState = MockLedgerState (Target (Point Block))
Documentation
codec :: forall (m :: Type -> Type). MonadST m => Codec (LocalStateQuery Block (Point Block) Query) DeserialiseFailure (State :: LocalStateQuery Block (Point Block) Query -> Type) m ByteString Source #
newtype AnyMessageWithResult 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.
Constructors
| AnyMessageWithResult | |
Fields
| |
Instances
| (Arbitrary point, Arbitrary (query result), Arbitrary result) => Arbitrary (AnyMessageWithResult block point query result) Source # | |
Defined in Ouroboros.Network.Protocol.LocalStateQuery.Test Methods arbitrary :: Gen (AnyMessageWithResult block point query result) # shrink :: AnyMessageWithResult block point query result -> [AnyMessageWithResult block point query result] # | |
| (ShowQuery query, Show point) => Show (AnyMessageWithResult block point query result) Source # | |
Defined in Ouroboros.Network.Protocol.LocalStateQuery.Test Methods showsPrec :: Int -> AnyMessageWithResult block point query result -> ShowS # show :: AnyMessageWithResult block point query result -> String # showList :: [AnyMessageWithResult block point query result] -> ShowS # | |
data Query result where Source #
Constructors
| GetTheLedgerState :: Query MockLedgerState | An arbitrary query that happens to be trivial to implement in this test |
Instances
| ShowQuery Query Source # | |
Defined in Ouroboros.Network.Protocol.LocalStateQuery.Test Methods showResult :: Query result -> result -> String | |
| Arbitrary (Query MockLedgerState) Source # | |
Defined in Ouroboros.Network.Protocol.LocalStateQuery.Test Methods arbitrary :: Gen (Query MockLedgerState) # shrink :: Query MockLedgerState -> [Query MockLedgerState] # | |
| Show (Query result) Source # | |
| Eq (AnyMessage (LocalStateQuery Block (Point Block) Query) (State :: LocalStateQuery Block (Point Block) Query -> Type)) Source # | |
Defined in Ouroboros.Network.Protocol.LocalStateQuery.Test Methods (==) :: AnyMessage (LocalStateQuery Block (Point Block) Query) (State :: LocalStateQuery Block (Point Block) Query -> Type) -> AnyMessage (LocalStateQuery Block (Point Block) Query) (State :: LocalStateQuery Block (Point Block) Query -> Type) -> Bool # (/=) :: AnyMessage (LocalStateQuery Block (Point Block) Query) (State :: LocalStateQuery Block (Point Block) Query -> Type) -> AnyMessage (LocalStateQuery Block (Point Block) Query) (State :: LocalStateQuery Block (Point Block) Query -> Type) -> Bool # | |
| ShowProxy Query Source # | |
newtype MockLedgerState Source #
Constructors
| MockLedgerState (Target (Point Block)) |