ppad-bolt2-0.0.1: Peer protocol per BOLT #2
Copyright(c) 2025 Jared Tobin
LicenseMIT
MaintainerJared Tobin <jared@ppad.tech>
Safe HaskellNone
LanguageHaskell2010

Lightning.Protocol.BOLT2.Messages

Description

Message types for BOLT #2 peer protocol.

This module defines per-message record types and a top-level Message sum type for all BOLT #2 messages.

Synopsis

Message type codes

data MsgType Source #

BOLT #2 message type codes.

Instances

Instances details
NFData MsgType Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: MsgType -> () #

Generic MsgType Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep MsgType 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep MsgType = D1 ('MetaData "MsgType" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) ((((C1 ('MetaCons "MsgStfu" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MsgOpenChannel" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgAcceptChannel" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "MsgFundingCreated" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgFundingSigned" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MsgChannelReady" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgShutdown" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "MsgClosingSigned" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MsgClosingComplete" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgClosingSig" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "MsgOpenChannel2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgAcceptChannel2" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MsgTxAddInput" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgTxAddOutput" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "MsgTxRemoveInput" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MsgTxRemoveOutput" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgTxComplete" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "MsgTxSignatures" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgTxInitRbf" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MsgTxAckRbf" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgTxAbort" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "MsgUpdateAddHtlc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgUpdateFulfillHtlc" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MsgUpdateFailHtlc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgCommitmentSigned" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "MsgRevokeAndAck" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgUpdateFee" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MsgUpdateFailMalformedHtlc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgChannelReestablish" 'PrefixI 'False) (U1 :: Type -> Type))))))

Methods

from :: MsgType -> Rep MsgType x #

to :: Rep MsgType x -> MsgType #

Show MsgType Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq MsgType Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

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

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

Ord MsgType Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep MsgType Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep MsgType = D1 ('MetaData "MsgType" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) ((((C1 ('MetaCons "MsgStfu" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MsgOpenChannel" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgAcceptChannel" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "MsgFundingCreated" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgFundingSigned" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MsgChannelReady" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgShutdown" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "MsgClosingSigned" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MsgClosingComplete" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgClosingSig" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "MsgOpenChannel2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgAcceptChannel2" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MsgTxAddInput" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgTxAddOutput" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "MsgTxRemoveInput" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MsgTxRemoveOutput" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgTxComplete" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "MsgTxSignatures" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgTxInitRbf" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MsgTxAckRbf" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgTxAbort" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "MsgUpdateAddHtlc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgUpdateFulfillHtlc" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MsgUpdateFailHtlc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgCommitmentSigned" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "MsgRevokeAndAck" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgUpdateFee" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MsgUpdateFailMalformedHtlc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MsgChannelReestablish" 'PrefixI 'False) (U1 :: Type -> Type))))))

msgTypeWord :: MsgType -> Word16 Source #

Get the numeric type code for a message type.

Top-level message type

data Message Source #

All BOLT #2 messages.

Instances

Instances details
NFData Message Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: Message -> () #

Generic Message Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep Message 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep Message = D1 ('MetaData "Message" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) ((((C1 ('MetaCons "MsgOpenChannelVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OpenChannel)) :+: (C1 ('MetaCons "MsgAcceptChannelVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AcceptChannel)) :+: C1 ('MetaCons "MsgFundingCreatedVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FundingCreated)))) :+: ((C1 ('MetaCons "MsgFundingSignedVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FundingSigned)) :+: C1 ('MetaCons "MsgChannelReadyVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelReady))) :+: (C1 ('MetaCons "MsgOpenChannel2Val" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OpenChannel2)) :+: C1 ('MetaCons "MsgAcceptChannel2Val" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AcceptChannel2))))) :+: ((C1 ('MetaCons "MsgTxAddInputVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxAddInput)) :+: (C1 ('MetaCons "MsgTxAddOutputVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxAddOutput)) :+: C1 ('MetaCons "MsgTxRemoveInputVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxRemoveInput)))) :+: ((C1 ('MetaCons "MsgTxRemoveOutputVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxRemoveOutput)) :+: C1 ('MetaCons "MsgTxCompleteVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxComplete))) :+: (C1 ('MetaCons "MsgTxSignaturesVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxSignatures)) :+: C1 ('MetaCons "MsgTxInitRbfVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxInitRbf)))))) :+: (((C1 ('MetaCons "MsgTxAckRbfVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxAckRbf)) :+: (C1 ('MetaCons "MsgTxAbortVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxAbort)) :+: C1 ('MetaCons "MsgStfuVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Stfu)))) :+: ((C1 ('MetaCons "MsgShutdownVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Shutdown)) :+: C1 ('MetaCons "MsgClosingSignedVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ClosingSigned))) :+: (C1 ('MetaCons "MsgClosingCompleteVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ClosingComplete)) :+: C1 ('MetaCons "MsgClosingSigVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ClosingSig))))) :+: (((C1 ('MetaCons "MsgUpdateAddHtlcVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UpdateAddHtlc)) :+: C1 ('MetaCons "MsgUpdateFulfillHtlcVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UpdateFulfillHtlc))) :+: (C1 ('MetaCons "MsgUpdateFailHtlcVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UpdateFailHtlc)) :+: C1 ('MetaCons "MsgUpdateFailMalformedHtlcVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UpdateFailMalformedHtlc)))) :+: ((C1 ('MetaCons "MsgCommitmentSignedVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CommitmentSigned)) :+: C1 ('MetaCons "MsgRevokeAndAckVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RevokeAndAck))) :+: (C1 ('MetaCons "MsgUpdateFeeVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UpdateFee)) :+: C1 ('MetaCons "MsgChannelReestablishVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelReestablish)))))))

Methods

from :: Message -> Rep Message x #

to :: Rep Message x -> Message #

Show Message Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq Message Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

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

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

type Rep Message Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep Message = D1 ('MetaData "Message" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) ((((C1 ('MetaCons "MsgOpenChannelVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OpenChannel)) :+: (C1 ('MetaCons "MsgAcceptChannelVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AcceptChannel)) :+: C1 ('MetaCons "MsgFundingCreatedVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FundingCreated)))) :+: ((C1 ('MetaCons "MsgFundingSignedVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FundingSigned)) :+: C1 ('MetaCons "MsgChannelReadyVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelReady))) :+: (C1 ('MetaCons "MsgOpenChannel2Val" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OpenChannel2)) :+: C1 ('MetaCons "MsgAcceptChannel2Val" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AcceptChannel2))))) :+: ((C1 ('MetaCons "MsgTxAddInputVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxAddInput)) :+: (C1 ('MetaCons "MsgTxAddOutputVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxAddOutput)) :+: C1 ('MetaCons "MsgTxRemoveInputVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxRemoveInput)))) :+: ((C1 ('MetaCons "MsgTxRemoveOutputVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxRemoveOutput)) :+: C1 ('MetaCons "MsgTxCompleteVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxComplete))) :+: (C1 ('MetaCons "MsgTxSignaturesVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxSignatures)) :+: C1 ('MetaCons "MsgTxInitRbfVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxInitRbf)))))) :+: (((C1 ('MetaCons "MsgTxAckRbfVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxAckRbf)) :+: (C1 ('MetaCons "MsgTxAbortVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxAbort)) :+: C1 ('MetaCons "MsgStfuVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Stfu)))) :+: ((C1 ('MetaCons "MsgShutdownVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Shutdown)) :+: C1 ('MetaCons "MsgClosingSignedVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ClosingSigned))) :+: (C1 ('MetaCons "MsgClosingCompleteVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ClosingComplete)) :+: C1 ('MetaCons "MsgClosingSigVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ClosingSig))))) :+: (((C1 ('MetaCons "MsgUpdateAddHtlcVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UpdateAddHtlc)) :+: C1 ('MetaCons "MsgUpdateFulfillHtlcVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UpdateFulfillHtlc))) :+: (C1 ('MetaCons "MsgUpdateFailHtlcVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UpdateFailHtlc)) :+: C1 ('MetaCons "MsgUpdateFailMalformedHtlcVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UpdateFailMalformedHtlc)))) :+: ((C1 ('MetaCons "MsgCommitmentSignedVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CommitmentSigned)) :+: C1 ('MetaCons "MsgRevokeAndAckVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RevokeAndAck))) :+: (C1 ('MetaCons "MsgUpdateFeeVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UpdateFee)) :+: C1 ('MetaCons "MsgChannelReestablishVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelReestablish)))))))

Channel establishment v1

data OpenChannel Source #

The open_channel message (type 32).

Contains information about a node and indicates its desire to set up a new channel.

Instances

Instances details
NFData OpenChannel Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: OpenChannel -> () #

Generic OpenChannel Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep OpenChannel 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep OpenChannel = D1 ('MetaData "OpenChannel" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "OpenChannel" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "openChannelChainHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainHash) :*: S1 ('MetaSel ('Just "openChannelTempChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId)) :*: (S1 ('MetaSel ('Just "openChannelFundingSatoshis") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis) :*: S1 ('MetaSel ('Just "openChannelPushMsat") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 MilliSatoshis))) :*: ((S1 ('MetaSel ('Just "openChannelDustLimitSatoshis") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis) :*: S1 ('MetaSel ('Just "openChannelMaxHtlcValueInFlight") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 MilliSatoshis)) :*: (S1 ('MetaSel ('Just "openChannelChannelReserveSat") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis) :*: (S1 ('MetaSel ('Just "openChannelHtlcMinimumMsat") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 MilliSatoshis) :*: S1 ('MetaSel ('Just "openChannelFeeratePerKw") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32))))) :*: (((S1 ('MetaSel ('Just "openChannelToSelfDelay") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16) :*: S1 ('MetaSel ('Just "openChannelMaxAcceptedHtlcs") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16)) :*: (S1 ('MetaSel ('Just "openChannelFundingPubkey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: (S1 ('MetaSel ('Just "openChannelRevocationBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "openChannelPaymentBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point)))) :*: ((S1 ('MetaSel ('Just "openChannelDelayedPaymentBase") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "openChannelHtlcBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point)) :*: (S1 ('MetaSel ('Just "openChannelFirstPerCommitPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: (S1 ('MetaSel ('Just "openChannelChannelFlags") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word8) :*: S1 ('MetaSel ('Just "openChannelTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream)))))))
Show OpenChannel Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq OpenChannel Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep OpenChannel Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep OpenChannel = D1 ('MetaData "OpenChannel" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "OpenChannel" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "openChannelChainHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainHash) :*: S1 ('MetaSel ('Just "openChannelTempChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId)) :*: (S1 ('MetaSel ('Just "openChannelFundingSatoshis") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis) :*: S1 ('MetaSel ('Just "openChannelPushMsat") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 MilliSatoshis))) :*: ((S1 ('MetaSel ('Just "openChannelDustLimitSatoshis") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis) :*: S1 ('MetaSel ('Just "openChannelMaxHtlcValueInFlight") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 MilliSatoshis)) :*: (S1 ('MetaSel ('Just "openChannelChannelReserveSat") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis) :*: (S1 ('MetaSel ('Just "openChannelHtlcMinimumMsat") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 MilliSatoshis) :*: S1 ('MetaSel ('Just "openChannelFeeratePerKw") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32))))) :*: (((S1 ('MetaSel ('Just "openChannelToSelfDelay") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16) :*: S1 ('MetaSel ('Just "openChannelMaxAcceptedHtlcs") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16)) :*: (S1 ('MetaSel ('Just "openChannelFundingPubkey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: (S1 ('MetaSel ('Just "openChannelRevocationBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "openChannelPaymentBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point)))) :*: ((S1 ('MetaSel ('Just "openChannelDelayedPaymentBase") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "openChannelHtlcBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point)) :*: (S1 ('MetaSel ('Just "openChannelFirstPerCommitPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: (S1 ('MetaSel ('Just "openChannelChannelFlags") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word8) :*: S1 ('MetaSel ('Just "openChannelTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream)))))))

data AcceptChannel Source #

The accept_channel message (type 33).

Contains information about a node and indicates its acceptance of the new channel.

Instances

Instances details
NFData AcceptChannel Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: AcceptChannel -> () #

Generic AcceptChannel Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep AcceptChannel 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep AcceptChannel = D1 ('MetaData "AcceptChannel" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "AcceptChannel" 'PrefixI 'True) (((S1 ('MetaSel ('Just "acceptChannelTempChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: (S1 ('MetaSel ('Just "acceptChannelDustLimitSatoshis") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis) :*: S1 ('MetaSel ('Just "acceptChannelMaxHtlcValueInFlight") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 MilliSatoshis))) :*: ((S1 ('MetaSel ('Just "acceptChannelChannelReserveSat") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis) :*: S1 ('MetaSel ('Just "acceptChannelHtlcMinimumMsat") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 MilliSatoshis)) :*: (S1 ('MetaSel ('Just "acceptChannelMinimumDepth") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "acceptChannelToSelfDelay") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16)))) :*: (((S1 ('MetaSel ('Just "acceptChannelMaxAcceptedHtlcs") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16) :*: S1 ('MetaSel ('Just "acceptChannelFundingPubkey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point)) :*: (S1 ('MetaSel ('Just "acceptChannelRevocationBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "acceptChannelPaymentBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point))) :*: ((S1 ('MetaSel ('Just "acceptChannelDelayedPaymentBase") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "acceptChannelHtlcBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point)) :*: (S1 ('MetaSel ('Just "acceptChannelFirstPerCommitPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "acceptChannelTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream))))))
Show AcceptChannel Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq AcceptChannel Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep AcceptChannel Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep AcceptChannel = D1 ('MetaData "AcceptChannel" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "AcceptChannel" 'PrefixI 'True) (((S1 ('MetaSel ('Just "acceptChannelTempChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: (S1 ('MetaSel ('Just "acceptChannelDustLimitSatoshis") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis) :*: S1 ('MetaSel ('Just "acceptChannelMaxHtlcValueInFlight") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 MilliSatoshis))) :*: ((S1 ('MetaSel ('Just "acceptChannelChannelReserveSat") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis) :*: S1 ('MetaSel ('Just "acceptChannelHtlcMinimumMsat") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 MilliSatoshis)) :*: (S1 ('MetaSel ('Just "acceptChannelMinimumDepth") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "acceptChannelToSelfDelay") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16)))) :*: (((S1 ('MetaSel ('Just "acceptChannelMaxAcceptedHtlcs") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16) :*: S1 ('MetaSel ('Just "acceptChannelFundingPubkey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point)) :*: (S1 ('MetaSel ('Just "acceptChannelRevocationBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "acceptChannelPaymentBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point))) :*: ((S1 ('MetaSel ('Just "acceptChannelDelayedPaymentBase") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "acceptChannelHtlcBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point)) :*: (S1 ('MetaSel ('Just "acceptChannelFirstPerCommitPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "acceptChannelTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream))))))

data FundingCreated Source #

The funding_created message (type 34).

Describes the outpoint which the funder has created for the initial commitment transactions.

Instances

Instances details
NFData FundingCreated Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: FundingCreated -> () #

Generic FundingCreated Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep FundingCreated 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep FundingCreated = D1 ('MetaData "FundingCreated" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "FundingCreated" 'PrefixI 'True) ((S1 ('MetaSel ('Just "fundingCreatedTempChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "fundingCreatedFundingTxid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId)) :*: (S1 ('MetaSel ('Just "fundingCreatedFundingOutIdx") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16) :*: S1 ('MetaSel ('Just "fundingCreatedSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Signature))))
Show FundingCreated Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq FundingCreated Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep FundingCreated Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep FundingCreated = D1 ('MetaData "FundingCreated" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "FundingCreated" 'PrefixI 'True) ((S1 ('MetaSel ('Just "fundingCreatedTempChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "fundingCreatedFundingTxid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId)) :*: (S1 ('MetaSel ('Just "fundingCreatedFundingOutIdx") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16) :*: S1 ('MetaSel ('Just "fundingCreatedSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Signature))))

data FundingSigned Source #

The funding_signed message (type 35).

Gives the funder the signature for the first commitment transaction.

Instances

Instances details
NFData FundingSigned Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: FundingSigned -> () #

Generic FundingSigned Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep FundingSigned 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep FundingSigned = D1 ('MetaData "FundingSigned" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "FundingSigned" 'PrefixI 'True) (S1 ('MetaSel ('Just "fundingSignedChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "fundingSignedSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Signature)))
Show FundingSigned Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq FundingSigned Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep FundingSigned Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep FundingSigned = D1 ('MetaData "FundingSigned" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "FundingSigned" 'PrefixI 'True) (S1 ('MetaSel ('Just "fundingSignedChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "fundingSignedSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Signature)))

data ChannelReady Source #

The channel_ready message (type 36).

Indicates that the funding transaction has sufficient confirms for channel use.

Instances

Instances details
NFData ChannelReady Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: ChannelReady -> () #

Generic ChannelReady Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep ChannelReady 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep ChannelReady = D1 ('MetaData "ChannelReady" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "ChannelReady" 'PrefixI 'True) (S1 ('MetaSel ('Just "channelReadyChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: (S1 ('MetaSel ('Just "channelReadySecondPerCommitPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "channelReadyTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream))))
Show ChannelReady Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq ChannelReady Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep ChannelReady Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep ChannelReady = D1 ('MetaData "ChannelReady" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "ChannelReady" 'PrefixI 'True) (S1 ('MetaSel ('Just "channelReadyChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: (S1 ('MetaSel ('Just "channelReadySecondPerCommitPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "channelReadyTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream))))

Channel establishment v2

data OpenChannel2 Source #

The open_channel2 message (type 64).

Initiates the v2 channel establishment workflow.

Instances

Instances details
NFData OpenChannel2 Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: OpenChannel2 -> () #

Generic OpenChannel2 Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep OpenChannel2 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep OpenChannel2 = D1 ('MetaData "OpenChannel2" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "OpenChannel2" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "openChannel2ChainHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainHash) :*: S1 ('MetaSel ('Just "openChannel2TempChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId)) :*: (S1 ('MetaSel ('Just "openChannel2FundingFeeratePerkw") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: (S1 ('MetaSel ('Just "openChannel2CommitFeeratePerkw") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "openChannel2FundingSatoshis") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis)))) :*: ((S1 ('MetaSel ('Just "openChannel2DustLimitSatoshis") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis) :*: S1 ('MetaSel ('Just "openChannel2MaxHtlcValueInFlight") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 MilliSatoshis)) :*: (S1 ('MetaSel ('Just "openChannel2HtlcMinimumMsat") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 MilliSatoshis) :*: (S1 ('MetaSel ('Just "openChannel2ToSelfDelay") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16) :*: S1 ('MetaSel ('Just "openChannel2MaxAcceptedHtlcs") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16))))) :*: (((S1 ('MetaSel ('Just "openChannel2Locktime") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "openChannel2FundingPubkey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point)) :*: (S1 ('MetaSel ('Just "openChannel2RevocationBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: (S1 ('MetaSel ('Just "openChannel2PaymentBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "openChannel2DelayedPaymentBase") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point)))) :*: ((S1 ('MetaSel ('Just "openChannel2HtlcBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "openChannel2FirstPerCommitPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point)) :*: (S1 ('MetaSel ('Just "openChannel2SecondPerCommitPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: (S1 ('MetaSel ('Just "openChannel2ChannelFlags") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word8) :*: S1 ('MetaSel ('Just "openChannel2Tlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream)))))))
Show OpenChannel2 Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq OpenChannel2 Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep OpenChannel2 Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep OpenChannel2 = D1 ('MetaData "OpenChannel2" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "OpenChannel2" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "openChannel2ChainHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainHash) :*: S1 ('MetaSel ('Just "openChannel2TempChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId)) :*: (S1 ('MetaSel ('Just "openChannel2FundingFeeratePerkw") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: (S1 ('MetaSel ('Just "openChannel2CommitFeeratePerkw") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "openChannel2FundingSatoshis") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis)))) :*: ((S1 ('MetaSel ('Just "openChannel2DustLimitSatoshis") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis) :*: S1 ('MetaSel ('Just "openChannel2MaxHtlcValueInFlight") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 MilliSatoshis)) :*: (S1 ('MetaSel ('Just "openChannel2HtlcMinimumMsat") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 MilliSatoshis) :*: (S1 ('MetaSel ('Just "openChannel2ToSelfDelay") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16) :*: S1 ('MetaSel ('Just "openChannel2MaxAcceptedHtlcs") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16))))) :*: (((S1 ('MetaSel ('Just "openChannel2Locktime") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "openChannel2FundingPubkey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point)) :*: (S1 ('MetaSel ('Just "openChannel2RevocationBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: (S1 ('MetaSel ('Just "openChannel2PaymentBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "openChannel2DelayedPaymentBase") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point)))) :*: ((S1 ('MetaSel ('Just "openChannel2HtlcBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "openChannel2FirstPerCommitPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point)) :*: (S1 ('MetaSel ('Just "openChannel2SecondPerCommitPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: (S1 ('MetaSel ('Just "openChannel2ChannelFlags") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word8) :*: S1 ('MetaSel ('Just "openChannel2Tlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream)))))))

data AcceptChannel2 Source #

The accept_channel2 message (type 65).

Indicates acceptance of the v2 channel.

Instances

Instances details
NFData AcceptChannel2 Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: AcceptChannel2 -> () #

Generic AcceptChannel2 Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep AcceptChannel2 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep AcceptChannel2 = D1 ('MetaData "AcceptChannel2" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "AcceptChannel2" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "acceptChannel2TempChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "acceptChannel2FundingSatoshis") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis)) :*: (S1 ('MetaSel ('Just "acceptChannel2DustLimitSatoshis") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis) :*: S1 ('MetaSel ('Just "acceptChannel2MaxHtlcValueInFlight") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 MilliSatoshis))) :*: ((S1 ('MetaSel ('Just "acceptChannel2HtlcMinimumMsat") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 MilliSatoshis) :*: S1 ('MetaSel ('Just "acceptChannel2MinimumDepth") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32)) :*: (S1 ('MetaSel ('Just "acceptChannel2ToSelfDelay") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16) :*: S1 ('MetaSel ('Just "acceptChannel2MaxAcceptedHtlcs") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16)))) :*: (((S1 ('MetaSel ('Just "acceptChannel2FundingPubkey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "acceptChannel2RevocationBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point)) :*: (S1 ('MetaSel ('Just "acceptChannel2PaymentBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "acceptChannel2DelayedPaymentBase") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point))) :*: ((S1 ('MetaSel ('Just "acceptChannel2HtlcBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "acceptChannel2FirstPerCommitPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point)) :*: (S1 ('MetaSel ('Just "acceptChannel2SecondPerCommitPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "acceptChannel2Tlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream))))))
Show AcceptChannel2 Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq AcceptChannel2 Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep AcceptChannel2 Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep AcceptChannel2 = D1 ('MetaData "AcceptChannel2" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "AcceptChannel2" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "acceptChannel2TempChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "acceptChannel2FundingSatoshis") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis)) :*: (S1 ('MetaSel ('Just "acceptChannel2DustLimitSatoshis") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis) :*: S1 ('MetaSel ('Just "acceptChannel2MaxHtlcValueInFlight") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 MilliSatoshis))) :*: ((S1 ('MetaSel ('Just "acceptChannel2HtlcMinimumMsat") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 MilliSatoshis) :*: S1 ('MetaSel ('Just "acceptChannel2MinimumDepth") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32)) :*: (S1 ('MetaSel ('Just "acceptChannel2ToSelfDelay") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16) :*: S1 ('MetaSel ('Just "acceptChannel2MaxAcceptedHtlcs") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16)))) :*: (((S1 ('MetaSel ('Just "acceptChannel2FundingPubkey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "acceptChannel2RevocationBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point)) :*: (S1 ('MetaSel ('Just "acceptChannel2PaymentBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "acceptChannel2DelayedPaymentBase") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point))) :*: ((S1 ('MetaSel ('Just "acceptChannel2HtlcBasepoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "acceptChannel2FirstPerCommitPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point)) :*: (S1 ('MetaSel ('Just "acceptChannel2SecondPerCommitPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "acceptChannel2Tlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream))))))

data TxAddInput Source #

The tx_add_input message (type 66).

Adds a transaction input to the collaborative transaction.

Instances

Instances details
NFData TxAddInput Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: TxAddInput -> () #

Generic TxAddInput Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep TxAddInput 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxAddInput = D1 ('MetaData "TxAddInput" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "TxAddInput" 'PrefixI 'True) ((S1 ('MetaSel ('Just "txAddInputChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "txAddInputSerialId") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Just "txAddInputPrevTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :*: (S1 ('MetaSel ('Just "txAddInputPrevVout") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "txAddInputSequence") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32)))))
Show TxAddInput Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq TxAddInput Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxAddInput Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxAddInput = D1 ('MetaData "TxAddInput" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "TxAddInput" 'PrefixI 'True) ((S1 ('MetaSel ('Just "txAddInputChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "txAddInputSerialId") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Just "txAddInputPrevTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :*: (S1 ('MetaSel ('Just "txAddInputPrevVout") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "txAddInputSequence") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32)))))

data TxAddOutput Source #

The tx_add_output message (type 67).

Adds a transaction output to the collaborative transaction.

Instances

Instances details
NFData TxAddOutput Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: TxAddOutput -> () #

Generic TxAddOutput Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep TxAddOutput 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxAddOutput = D1 ('MetaData "TxAddOutput" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "TxAddOutput" 'PrefixI 'True) ((S1 ('MetaSel ('Just "txAddOutputChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "txAddOutputSerialId") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Just "txAddOutputSats") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis) :*: S1 ('MetaSel ('Just "txAddOutputScript") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptPubKey))))
Show TxAddOutput Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq TxAddOutput Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxAddOutput Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxAddOutput = D1 ('MetaData "TxAddOutput" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "TxAddOutput" 'PrefixI 'True) ((S1 ('MetaSel ('Just "txAddOutputChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "txAddOutputSerialId") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Just "txAddOutputSats") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis) :*: S1 ('MetaSel ('Just "txAddOutputScript") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptPubKey))))

data TxRemoveInput Source #

The tx_remove_input message (type 68).

Removes a previously added input from the collaborative transaction.

Instances

Instances details
NFData TxRemoveInput Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: TxRemoveInput -> () #

Generic TxRemoveInput Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep TxRemoveInput 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxRemoveInput = D1 ('MetaData "TxRemoveInput" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "TxRemoveInput" 'PrefixI 'True) (S1 ('MetaSel ('Just "txRemoveInputChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "txRemoveInputSerialId") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)))
Show TxRemoveInput Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq TxRemoveInput Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxRemoveInput Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxRemoveInput = D1 ('MetaData "TxRemoveInput" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "TxRemoveInput" 'PrefixI 'True) (S1 ('MetaSel ('Just "txRemoveInputChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "txRemoveInputSerialId") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)))

data TxRemoveOutput Source #

The tx_remove_output message (type 69).

Removes a previously added output from the collaborative transaction.

Instances

Instances details
NFData TxRemoveOutput Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: TxRemoveOutput -> () #

Generic TxRemoveOutput Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep TxRemoveOutput 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxRemoveOutput = D1 ('MetaData "TxRemoveOutput" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "TxRemoveOutput" 'PrefixI 'True) (S1 ('MetaSel ('Just "txRemoveOutputChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "txRemoveOutputSerialId") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)))
Show TxRemoveOutput Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq TxRemoveOutput Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxRemoveOutput Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxRemoveOutput = D1 ('MetaData "TxRemoveOutput" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "TxRemoveOutput" 'PrefixI 'True) (S1 ('MetaSel ('Just "txRemoveOutputChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "txRemoveOutputSerialId") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)))

data TxComplete Source #

The tx_complete message (type 70).

Signals the conclusion of a peer's transaction contributions.

Constructors

TxComplete 

Instances

Instances details
NFData TxComplete Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: TxComplete -> () #

Generic TxComplete Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep TxComplete 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxComplete = D1 ('MetaData "TxComplete" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "TxComplete" 'PrefixI 'True) (S1 ('MetaSel ('Just "txCompleteChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId)))
Show TxComplete Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq TxComplete Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxComplete Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxComplete = D1 ('MetaData "TxComplete" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "TxComplete" 'PrefixI 'True) (S1 ('MetaSel ('Just "txCompleteChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId)))

data TxSignatures Source #

The tx_signatures message (type 71).

Contains signatures for the collaborative transaction.

Instances

Instances details
NFData TxSignatures Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: TxSignatures -> () #

Generic TxSignatures Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep TxSignatures 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxSignatures = D1 ('MetaData "TxSignatures" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "TxSignatures" 'PrefixI 'True) (S1 ('MetaSel ('Just "txSignaturesChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: (S1 ('MetaSel ('Just "txSignaturesTxid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Just "txSignaturesWitnesses") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Witness]))))
Show TxSignatures Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq TxSignatures Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxSignatures Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxSignatures = D1 ('MetaData "TxSignatures" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "TxSignatures" 'PrefixI 'True) (S1 ('MetaSel ('Just "txSignaturesChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: (S1 ('MetaSel ('Just "txSignaturesTxid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Just "txSignaturesWitnesses") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Witness]))))

data TxInitRbf Source #

The tx_init_rbf message (type 72).

Initiates a replacement of the transaction after it's been completed.

Instances

Instances details
NFData TxInitRbf Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: TxInitRbf -> () #

Generic TxInitRbf Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep TxInitRbf 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxInitRbf = D1 ('MetaData "TxInitRbf" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "TxInitRbf" 'PrefixI 'True) ((S1 ('MetaSel ('Just "txInitRbfChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "txInitRbfLocktime") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32)) :*: (S1 ('MetaSel ('Just "txInitRbfFeerate") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "txInitRbfTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream))))
Show TxInitRbf Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq TxInitRbf Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxInitRbf Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxInitRbf = D1 ('MetaData "TxInitRbf" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "TxInitRbf" 'PrefixI 'True) ((S1 ('MetaSel ('Just "txInitRbfChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "txInitRbfLocktime") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32)) :*: (S1 ('MetaSel ('Just "txInitRbfFeerate") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "txInitRbfTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream))))

data TxAckRbf Source #

The tx_ack_rbf message (type 73).

Acknowledges an RBF attempt.

Instances

Instances details
NFData TxAckRbf Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: TxAckRbf -> () #

Generic TxAckRbf Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep TxAckRbf 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxAckRbf = D1 ('MetaData "TxAckRbf" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "TxAckRbf" 'PrefixI 'True) (S1 ('MetaSel ('Just "txAckRbfChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "txAckRbfTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream)))

Methods

from :: TxAckRbf -> Rep TxAckRbf x #

to :: Rep TxAckRbf x -> TxAckRbf #

Show TxAckRbf Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq TxAckRbf Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxAckRbf Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxAckRbf = D1 ('MetaData "TxAckRbf" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "TxAckRbf" 'PrefixI 'True) (S1 ('MetaSel ('Just "txAckRbfChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "txAckRbfTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream)))

data TxAbort Source #

The tx_abort message (type 74).

Aborts the collaborative transaction negotiation.

Instances

Instances details
NFData TxAbort Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: TxAbort -> () #

Generic TxAbort Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep TxAbort 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxAbort = D1 ('MetaData "TxAbort" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "TxAbort" 'PrefixI 'True) (S1 ('MetaSel ('Just "txAbortChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "txAbortData") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)))

Methods

from :: TxAbort -> Rep TxAbort x #

to :: Rep TxAbort x -> TxAbort #

Show TxAbort Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq TxAbort Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

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

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

type Rep TxAbort Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep TxAbort = D1 ('MetaData "TxAbort" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "TxAbort" 'PrefixI 'True) (S1 ('MetaSel ('Just "txAbortChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "txAbortData") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)))

Channel close

data Stfu Source #

The stfu message (type 2).

Indicates "SomeThing Fundamental is Underway" - used for channel quiescence.

Constructors

Stfu 

Instances

Instances details
NFData Stfu Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: Stfu -> () #

Generic Stfu Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep Stfu 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep Stfu = D1 ('MetaData "Stfu" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "Stfu" 'PrefixI 'True) (S1 ('MetaSel ('Just "stfuChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "stfuInitiator") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word8)))

Methods

from :: Stfu -> Rep Stfu x #

to :: Rep Stfu x -> Stfu #

Show Stfu Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

showsPrec :: Int -> Stfu -> ShowS #

show :: Stfu -> String #

showList :: [Stfu] -> ShowS #

Eq Stfu Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

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

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

type Rep Stfu Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep Stfu = D1 ('MetaData "Stfu" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "Stfu" 'PrefixI 'True) (S1 ('MetaSel ('Just "stfuChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "stfuInitiator") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word8)))

data Shutdown Source #

The shutdown message (type 38).

Initiates closing of the channel.

Instances

Instances details
NFData Shutdown Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: Shutdown -> () #

Generic Shutdown Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep Shutdown 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep Shutdown = D1 ('MetaData "Shutdown" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "Shutdown" 'PrefixI 'True) (S1 ('MetaSel ('Just "shutdownChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "shutdownScriptPubkey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptPubKey)))

Methods

from :: Shutdown -> Rep Shutdown x #

to :: Rep Shutdown x -> Shutdown #

Show Shutdown Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq Shutdown Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep Shutdown Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep Shutdown = D1 ('MetaData "Shutdown" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "Shutdown" 'PrefixI 'True) (S1 ('MetaSel ('Just "shutdownChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "shutdownScriptPubkey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptPubKey)))

data ClosingSigned Source #

The closing_signed message (type 39).

Used in legacy closing negotiation.

Instances

Instances details
NFData ClosingSigned Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: ClosingSigned -> () #

Generic ClosingSigned Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep ClosingSigned 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep ClosingSigned = D1 ('MetaData "ClosingSigned" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "ClosingSigned" 'PrefixI 'True) ((S1 ('MetaSel ('Just "closingSignedChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "closingSignedFeeSatoshis") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis)) :*: (S1 ('MetaSel ('Just "closingSignedSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Signature) :*: S1 ('MetaSel ('Just "closingSignedTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream))))
Show ClosingSigned Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq ClosingSigned Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep ClosingSigned Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep ClosingSigned = D1 ('MetaData "ClosingSigned" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "ClosingSigned" 'PrefixI 'True) ((S1 ('MetaSel ('Just "closingSignedChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "closingSignedFeeSatoshis") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis)) :*: (S1 ('MetaSel ('Just "closingSignedSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Signature) :*: S1 ('MetaSel ('Just "closingSignedTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream))))

data ClosingComplete Source #

The closing_complete message (type 40).

Proposes a closing transaction in the new closing protocol.

Instances

Instances details
NFData ClosingComplete Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: ClosingComplete -> () #

Generic ClosingComplete Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep ClosingComplete 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep ClosingComplete = D1 ('MetaData "ClosingComplete" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "ClosingComplete" 'PrefixI 'True) ((S1 ('MetaSel ('Just "closingCompleteChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: (S1 ('MetaSel ('Just "closingCompleteCloserScript") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptPubKey) :*: S1 ('MetaSel ('Just "closingCompleteCloseeScript") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptPubKey))) :*: (S1 ('MetaSel ('Just "closingCompleteFeeSatoshis") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis) :*: (S1 ('MetaSel ('Just "closingCompleteLocktime") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "closingCompleteTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream)))))
Show ClosingComplete Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq ClosingComplete Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep ClosingComplete Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep ClosingComplete = D1 ('MetaData "ClosingComplete" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "ClosingComplete" 'PrefixI 'True) ((S1 ('MetaSel ('Just "closingCompleteChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: (S1 ('MetaSel ('Just "closingCompleteCloserScript") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptPubKey) :*: S1 ('MetaSel ('Just "closingCompleteCloseeScript") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptPubKey))) :*: (S1 ('MetaSel ('Just "closingCompleteFeeSatoshis") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis) :*: (S1 ('MetaSel ('Just "closingCompleteLocktime") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "closingCompleteTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream)))))

data ClosingSig Source #

The closing_sig message (type 41).

Signs a closing transaction in the new closing protocol.

Instances

Instances details
NFData ClosingSig Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: ClosingSig -> () #

Generic ClosingSig Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep ClosingSig 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep ClosingSig = D1 ('MetaData "ClosingSig" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "ClosingSig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "closingSigChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: (S1 ('MetaSel ('Just "closingSigCloserScript") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptPubKey) :*: S1 ('MetaSel ('Just "closingSigCloseeScript") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptPubKey))) :*: (S1 ('MetaSel ('Just "closingSigFeeSatoshis") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis) :*: (S1 ('MetaSel ('Just "closingSigLocktime") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "closingSigTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream)))))
Show ClosingSig Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq ClosingSig Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep ClosingSig Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep ClosingSig = D1 ('MetaData "ClosingSig" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "ClosingSig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "closingSigChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: (S1 ('MetaSel ('Just "closingSigCloserScript") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptPubKey) :*: S1 ('MetaSel ('Just "closingSigCloseeScript") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptPubKey))) :*: (S1 ('MetaSel ('Just "closingSigFeeSatoshis") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Satoshis) :*: (S1 ('MetaSel ('Just "closingSigLocktime") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "closingSigTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream)))))

Normal operation

data UpdateAddHtlc Source #

The update_add_htlc message (type 128).

Offers an HTLC to the other node, redeemable in return for a payment preimage.

Instances

Instances details
NFData UpdateAddHtlc Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: UpdateAddHtlc -> () #

Generic UpdateAddHtlc Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep UpdateAddHtlc 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep UpdateAddHtlc = D1 ('MetaData "UpdateAddHtlc" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "UpdateAddHtlc" 'PrefixI 'True) ((S1 ('MetaSel ('Just "updateAddHtlcChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: (S1 ('MetaSel ('Just "updateAddHtlcId") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "updateAddHtlcAmountMsat") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 MilliSatoshis))) :*: ((S1 ('MetaSel ('Just "updateAddHtlcPaymentHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PaymentHash) :*: S1 ('MetaSel ('Just "updateAddHtlcCltvExpiry") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32)) :*: (S1 ('MetaSel ('Just "updateAddHtlcOnionPacket") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OnionPacket) :*: S1 ('MetaSel ('Just "updateAddHtlcTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream)))))
Show UpdateAddHtlc Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq UpdateAddHtlc Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep UpdateAddHtlc Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep UpdateAddHtlc = D1 ('MetaData "UpdateAddHtlc" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "UpdateAddHtlc" 'PrefixI 'True) ((S1 ('MetaSel ('Just "updateAddHtlcChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: (S1 ('MetaSel ('Just "updateAddHtlcId") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "updateAddHtlcAmountMsat") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 MilliSatoshis))) :*: ((S1 ('MetaSel ('Just "updateAddHtlcPaymentHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PaymentHash) :*: S1 ('MetaSel ('Just "updateAddHtlcCltvExpiry") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32)) :*: (S1 ('MetaSel ('Just "updateAddHtlcOnionPacket") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OnionPacket) :*: S1 ('MetaSel ('Just "updateAddHtlcTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream)))))

data UpdateFulfillHtlc Source #

The update_fulfill_htlc message (type 130).

Supplies the preimage to fulfill an HTLC.

Instances

Instances details
NFData UpdateFulfillHtlc Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: UpdateFulfillHtlc -> () #

Generic UpdateFulfillHtlc Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep UpdateFulfillHtlc 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep UpdateFulfillHtlc = D1 ('MetaData "UpdateFulfillHtlc" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "UpdateFulfillHtlc" 'PrefixI 'True) ((S1 ('MetaSel ('Just "updateFulfillHtlcChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "updateFulfillHtlcId") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Just "updateFulfillHtlcPaymentPreimage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PaymentPreimage) :*: S1 ('MetaSel ('Just "updateFulfillHtlcTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream))))
Show UpdateFulfillHtlc Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq UpdateFulfillHtlc Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep UpdateFulfillHtlc Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep UpdateFulfillHtlc = D1 ('MetaData "UpdateFulfillHtlc" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "UpdateFulfillHtlc" 'PrefixI 'True) ((S1 ('MetaSel ('Just "updateFulfillHtlcChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "updateFulfillHtlcId") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Just "updateFulfillHtlcPaymentPreimage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PaymentPreimage) :*: S1 ('MetaSel ('Just "updateFulfillHtlcTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream))))

data UpdateFailHtlc Source #

The update_fail_htlc message (type 131).

Indicates an HTLC has failed.

Instances

Instances details
NFData UpdateFailHtlc Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: UpdateFailHtlc -> () #

Generic UpdateFailHtlc Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep UpdateFailHtlc 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep UpdateFailHtlc = D1 ('MetaData "UpdateFailHtlc" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "UpdateFailHtlc" 'PrefixI 'True) ((S1 ('MetaSel ('Just "updateFailHtlcChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "updateFailHtlcId") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Just "updateFailHtlcReason") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "updateFailHtlcTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream))))
Show UpdateFailHtlc Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq UpdateFailHtlc Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep UpdateFailHtlc Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep UpdateFailHtlc = D1 ('MetaData "UpdateFailHtlc" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "UpdateFailHtlc" 'PrefixI 'True) ((S1 ('MetaSel ('Just "updateFailHtlcChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "updateFailHtlcId") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Just "updateFailHtlcReason") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "updateFailHtlcTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream))))

data UpdateFailMalformedHtlc Source #

The update_fail_malformed_htlc message (type 135).

Indicates an HTLC could not be parsed.

Instances

Instances details
NFData UpdateFailMalformedHtlc Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: UpdateFailMalformedHtlc -> () #

Generic UpdateFailMalformedHtlc Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep UpdateFailMalformedHtlc 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep UpdateFailMalformedHtlc = D1 ('MetaData "UpdateFailMalformedHtlc" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "UpdateFailMalformedHtlc" 'PrefixI 'True) ((S1 ('MetaSel ('Just "updateFailMalformedHtlcChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "updateFailMalformedHtlcId") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Just "updateFailMalformedHtlcSha256Onion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PaymentHash) :*: S1 ('MetaSel ('Just "updateFailMalformedHtlcFailureCode") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16))))
Show UpdateFailMalformedHtlc Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq UpdateFailMalformedHtlc Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep UpdateFailMalformedHtlc Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep UpdateFailMalformedHtlc = D1 ('MetaData "UpdateFailMalformedHtlc" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "UpdateFailMalformedHtlc" 'PrefixI 'True) ((S1 ('MetaSel ('Just "updateFailMalformedHtlcChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "updateFailMalformedHtlcId") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Just "updateFailMalformedHtlcSha256Onion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PaymentHash) :*: S1 ('MetaSel ('Just "updateFailMalformedHtlcFailureCode") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16))))

data CommitmentSigned Source #

The commitment_signed message (type 132).

Applies pending changes and provides signatures for the commitment transaction.

Instances

Instances details
NFData CommitmentSigned Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: CommitmentSigned -> () #

Generic CommitmentSigned Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep CommitmentSigned 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep CommitmentSigned = D1 ('MetaData "CommitmentSigned" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "CommitmentSigned" 'PrefixI 'True) (S1 ('MetaSel ('Just "commitmentSignedChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: (S1 ('MetaSel ('Just "commitmentSignedSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Signature) :*: S1 ('MetaSel ('Just "commitmentSignedHtlcSignatures") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Signature]))))
Show CommitmentSigned Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq CommitmentSigned Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep CommitmentSigned Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep CommitmentSigned = D1 ('MetaData "CommitmentSigned" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "CommitmentSigned" 'PrefixI 'True) (S1 ('MetaSel ('Just "commitmentSignedChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: (S1 ('MetaSel ('Just "commitmentSignedSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Signature) :*: S1 ('MetaSel ('Just "commitmentSignedHtlcSignatures") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Signature]))))

data RevokeAndAck Source #

The revoke_and_ack message (type 133).

Revokes the previous commitment transaction and acknowledges receipt of the commitment_signed.

Instances

Instances details
NFData RevokeAndAck Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: RevokeAndAck -> () #

Generic RevokeAndAck Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep RevokeAndAck 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep RevokeAndAck = D1 ('MetaData "RevokeAndAck" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "RevokeAndAck" 'PrefixI 'True) (S1 ('MetaSel ('Just "revokeAndAckChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: (S1 ('MetaSel ('Just "revokeAndAckPerCommitmentSecret") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Secret) :*: S1 ('MetaSel ('Just "revokeAndAckNextPerCommitPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point))))
Show RevokeAndAck Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq RevokeAndAck Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep RevokeAndAck Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep RevokeAndAck = D1 ('MetaData "RevokeAndAck" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "RevokeAndAck" 'PrefixI 'True) (S1 ('MetaSel ('Just "revokeAndAckChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: (S1 ('MetaSel ('Just "revokeAndAckPerCommitmentSecret") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Secret) :*: S1 ('MetaSel ('Just "revokeAndAckNextPerCommitPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point))))

data UpdateFee Source #

The update_fee message (type 134).

Updates the fee rate for commitment transactions.

Instances

Instances details
NFData UpdateFee Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: UpdateFee -> () #

Generic UpdateFee Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep UpdateFee 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep UpdateFee = D1 ('MetaData "UpdateFee" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "UpdateFee" 'PrefixI 'True) (S1 ('MetaSel ('Just "updateFeeChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "updateFeeFeeratePerKw") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32)))
Show UpdateFee Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq UpdateFee Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep UpdateFee Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep UpdateFee = D1 ('MetaData "UpdateFee" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "UpdateFee" 'PrefixI 'True) (S1 ('MetaSel ('Just "updateFeeChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: S1 ('MetaSel ('Just "updateFeeFeeratePerKw") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32)))

Reestablishment

data ChannelReestablish Source #

The channel_reestablish message (type 136).

Used to re-establish a channel after reconnection.

Instances

Instances details
NFData ChannelReestablish Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: ChannelReestablish -> () #

Generic ChannelReestablish Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep ChannelReestablish 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep ChannelReestablish = D1 ('MetaData "ChannelReestablish" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "ChannelReestablish" 'PrefixI 'True) ((S1 ('MetaSel ('Just "channelReestablishChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: (S1 ('MetaSel ('Just "channelReestablishNextCommitNum") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "channelReestablishNextRevocationNum") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64))) :*: (S1 ('MetaSel ('Just "channelReestablishYourLastCommitSecret") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Secret) :*: (S1 ('MetaSel ('Just "channelReestablishMyCurrentCommitPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "channelReestablishTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream)))))
Show ChannelReestablish Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq ChannelReestablish Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep ChannelReestablish Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep ChannelReestablish = D1 ('MetaData "ChannelReestablish" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "ChannelReestablish" 'PrefixI 'True) ((S1 ('MetaSel ('Just "channelReestablishChannelId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelId) :*: (S1 ('MetaSel ('Just "channelReestablishNextCommitNum") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "channelReestablishNextRevocationNum") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64))) :*: (S1 ('MetaSel ('Just "channelReestablishYourLastCommitSecret") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Secret) :*: (S1 ('MetaSel ('Just "channelReestablishMyCurrentCommitPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Point) :*: S1 ('MetaSel ('Just "channelReestablishTlvs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TlvStream)))))

Witness data

data Witness Source #

Witness data for tx_signatures.

Constructors

Witness 

Instances

Instances details
NFData Witness Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

rnf :: Witness -> () #

Generic Witness Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Associated Types

type Rep Witness 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep Witness = D1 ('MetaData "Witness" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "Witness" 'PrefixI 'True) (S1 ('MetaSel ('Just "witnessData") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)))

Methods

from :: Witness -> Rep Witness x #

to :: Rep Witness x -> Witness #

Show Witness Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Eq Witness Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

Methods

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

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

type Rep Witness Source # 
Instance details

Defined in Lightning.Protocol.BOLT2.Messages

type Rep Witness = D1 ('MetaData "Witness" "Lightning.Protocol.BOLT2.Messages" "ppad-bolt2-0.0.1-GZp2eCd2tiE8fNOn3OFks8" 'False) (C1 ('MetaCons "Witness" 'PrefixI 'True) (S1 ('MetaSel ('Just "witnessData") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)))