Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Network.Message

Documentation

data NetworkEvent msg Source #

Constructors

ConnectivityEvent Connectivity
ReceivedMessage
Fields sender :: Party msg :: msg

Instances

Instances details

Arbitrary msg => Arbitrary (NetworkEvent msg) Source #
Instance details Defined in Hydra.Network.Message Methods arbitrary :: Gen (NetworkEvent msg) shrink :: NetworkEvent msg -> [NetworkEvent msg]
ToJSON msg => ToJSON (NetworkEvent msg) Source #
Instance details Defined in Hydra.Network.Message Methods toJSON :: NetworkEvent msg -> Value toEncoding :: NetworkEvent msg -> Encoding toJSONList :: [NetworkEvent msg] -> Value toEncodingList :: [NetworkEvent msg] -> Encoding omitField :: NetworkEvent msg -> Bool
Generic (NetworkEvent msg) Source #
Instance details Defined in Hydra.Network.Message Associated Types type Rep (NetworkEvent msg) :: Type -> Type Source # Methods from :: NetworkEvent msg -> Rep (NetworkEvent msg) x Source # to :: Rep (NetworkEvent msg) x -> NetworkEvent msg Source #
Show msg => Show (NetworkEvent msg) Source #
Instance details Defined in Hydra.Network.Message Methods showsPrec :: Int -> NetworkEvent msg -> ShowS Source # show :: NetworkEvent msg -> String Source # showList :: [NetworkEvent msg] -> ShowS Source #
Eq msg => Eq (NetworkEvent msg) Source #
Instance details Defined in Hydra.Network.Message Methods (==) :: NetworkEvent msg -> NetworkEvent msg -> Bool Source # (/=) :: NetworkEvent msg -> NetworkEvent msg -> Bool Source #
type Rep (NetworkEvent msg) Source #
Instance details Defined in Hydra.Network.Message type Rep (NetworkEvent msg) = D1 ('MetaData "NetworkEvent" "Hydra.Network.Message" "hydra-node-0.21.0-4ibc00B6CCmF4EmjGjxvGm" 'False) (C1 ('MetaCons "ConnectivityEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Connectivity)) :+: C1 ('MetaCons "ReceivedMessage" 'PrefixI 'True) (S1 ('MetaSel ('Just "sender") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Party) :*: S1 ('MetaSel ('Just "msg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 msg)))

data Message tx Source #

Constructors

ReqTx
Fields transaction :: tx
ReqSn
Fields snapshotVersion :: SnapshotVersion snapshotNumber :: SnapshotNumber transactionIds :: [TxIdType tx] decommitTx :: Maybe tx incrementUTxO :: Maybe (UTxOType tx)
AckSn
Fields signed :: Signature (Snapshot tx) snapshotNumber :: SnapshotNumber
ReqDec
Fields transaction :: tx

Instances

Instances details

ArbitraryIsTx 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] omittedField :: Maybe (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 omitField :: Message tx -> Bool
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 Methods showsPrec :: Int -> Message tx -> ShowS Source # show :: Message tx -> String Source # showList :: [Message tx] -> ShowS Source #
(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 Methods getSignableRepresentation :: Message tx -> ByteString
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.21.0-4ibc00B6CCmF4EmjGjxvGm" 'False) ((C1 ('MetaCons "ReqTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "transaction") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 tx)) :+: C1 ('MetaCons "ReqSn" 'PrefixI 'True) ((S1 ('MetaSel ('Just "snapshotVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotVersion) :: S1 ('MetaSel ('Just "snapshotNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotNumber)) :: (S1 ('MetaSel ('Just "transactionIds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxIdType tx]) :: (S1 ('MetaSel ('Just "decommitTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe tx)) :: S1 ('MetaSel ('Just "incrementUTxO") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (UTxOType 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)) :+: C1 ('MetaCons "ReqDec" 'PrefixI 'True) (S1 ('MetaSel ('Just "transaction") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 tx))))