hydra-node-0.15.0: The Hydra node
Safe HaskellSafe-Inferred
LanguageGHC2021

Hydra.Network.Message

Documentation

data Connectivity Source #

Constructors

Connected 

Fields

Disconnected 

Fields

Instances

Instances details
FromJSON Connectivity Source # 
Instance details

Defined in Hydra.Network.Message

Methods

parseJSON :: Value -> Parser Connectivity

parseJSONList :: Value -> Parser [Connectivity]

ToJSON Connectivity Source # 
Instance details

Defined in Hydra.Network.Message

Methods

toJSON :: Connectivity -> Value

toEncoding :: Connectivity -> Encoding

toJSONList :: [Connectivity] -> Value

toEncodingList :: [Connectivity] -> Encoding

Generic Connectivity Source # 
Instance details

Defined in Hydra.Network.Message

Associated Types

type Rep Connectivity :: Type -> Type Source #

Show Connectivity Source # 
Instance details

Defined in Hydra.Network.Message

Eq Connectivity Source # 
Instance details

Defined in Hydra.Network.Message

type Rep Connectivity Source # 
Instance details

Defined in Hydra.Network.Message

type Rep Connectivity = D1 ('MetaData "Connectivity" "Hydra.Network.Message" "hydra-node-0.15.0-K4KH8u1blrnL9UtrBUWVZh" 'False) (C1 ('MetaCons "Connected" 'PrefixI 'True) (S1 ('MetaSel ('Just "nodeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NodeId)) :+: C1 ('MetaCons "Disconnected" 'PrefixI 'True) (S1 ('MetaSel ('Just "nodeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NodeId)))

data Message tx Source #

Instances

Instances details
IsTx tx => Arbitrary (Message tx) Source # 
Instance details

Defined in Hydra.Network.Message

Methods

arbitrary :: Gen (Message tx)

shrink :: Message tx -> [Message tx]

IsTx tx => FromJSON (Message tx) Source # 
Instance details

Defined in Hydra.Network.Message

Methods

parseJSON :: Value -> Parser (Message tx)

parseJSONList :: Value -> Parser [Message tx]

IsTx tx => ToJSON (Message tx) Source # 
Instance details

Defined in Hydra.Network.Message

Methods

toJSON :: Message tx -> Value

toEncoding :: Message tx -> Encoding

toJSONList :: [Message tx] -> Value

toEncodingList :: [Message tx] -> Encoding

Generic (Message tx) Source # 
Instance details

Defined in Hydra.Network.Message

Associated Types

type Rep (Message tx) :: Type -> Type Source #

Methods

from :: Message tx -> Rep (Message tx) x Source #

to :: Rep (Message tx) x -> Message tx Source #

IsTx tx => Show (Message tx) Source # 
Instance details

Defined in Hydra.Network.Message

(FromCBOR tx, FromCBOR (UTxOType tx), FromCBOR (TxIdType tx)) => FromCBOR (Message tx) Source # 
Instance details

Defined in Hydra.Network.Message

Methods

fromCBOR :: Decoder s (Message tx)

label :: Proxy (Message tx) -> Text

(ToCBOR tx, ToCBOR (UTxOType tx), ToCBOR (TxIdType tx)) => ToCBOR (Message tx) Source # 
Instance details

Defined in Hydra.Network.Message

Methods

toCBOR :: Message tx -> Encoding

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Message tx) -> Size

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Message tx] -> Size

IsTx tx => SignableRepresentation (Message tx) Source # 
Instance details

Defined in Hydra.Network.Message

IsTx tx => Eq (Message tx) Source # 
Instance details

Defined in Hydra.Network.Message

Methods

(==) :: Message tx -> Message tx -> Bool Source #

(/=) :: Message tx -> Message tx -> Bool Source #

type Rep (Message tx) Source # 
Instance details

Defined in Hydra.Network.Message

type Rep (Message tx) = D1 ('MetaData "Message" "Hydra.Network.Message" "hydra-node-0.15.0-K4KH8u1blrnL9UtrBUWVZh" 'False) (C1 ('MetaCons "ReqTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "transaction") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 tx)) :+: (C1 ('MetaCons "ReqSn" 'PrefixI 'True) (S1 ('MetaSel ('Just "snapshotNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotNumber) :*: S1 ('MetaSel ('Just "transactionIds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxIdType tx])) :+: C1 ('MetaCons "AckSn" 'PrefixI 'True) (S1 ('MetaSel ('Just "signed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Signature (Snapshot tx))) :*: S1 ('MetaSel ('Just "snapshotNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotNumber))))