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

Methods

from :: Block -> Rep Block x #

to :: Rep Block x -> Block #

Show Block Source #

Instance details

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

Methods

showsPrec :: Int -> Block -> ShowS #

show :: Block -> String #

showList :: [Block] -> ShowS #

Eq Block Source #

Instance details

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

Methods

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

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

Serialise Block Source #

Instance details

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

Methods

encode :: Block -> Encoding #

decode :: Decoder s Block #

encodeList :: [Block] -> Encoding #

decodeList :: Decoder s [Block] #

type Rep Block Source #

Instance details

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

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

newtype BlockPoint Source #

Constructors

BlockPoint Any

Instances

Instances details

Arbitrary BlockPoint Source #

Instance details

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

Methods

arbitrary :: Gen BlockPoint #

shrink :: BlockPoint -> [BlockPoint] #

NFData BlockPoint Source #

Instance details

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

Methods

rnf :: BlockPoint -> () #

Generic BlockPoint Source #

Instance details

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

Associated Types

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