Safe Haskell	Safe-Inferred
Language	Haskell2010

Hydra.Network.Message

Documentation

data Connectivity Source #

Constructors

Connected
Fields nodeId :: NodeId
Disconnected
Fields nodeId :: NodeId

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 # 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.13.0-HKlbaPrFKjs2dhEMwn7ono" '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 #

Constructors

ReqTx
Fields transaction :: tx
ReqSn
Fields snapshotNumber :: SnapshotNumber transactionIds :: [TxIdType tx]
AckSn
Fields signed :: Signature (Snapshot tx) snapshotNumber :: SnapshotNumber

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 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.13.0-HKlbaPrFKjs2dhEMwn7ono" '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))))