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

Ouroboros.Network.Protocol.ChainSync.Codec.CDDL

Documentation

newtype BlockHeader Source #

Constructors

BlockHeader Any 

Instances

Instances details
Arbitrary BlockHeader Source # 
Instance details

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

Methods

arbitrary :: Gen BlockHeader #

shrink :: BlockHeader -> [BlockHeader] #

NFData BlockHeader Source # 
Instance details

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

Methods

rnf :: BlockHeader -> () #

Generic BlockHeader Source # 
Instance details

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

Associated Types

type Rep BlockHeader 
Instance details

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

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

Methods

from :: BlockHeader -> Rep BlockHeader x #

to :: Rep BlockHeader x -> BlockHeader #

Show BlockHeader Source # 
Instance details

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

Methods

showsPrec :: Int -> BlockHeader -> ShowS #

show :: BlockHeader -> String #

showList :: [BlockHeader] -> ShowS #

Eq BlockHeader Source # 
Instance details

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

Methods

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

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

Serialise BlockHeader Source # 
Instance details

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

Methods

encode :: BlockHeader -> Encoding #

decode :: Decoder s BlockHeader #

encodeList :: [BlockHeader] -> Encoding #

decodeList :: Decoder s [BlockHeader] #

type Rep BlockHeader Source # 
Instance details

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

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

newtype HeaderPoint Source #

Constructors

HeaderPoint Any 

Instances

Instances details
Arbitrary HeaderPoint Source # 
Instance details

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

Methods

arbitrary :: Gen HeaderPoint #

shrink :: HeaderPoint -> [HeaderPoint] #

NFData HeaderPoint Source # 
Instance details

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

Methods

rnf :: HeaderPoint -> () #

Generic HeaderPoint Source # 
Instance details

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

Associated Types

type Rep HeaderPoint 
Instance details

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

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

Methods

from :: HeaderPoint -> Rep HeaderPoint x #

to :: Rep HeaderPoint x -> HeaderPoint #

Show HeaderPoint Source # 
Instance details

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

Methods

showsPrec :: Int -> HeaderPoint -> ShowS #

show :: HeaderPoint -> String #

showList :: [HeaderPoint] -> ShowS #

Eq HeaderPoint Source # 
Instance details

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

Methods

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

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

Serialise HeaderPoint Source # 
Instance details

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

Methods

encode :: HeaderPoint -> Encoding #

decode :: Decoder s HeaderPoint #

encodeList :: [HeaderPoint] -> Encoding #

decodeList :: Decoder s [HeaderPoint] #

type Rep HeaderPoint Source # 
Instance details

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

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

newtype HeaderTip Source #

Constructors

HeaderTip Any 

Instances

Instances details
Arbitrary HeaderTip Source # 
Instance details

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

Methods

arbitrary :: Gen HeaderTip #

shrink :: HeaderTip -> [HeaderTip] #

NFData HeaderTip Source # 
Instance details

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

Methods

rnf :: HeaderTip -> () #

Generic HeaderTip Source # 
Instance details

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

Associated Types

type Rep HeaderTip 
Instance details

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

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

Methods

from :: HeaderTip -> Rep HeaderTip x #

to :: Rep HeaderTip x -> HeaderTip #

Show HeaderTip Source # 
Instance details

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

Methods

showsPrec :: Int -> HeaderTip -> ShowS #

show :: HeaderTip -> String #

showList :: [HeaderTip] -> ShowS #

Eq HeaderTip Source # 
Instance details

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

Methods

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

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

Serialise HeaderTip Source # 
Instance details

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

Methods

encode :: HeaderTip -> Encoding #

decode :: Decoder s HeaderTip #

encodeList :: [HeaderTip] -> Encoding #

decodeList :: Decoder s [HeaderTip] #

type Rep HeaderTip Source # 
Instance details

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

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

chainSyncCodec :: Codec (ChainSync BlockHeader HeaderPoint HeaderTip) DeserialiseFailure IO ByteString Source #