ouroboros-network:protocols-tests-lib
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Network.Protocol.ObjectDiffusion.Codec.CDDL

Synopsis

Documentation

objectDiffusionCodec :: Codec (ObjectDiffusion ObjectId Object) DeserialiseFailure IO ByteString Source #

data ObjectId Source #

Simple wrapper around Any matching objectId = any in the CDDL spec. This is intentionally different from the ObjectId in Test which wraps Maybe Word64 for the caught-up sentinel.

Instances

Instances details
Arbitrary ObjectId Source # 
Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Codec.CDDL

Methods

arbitrary :: Gen ObjectId #

shrink :: ObjectId -> [ObjectId] #

NFData ObjectId Source # 
Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Codec.CDDL

Methods

rnf :: ObjectId -> () #

Generic ObjectId Source # 
Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Codec.CDDL

Associated Types

type Rep ObjectId 
Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Codec.CDDL

type Rep ObjectId = D1 ('MetaData "ObjectId" "Ouroboros.Network.Protocol.ObjectDiffusion.Codec.CDDL" "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 Any)))

Methods

from :: ObjectId -> Rep ObjectId x #

to :: Rep ObjectId x -> ObjectId #

Show ObjectId Source # 
Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Codec.CDDL

Methods

showsPrec :: Int -> ObjectId -> ShowS #

show :: ObjectId -> String #

showList :: [ObjectId] -> ShowS #

Eq ObjectId Source # 
Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Codec.CDDL

Methods

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

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

Ord ObjectId Source # 
Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Codec.CDDL

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 #

Serialise ObjectId Source # 
Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Codec.CDDL

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.Codec.CDDL

Methods

showProxy :: Proxy ObjectId -> String

type Rep ObjectId Source # 
Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Codec.CDDL

type Rep ObjectId = D1 ('MetaData "ObjectId" "Ouroboros.Network.Protocol.ObjectDiffusion.Codec.CDDL" "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 Any)))

data Object Source #

Simple wrapper around Any matching object = any in the CDDL spec.

Instances

Instances details
Arbitrary Object Source # 
Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Codec.CDDL

Methods

arbitrary :: Gen Object #

shrink :: Object -> [Object] #

NFData Object Source # 
Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Codec.CDDL

Methods

rnf :: Object -> () #

Generic Object Source # 
Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Codec.CDDL

Associated Types

type Rep Object 
Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Codec.CDDL

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

Methods

from :: Object -> Rep Object x #

to :: Rep Object x -> Object #

Show Object Source # 
Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Codec.CDDL

Methods

showsPrec :: Int -> Object -> ShowS #

show :: Object -> String #

showList :: [Object] -> ShowS #

Eq Object Source # 
Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Codec.CDDL

Methods

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

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

Serialise Object Source # 
Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Codec.CDDL

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.Codec.CDDL

Methods

showProxy :: Proxy Object -> String

type Rep Object Source # 
Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Codec.CDDL

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