type Rep ObjectId
Instance details Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Test type Rep ObjectId = D1 ('MetaData "ObjectId" "Ouroboros.Network.Protocol.ObjectDiffusion.Test" "ouroboros-network-1.1.0.0-inplace-protocols-tests-lib" 'True) (C1 ('MetaCons "ObjectId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Word64))))

Methods

from :: ObjectId -> Rep ObjectId x #

to :: Rep ObjectId x -> ObjectId #

Show ObjectId Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Test

Methods

showsPrec :: Int -> ObjectId -> ShowS #

show :: ObjectId -> String #

showList :: [ObjectId] -> ShowS #

Eq ObjectId Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Test

Methods

(==) :: ObjectId -> ObjectId -> Bool #

(/=) :: ObjectId -> ObjectId -> Bool #

Ord ObjectId Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Test

Methods

compare :: ObjectId -> ObjectId -> Ordering #

(<) :: ObjectId -> ObjectId -> Bool #

(<=) :: ObjectId -> ObjectId -> Bool #

(>) :: ObjectId -> ObjectId -> Bool #

(>=) :: ObjectId -> ObjectId -> Bool #

max :: ObjectId -> ObjectId -> ObjectId #

min :: ObjectId -> ObjectId -> ObjectId #

WithCaughtUpDetection ObjectId Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Test

Methods

caughtUpSentinel :: NonEmpty ObjectId Source #

ifCaughtUp :: forall object (m :: Type -> Type) a. InboundStIdle 'Z ObjectId object m a -> (NonEmpty ObjectId -> InboundStIdle 'Z ObjectId object m a) -> NonEmpty ObjectId -> InboundStIdle 'Z ObjectId object m a Source #

Serialise ObjectId Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Test

Methods

encode :: ObjectId -> Encoding #

decode :: Decoder s ObjectId #

encodeList :: [ObjectId] -> Encoding #

decodeList :: Decoder s [ObjectId] #

ShowProxy ObjectId Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Test

Methods

showProxy :: Proxy ObjectId -> String

type Rep ObjectId Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Test

type Rep ObjectId = D1 ('MetaData "ObjectId" "Ouroboros.Network.Protocol.ObjectDiffusion.Test" "ouroboros-network-1.1.0.0-inplace-protocols-tests-lib" 'True) (C1 ('MetaCons "ObjectId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Word64))))

newtype Object Source #

Constructors

Object
Fields getObjectId :: ObjectId

Instances

Instances details

Arbitrary Object Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Test

Methods

arbitrary :: Gen Object #

shrink :: Object -> [Object] #

NFData Object Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Test

Methods

rnf :: Object -> () #

Generic Object Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Test

Associated Types

type Rep Object
Instance details Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Test type Rep Object = D1 ('MetaData "Object" "Ouroboros.Network.Protocol.ObjectDiffusion.Test" "ouroboros-network-1.1.0.0-inplace-protocols-tests-lib" 'True) (C1 ('MetaCons "Object" 'PrefixI 'True) (S1 ('MetaSel ('Just "getObjectId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ObjectId)))

Methods

from :: Object -> Rep Object x #

to :: Rep Object x -> Object #

Show Object Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Test

Methods

showsPrec :: Int -> Object -> ShowS #

show :: Object -> String #

showList :: [Object] -> ShowS #

Eq Object Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Test

Methods

(==) :: Object -> Object -> Bool #

(/=) :: Object -> Object -> Bool #

Serialise Object Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Test

Methods

encode :: Object -> Encoding #

decode :: Decoder s Object #

encodeList :: [Object] -> Encoding #

decodeList :: Decoder s [Object] #

ShowProxy Object Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Test

Methods

showProxy :: Proxy Object -> String

type Rep Object Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Test

type Rep Object = D1 ('MetaData "Object" "Ouroboros.Network.Protocol.ObjectDiffusion.Test" "ouroboros-network-1.1.0.0-inplace-protocols-tests-lib" 'True) (C1 ('MetaCons "Object" 'PrefixI 'True) (S1 ('MetaSel ('Just "getObjectId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ObjectId)))

Orphan instances

Arbitrary NumObjectIdsAck Source #
Instance details Methods arbitrary :: Gen NumObjectIdsAck # shrink :: NumObjectIdsAck -> [NumObjectIdsAck] #
Arbitrary NumObjectIdsReq Source #
Instance details Methods arbitrary :: Gen NumObjectIdsReq # shrink :: NumObjectIdsReq -> [NumObjectIdsReq] #
(Arbitrary objectId, Arbitrary object) => Arbitrary (AnyMessage (ObjectDiffusion objectId object)) Source #
Instance details Methods arbitrary :: Gen (AnyMessage (ObjectDiffusion objectId object)) # shrink :: AnyMessage (ObjectDiffusion objectId object) -> [AnyMessage (ObjectDiffusion objectId object)] #
(Eq objectId, Eq object) => Eq (AnyMessage (ObjectDiffusion objectId object)) Source #
Instance details Methods (==) :: AnyMessage (ObjectDiffusion objectId object) -> AnyMessage (ObjectDiffusion objectId object) -> Bool # (/=) :: AnyMessage (ObjectDiffusion objectId object) -> AnyMessage (ObjectDiffusion objectId object) -> Bool #