Safe Haskell	None
Language	Haskell2010

PaymentChannel.Test

Contents

Orphan instances

Synopsis

Documentation

debugEnable :: Bool Source #

debugTrace :: String -> t -> t Source #

maxCoins :: Integer Source #

mIN_CHANNEL_SIZE :: BtcAmount Source #

testDustLimit :: BtcAmount Source #

testSettlePeriod :: Hour Source #

testMinDuration :: Hour Source #

mkTestServerConf :: BtcAmount -> ServerSettings Source #

data ArbChannelPair Source #

Constructors

ArbChannelPair
Fields sendChan :: ClientPayChan recvChan :: ServerPayChanX initPayAmount :: BtcAmount initRecvAmount :: BtcAmount initPayment :: SignedPayment recvPrvKey :: TestRecvKey

Instances

Show ArbChannelPair Source #
Methods showsPrec :: Int -> ArbChannelPair -> ShowS # show :: ArbChannelPair -> String # showList :: [ArbChannelPair] -> ShowS #
Generic ArbChannelPair Source #
Associated Types type Rep ArbChannelPair :: * -> * # Methods from :: ArbChannelPair -> Rep ArbChannelPair x # to :: Rep ArbChannelPair x -> ArbChannelPair #
Arbitrary ArbChannelPair Source #
Methods arbitrary :: Gen ArbChannelPair # shrink :: ArbChannelPair -> [ArbChannelPair] #
NFData ArbChannelPair Source #
Methods rnf :: ArbChannelPair -> () #
type Rep ArbChannelPair Source #
type Rep ArbChannelPair = D1 (MetaData "ArbChannelPair" "PaymentChannel.Test" "bitcoin-payment-channel-1.2.0.0-7YwDEKAOCp2BNoMt0JxEOM" False) (C1 (MetaCons "ArbChannelPair" PrefixI True) ((::) ((::) (S1 (MetaSel (Just Symbol "sendChan") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ClientPayChan)) ((::) (S1 (MetaSel (Just Symbol "recvChan") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ServerPayChanX)) (S1 (MetaSel (Just Symbol "initPayAmount") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 BtcAmount)))) ((::) (S1 (MetaSel (Just Symbol "initRecvAmount") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 BtcAmount)) ((:*:) (S1 (MetaSel (Just Symbol "initPayment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SignedPayment)) (S1 (MetaSel (Just Symbol "recvPrvKey") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TestRecvKey))))))

data TestRecvKey Source #

Constructors

TestRecvKey
Fields testKeyRoot :: RootPrv testKeyPair :: External ChildPair

Instances

Generic TestRecvKey Source #
Associated Types type Rep TestRecvKey :: * -> * # Methods from :: TestRecvKey -> Rep TestRecvKey x # to :: Rep TestRecvKey x -> TestRecvKey #
NFData TestRecvKey Source #
Methods rnf :: TestRecvKey -> () #
type Rep TestRecvKey Source #
type Rep TestRecvKey = D1 (MetaData "TestRecvKey" "PaymentChannel.Test" "bitcoin-payment-channel-1.2.0.0-7YwDEKAOCp2BNoMt0JxEOM" False) (C1 (MetaCons "TestRecvKey" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "testKeyRoot") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RootPrv)) (S1 (MetaSel (Just Symbol "testKeyPair") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (External ChildPair)))))

testPrvKeyC :: TestRecvKey -> PrvKeyC Source #

data ChannelPairResult Source #

Constructors

ChannelPairResult
Fields resInitPair :: ArbChannelPair resSendChan :: ClientPayChan resRecvChan :: ServerPayChanX resSentAmounts :: [BtcAmount] resRecvdAmounts :: [BtcAmount] resPayList :: [SignedPayment]

Instances

Show ChannelPairResult Source #
Methods showsPrec :: Int -> ChannelPairResult -> ShowS # show :: ChannelPairResult -> String # showList :: [ChannelPairResult] -> ShowS #
Generic ChannelPairResult Source #
Associated Types type Rep ChannelPairResult :: * -> * # Methods from :: ChannelPairResult -> Rep ChannelPairResult x # to :: Rep ChannelPairResult x -> ChannelPairResult #
NFData ChannelPairResult Source #
Methods rnf :: ChannelPairResult -> () #
type Rep ChannelPairResult Source #
type Rep ChannelPairResult = D1 (MetaData "ChannelPairResult" "PaymentChannel.Test" "bitcoin-payment-channel-1.2.0.0-7YwDEKAOCp2BNoMt0JxEOM" False) (C1 (MetaCons "ChannelPairResult" PrefixI True) ((::) ((::) (S1 (MetaSel (Just Symbol "resInitPair") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ArbChannelPair)) ((::) (S1 (MetaSel (Just Symbol "resSendChan") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ClientPayChan)) (S1 (MetaSel (Just Symbol "resRecvChan") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ServerPayChanX)))) ((::) (S1 (MetaSel (Just Symbol "resSentAmounts") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [BtcAmount])) ((:*:) (S1 (MetaSel (Just Symbol "resRecvdAmounts") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [BtcAmount])) (S1 (MetaSel (Just Symbol "resPayList") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [SignedPayment]))))))

arbitraryNonDusty :: BtcAmount -> Gen NonDustyAmount Source #

genLockTimeDate Source #

Arguments

:: ServerSettings
-> UTCTime	Now-timestamp
-> Hour	Maximum duration
-> Gen LockTimeDate

newtype NonZeroBitcoinAmount Source #

Constructors

NonZeroBitcoinAmount
Fields getAmount :: BtcAmount

Instances

Arbitrary NonZeroBitcoinAmount Source #
Methods arbitrary :: Gen NonZeroBitcoinAmount # shrink :: NonZeroBitcoinAmount -> [NonZeroBitcoinAmount] #

toInitResult :: ArbChannelPair -> ChannelPairResult Source #

doPayment :: MonadTime m => ChannelPairResult -> BtcAmount -> m ChannelPairResult Source #

Fold a payment of specified value into a ChannelPairResult

runChanPair :: MonadTime m => ArbChannelPair -> [BtcAmount] -> m ChannelPairResult Source #

mkChanParams :: Gen (ChanParams, (PrvKeyC, TestRecvKey)) Source #

fromRecvRootKey :: RootPrv -> Gen (ChanParams, (PrvKeyC, TestRecvKey)) Source #

mkChanPair :: Gen (ArbChannelPair, SignedPayment) Source #

mkChanPairInitAmount :: BtcAmount -> Gen (ArbChannelPair, SignedPayment) Source #

testRbpcpFundingInfo Source #

Arguments

:: ServerSettings
-> ChanParams
-> BtcAmount	Open price
-> FundingInfo

genRunChanPair :: Word -> (BtcAmount, BtcAmount) -> BtcAmount -> IO ChannelPairResult Source #

arbitraryFundingTx Source #

Arguments

:: ChanParams
-> BtcAmount	Funding amount
-> Gen (Word32, Tx)	Output index of funding output plus transaction

Funding transaction with a funding output at an arbitrary output index

arbitraryInsert :: forall a. [a] -> a -> Gen (Int, [a]) Source #

Insert an element into a list at an arbitrary position

nowishTimestamp :: UTCTime Source #

createAcceptClosingPayment :: ToChangeOutFee fee => Address -> fee -> ChannelPairResult -> Either PayChanError ClosedServerChanX Source #

Orphan instances

Arbitrary ByteString Source #
Methods arbitrary :: Gen ByteString # shrink :: ByteString -> [ByteString] #
Arbitrary RootPrv Source #
Methods arbitrary :: Gen RootPrv # shrink :: RootPrv -> [RootPrv] #
Arbitrary BtcAmount Source #
Methods arbitrary :: Gen BtcAmount # shrink :: BtcAmount -> [BtcAmount] #
Arbitrary NonDustyAmount Source #
Methods arbitrary :: Gen NonDustyAmount # shrink :: NonDustyAmount -> [NonDustyAmount] #
Arbitrary ChanParams Source #
Methods arbitrary :: Gen ChanParams # shrink :: ChanParams -> [ChanParams] #
Arbitrary ClientPayChan Source #
Methods arbitrary :: Gen ClientPayChan # shrink :: ClientPayChan -> [ClientPayChan] #
Arbitrary ServerPayChanX Source #
Methods arbitrary :: Gen ServerPayChanX # shrink :: ServerPayChanX -> [ServerPayChanX] #
MonadTime Gen Source #
Methods currentTime :: Gen UTCTime #
Arbitrary (PayChanState BtcSig) Source #
Methods arbitrary :: Gen (PayChanState BtcSig) # shrink :: PayChanState BtcSig -> [PayChanState BtcSig] #
Arbitrary (Payment BtcSig) Source #
Methods arbitrary :: Gen (Payment BtcSig) # shrink :: Payment BtcSig -> [Payment BtcSig] #