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]
FromJSON msg => FromJSON (NetworkEvent msg) Source #
Instance details Defined in Hydra.Network.Message Methods parseJSON :: Value -> Parser (NetworkEvent msg) parseJSONList :: Value -> Parser [NetworkEvent msg] omittedField :: Maybe (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.20.0-GJlHI5giGamBfggh7PdYBV" '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)))

newtype HydraVersionedProtocolNumber Source #

Constructors

MkHydraVersionedProtocolNumber
Fields hydraVersionedProtocolNumber :: Natural

Instances

Instances details

Arbitrary HydraVersionedProtocolNumber Source #
Instance details Defined in Hydra.Network.Message Methods arbitrary :: Gen HydraVersionedProtocolNumber shrink :: HydraVersionedProtocolNumber -> [HydraVersionedProtocolNumber]
FromJSON HydraVersionedProtocolNumber Source #
Instance details Defined in Hydra.Network.Message Methods parseJSON :: Value -> Parser HydraVersionedProtocolNumber parseJSONList :: Value -> Parser [HydraVersionedProtocolNumber] omittedField :: Maybe HydraVersionedProtocolNumber
ToJSON HydraVersionedProtocolNumber Source #
Instance details Defined in Hydra.Network.Message Methods toJSON :: HydraVersionedProtocolNumber -> Value toEncoding :: HydraVersionedProtocolNumber -> Encoding toJSONList :: [HydraVersionedProtocolNumber] -> Value toEncodingList :: [HydraVersionedProtocolNumber] -> Encoding omitField :: HydraVersionedProtocolNumber -> Bool
Generic HydraVersionedProtocolNumber Source #
Instance details Defined in Hydra.Network.Message Associated Types type Rep HydraVersionedProtocolNumber :: Type -> Type Source # Methods from :: HydraVersionedProtocolNumber -> Rep HydraVersionedProtocolNumber x Source # to :: Rep HydraVersionedProtocolNumber x -> HydraVersionedProtocolNumber Source #
Show HydraVersionedProtocolNumber Source #
Instance details Defined in Hydra.Network.Message Methods showsPrec :: Int -> HydraVersionedProtocolNumber -> ShowS Source # show :: HydraVersionedProtocolNumber -> String Source # showList :: [HydraVersionedProtocolNumber] -> ShowS Source #
Eq HydraVersionedProtocolNumber Source #
Instance details Defined in Hydra.Network.Message Methods (==) :: HydraVersionedProtocolNumber -> HydraVersionedProtocolNumber -> Bool Source # (/=) :: HydraVersionedProtocolNumber -> HydraVersionedProtocolNumber -> Bool Source #
Ord HydraVersionedProtocolNumber Source #
Instance details Defined in Hydra.Network.Message Methods compare :: HydraVersionedProtocolNumber -> HydraVersionedProtocolNumber -> Ordering Source # (<) :: HydraVersionedProtocolNumber -> HydraVersionedProtocolNumber -> Bool Source # (<=) :: HydraVersionedProtocolNumber -> HydraVersionedProtocolNumber -> Bool Source # (>) :: HydraVersionedProtocolNumber -> HydraVersionedProtocolNumber -> Bool Source # (>=) :: HydraVersionedProtocolNumber -> HydraVersionedProtocolNumber -> Bool Source # max :: HydraVersionedProtocolNumber -> HydraVersionedProtocolNumber -> HydraVersionedProtocolNumber Source # min :: HydraVersionedProtocolNumber -> HydraVersionedProtocolNumber -> HydraVersionedProtocolNumber Source #
type Rep HydraVersionedProtocolNumber Source #
Instance details Defined in Hydra.Network.Message type Rep HydraVersionedProtocolNumber = D1 ('MetaData "HydraVersionedProtocolNumber" "Hydra.Network.Message" "hydra-node-0.20.0-GJlHI5giGamBfggh7PdYBV" 'True) (C1 ('MetaCons "MkHydraVersionedProtocolNumber" 'PrefixI 'True) (S1 ('MetaSel ('Just "hydraVersionedProtocolNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

data KnownHydraVersions Source #

Constructors

KnownHydraVersions
Fields fromKnownHydraVersions :: [HydraVersionedProtocolNumber]
NoKnownHydraVersions

Instances

Instances details

Arbitrary KnownHydraVersions Source #
Instance details Defined in Hydra.Network.Message Methods arbitrary :: Gen KnownHydraVersions shrink :: KnownHydraVersions -> [KnownHydraVersions]
FromJSON KnownHydraVersions Source #
Instance details Defined in Hydra.Network.Message Methods parseJSON :: Value -> Parser KnownHydraVersions parseJSONList :: Value -> Parser [KnownHydraVersions] omittedField :: Maybe KnownHydraVersions
ToJSON KnownHydraVersions Source #
Instance details Defined in Hydra.Network.Message Methods toJSON :: KnownHydraVersions -> Value toEncoding :: KnownHydraVersions -> Encoding toJSONList :: [KnownHydraVersions] -> Value toEncodingList :: [KnownHydraVersions] -> Encoding omitField :: KnownHydraVersions -> Bool
Generic KnownHydraVersions Source #
Instance details Defined in Hydra.Network.Message Associated Types type Rep KnownHydraVersions :: Type -> Type Source # Methods from :: KnownHydraVersions -> Rep KnownHydraVersions x Source # to :: Rep KnownHydraVersions x -> KnownHydraVersions Source #
Show KnownHydraVersions Source #
Instance details Defined in Hydra.Network.Message Methods showsPrec :: Int -> KnownHydraVersions -> ShowS Source # show :: KnownHydraVersions -> String Source # showList :: [KnownHydraVersions] -> ShowS Source #
Eq KnownHydraVersions Source #
Instance details Defined in Hydra.Network.Message Methods (==) :: KnownHydraVersions -> KnownHydraVersions -> Bool Source # (/=) :: KnownHydraVersions -> KnownHydraVersions -> Bool Source #
type Rep KnownHydraVersions Source #
Instance details Defined in Hydra.Network.Message type Rep KnownHydraVersions = D1 ('MetaData "KnownHydraVersions" "Hydra.Network.Message" "hydra-node-0.20.0-GJlHI5giGamBfggh7PdYBV" 'False) (C1 ('MetaCons "KnownHydraVersions" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromKnownHydraVersions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [HydraVersionedProtocolNumber])) :+: C1 ('MetaCons "NoKnownHydraVersions" 'PrefixI 'False) (U1 :: Type -> Type))

data HydraHandshakeRefused Source #

Constructors

HydraHandshakeRefused
Fields remoteHost :: Host ourVersion :: HydraVersionedProtocolNumber theirVersions :: KnownHydraVersions

Instances

Instances details

Arbitrary HydraHandshakeRefused Source #
Instance details Defined in Hydra.Network.Message Methods arbitrary :: Gen HydraHandshakeRefused shrink :: HydraHandshakeRefused -> [HydraHandshakeRefused]
FromJSON HydraHandshakeRefused Source #
Instance details Defined in Hydra.Network.Message Methods parseJSON :: Value -> Parser HydraHandshakeRefused parseJSONList :: Value -> Parser [HydraHandshakeRefused] omittedField :: Maybe HydraHandshakeRefused
ToJSON HydraHandshakeRefused Source #
Instance details Defined in Hydra.Network.Message Methods toJSON :: HydraHandshakeRefused -> Value toEncoding :: HydraHandshakeRefused -> Encoding toJSONList :: [HydraHandshakeRefused] -> Value toEncodingList :: [HydraHandshakeRefused] -> Encoding omitField :: HydraHandshakeRefused -> Bool
Generic HydraHandshakeRefused Source #
Instance details Defined in Hydra.Network.Message Associated Types type Rep HydraHandshakeRefused :: Type -> Type Source # Methods from :: HydraHandshakeRefused -> Rep HydraHandshakeRefused x Source # to :: Rep HydraHandshakeRefused x -> HydraHandshakeRefused Source #
Show HydraHandshakeRefused Source #
Instance details Defined in Hydra.Network.Message Methods showsPrec :: Int -> HydraHandshakeRefused -> ShowS Source # show :: HydraHandshakeRefused -> String Source # showList :: [HydraHandshakeRefused] -> ShowS Source #
Eq HydraHandshakeRefused Source #
Instance details Defined in Hydra.Network.Message Methods (==) :: HydraHandshakeRefused -> HydraHandshakeRefused -> Bool Source # (/=) :: HydraHandshakeRefused -> HydraHandshakeRefused -> Bool Source #
type Rep HydraHandshakeRefused Source #
Instance details Defined in Hydra.Network.Message type Rep HydraHandshakeRefused = D1 ('MetaData "HydraHandshakeRefused" "Hydra.Network.Message" "hydra-node-0.20.0-GJlHI5giGamBfggh7PdYBV" 'False) (C1 ('MetaCons "HydraHandshakeRefused" 'PrefixI 'True) (S1 ('MetaSel ('Just "remoteHost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Host) :: (S1 ('MetaSel ('Just "ourVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HydraVersionedProtocolNumber) :: S1 ('MetaSel ('Just "theirVersions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 KnownHydraVersions))))

data Connectivity Source #

Constructors

Connected
Fields nodeId :: NodeId
Disconnected
Fields nodeId :: NodeId
HandshakeFailure
Fields remoteHost :: Host ourVersion :: HydraVersionedProtocolNumber theirVersions :: KnownHydraVersions

Instances

Instances details

Arbitrary Connectivity Source #
Instance details Defined in Hydra.Network.Message Methods arbitrary :: Gen Connectivity shrink :: Connectivity -> [Connectivity]
FromJSON Connectivity Source #
Instance details Defined in Hydra.Network.Message Methods parseJSON :: Value -> Parser Connectivity parseJSONList :: Value -> Parser [Connectivity] omittedField :: Maybe Connectivity
ToJSON Connectivity Source #
Instance details Defined in Hydra.Network.Message Methods toJSON :: Connectivity -> Value toEncoding :: Connectivity -> Encoding toJSONList :: [Connectivity] -> Value toEncodingList :: [Connectivity] -> Encoding omitField :: Connectivity -> Bool
Generic Connectivity Source #
Instance details Defined in Hydra.Network.Message Associated Types type Rep Connectivity :: Type -> Type Source # Methods from :: Connectivity -> Rep Connectivity x Source # to :: Rep Connectivity x -> Connectivity Source #
Show Connectivity Source #
Instance details Defined in Hydra.Network.Message Methods showsPrec :: Int -> Connectivity -> ShowS Source # show :: Connectivity -> String Source # showList :: [Connectivity] -> ShowS Source #
Eq Connectivity Source #
Instance details Defined in Hydra.Network.Message Methods (==) :: Connectivity -> Connectivity -> Bool Source # (/=) :: Connectivity -> Connectivity -> Bool Source #
type Rep Connectivity Source #
Instance details Defined in Hydra.Network.Message type Rep Connectivity = D1 ('MetaData "Connectivity" "Hydra.Network.Message" "hydra-node-0.20.0-GJlHI5giGamBfggh7PdYBV" '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)) :+: C1 ('MetaCons "HandshakeFailure" 'PrefixI 'True) (S1 ('MetaSel ('Just "remoteHost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Host) :: (S1 ('MetaSel ('Just "ourVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HydraVersionedProtocolNumber) :: S1 ('MetaSel ('Just "theirVersions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 KnownHydraVersions)))))

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.20.0-GJlHI5giGamBfggh7PdYBV" '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))))