ouroboros-network-protocols:testlib

Safe Haskell	None
Language	Haskell2010

Ouroboros.Network.Protocol.LocalStateQuery.Codec.CDDL

Documentation

newtype Result Source #

Constructors

Instances

Instances details

Arbitrary Result Source #

Instance details

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

Methods

arbitrary :: Gen Result #

shrink :: Result -> [Result] #

NFData Result Source #

Instance details

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

Methods

rnf :: Result -> () #

Generic Result Source #

Instance details

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

Associated Types

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

Methods

from :: Result -> Rep Result x #

to :: Rep Result x -> Result #

Show Result Source #

Instance details

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

Methods

showsPrec :: Int -> Result -> ShowS #

show :: Result -> String #

showList :: [Result] -> ShowS #

Eq Result Source #

Instance details

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

Methods

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

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

Serialise Result Source #

Instance details

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

Methods

encode :: Result -> Encoding #

decode :: Decoder s Result #

encodeList :: [Result] -> Encoding #

decodeList :: Decoder s [Result] #

Arbitrary (Query Result) Source #

Instance details

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

Methods

arbitrary :: Gen (Query Result) #

shrink :: Query Result -> [Query Result] #

type Rep Result Source #

Instance details

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

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

data Query result where Source #

Constructors

Query :: Any -> Query Result

Instances

Instances details

ShowQuery Query Source #
Instance details Defined in Ouroboros.Network.Protocol.LocalStateQuery.Codec.CDDL Methods showResult :: Query result -> result -> String #
Arbitrary (Query Result) Source #
Instance details Defined in Ouroboros.Network.Protocol.LocalStateQuery.Codec.CDDL Methods arbitrary :: Gen (Query Result) # shrink :: Query Result -> [Query Result] #
NFData (Query result) Source #
Instance details Defined in Ouroboros.Network.Protocol.LocalStateQuery.Codec.CDDL Methods rnf :: Query result -> () #
Show (Query result) Source #
Instance details Defined in Ouroboros.Network.Protocol.LocalStateQuery.Codec.CDDL Methods showsPrec :: Int -> Query result -> ShowS # show :: Query result -> String # showList :: [Query result] -> ShowS #

encodeQuery :: Query result -> Encoding Source #

decodeQuery :: Decoder s (Some Query) Source #

localStateQueryCodec :: Codec (LocalStateQuery Block BlockPoint Query) DeserialiseFailure (State :: LocalStateQuery Block BlockPoint Query -> Type) IO ByteString Source #