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
- GetTheLedgerState :: Query MockLedgerState
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 getAnyMessageWithResult :: AnyMessage (LocalStateQuery block point query) (State :: LocalStateQuery block point query -> Type)

Instances details

(Arbitrary point, Arbitrary (query result), Arbitrary result) => Arbitrary (AnyMessageWithResult block point query result) Source #
Instance details 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 #
Instance details 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

An arbitrary query that happens to be trivial to implement in this test

Instances details

ShowQuery Query Source #
Instance details Defined in Ouroboros.Network.Protocol.LocalStateQuery.Test Methods showResult :: Query result -> result -> String
Arbitrary (Query MockLedgerState) Source #
Instance details Defined in Ouroboros.Network.Protocol.LocalStateQuery.Test Methods arbitrary :: Gen (Query MockLedgerState) # shrink :: Query MockLedgerState -> [Query MockLedgerState] #
Show (Query result) Source #
Instance details Defined in Ouroboros.Network.Protocol.LocalStateQuery.Test Methods showsPrec :: Int -> Query result -> ShowS # show :: Query result -> String # showList :: [Query result] -> ShowS #
Eq (AnyMessage (LocalStateQuery Block (Point Block) Query) (State :: LocalStateQuery Block (Point Block) Query -> Type)) Source #
Instance details 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 #
Instance details Defined in Ouroboros.Network.Protocol.LocalStateQuery.Test Methods showProxy :: Proxy Query -> String

Constructors

MockLedgerState (Target (Point Block))

Instances details

Arbitrary MockLedgerState Source #
Instance details Defined in Ouroboros.Network.Protocol.LocalStateQuery.Test Methods arbitrary :: Gen MockLedgerState # shrink :: MockLedgerState -> [MockLedgerState] #
Show MockLedgerState Source #
Instance details Defined in Ouroboros.Network.Protocol.LocalStateQuery.Test Methods showsPrec :: Int -> MockLedgerState -> ShowS # show :: MockLedgerState -> String # showList :: [MockLedgerState] -> ShowS #
Eq MockLedgerState Source #
Instance details Defined in Ouroboros.Network.Protocol.LocalStateQuery.Test Methods (==) :: MockLedgerState -> MockLedgerState -> Bool # (/=) :: MockLedgerState -> MockLedgerState -> Bool #
Serialise MockLedgerState Source #
Instance details Defined in Ouroboros.Network.Protocol.LocalStateQuery.Test Methods encode :: MockLedgerState -> Encoding # decode :: Decoder s MockLedgerState # encodeList :: [MockLedgerState] -> Encoding # decodeList :: Decoder s [MockLedgerState] #
Arbitrary (Query MockLedgerState) Source #
Instance details Defined in Ouroboros.Network.Protocol.LocalStateQuery.Test Methods arbitrary :: Gen (Query MockLedgerState) # shrink :: Query MockLedgerState -> [Query MockLedgerState] #

Orphan instances

Arbitrary AcquireFailure Source #
Instance details Methods arbitrary :: Gen AcquireFailure # shrink :: AcquireFailure -> [AcquireFailure] #
Arbitrary point => Arbitrary (Target point) Source #
Instance details Methods arbitrary :: Gen (Target point) # shrink :: Target point -> [Target point] #
Serialise point => Serialise (Target point) Source #
Instance details Methods encode :: Target point -> Encoding # decode :: Decoder s (Target point) # encodeList :: [Target point] -> Encoding # decodeList :: Decoder s [Target point] #