Network.Haskoin.Test

Arbitrary instances for testing.

Documentation

arbitraryBS :: Gen ByteString

Arbitrary strict ByteString.

arbitraryBS1 :: Gen ByteString

Arbitrary non-empty strict ByteString

arbitraryBSn :: Int -> Gen ByteString

Arbitrary strict ByteString of a given length

arbitraryUTCTime :: Gen UTCTime

Arbitrary UTCTime that generates dates after 01 Jan 1970 01:00:00 CET

arbitraryMaybe :: Gen a -> Gen (Maybe a)

Generate a Maybe from a Gen a

newtype TestCoin

Wrapped coin value for testing.

Constructors

TestCoin

Fields

• getTestCoin :: Word64

Instances

Eq TestCoin

Defined in Network.Haskoin.Test.Transaction

Methods

(==) :: TestCoin -> TestCoin -> Bool

(/=) :: TestCoin -> TestCoin -> Bool

Show TestCoin

Defined in Network.Haskoin.Test.Transaction

Methods

showsPrec :: Int -> TestCoin -> ShowS

show :: TestCoin -> String

showList :: [TestCoin] -> ShowS

Coin TestCoin

Defined in Network.Haskoin.Test.Transaction

Methods

coinValue :: TestCoin -> Word64

arbitraryTxHash :: Gen TxHash

Arbitrary transaction hash (for non-existent transaction).

arbitrarySatoshi :: Network -> Gen TestCoin

Arbitrary amount of Satoshi as Word64 (Between 1 and 21e14)

arbitraryOutPoint :: Gen OutPoint

Arbitrary OutPoint.

arbitraryTxOut :: Network -> Gen TxOut

Arbitrary TxOut.

arbitraryTxIn :: Network -> Gen TxIn

Arbitrary TxIn.

arbitraryTx :: Network -> Gen Tx

Arbitrary transaction. Can be regular or with witnesses.

arbitraryLegacyTx :: Network -> Gen Tx

Arbitrary regular transaction.

arbitraryWitnessTx :: Network -> Gen Tx

Arbitrary witness transaction (witness data is fake).

arbitraryWLTx :: Network -> Bool -> Gen Tx

Arbitrary witness or legacy transaction.

arbitraryAddrOnlyTx :: Network -> Gen Tx

Arbitrary transaction containing only inputs of type SpendPKHash, SpendScriptHash (multisig) and outputs of type PayPKHash and PaySH. Only compressed public keys are used.

arbitraryAddrOnlyTxFull :: Network -> Gen Tx

Like arbitraryAddrOnlyTx without empty signatures in the inputs.

arbitraryAddrOnlyTxIn :: Network -> Gen TxIn

Arbitrary TxIn that can only be of type SpendPKHash or SpendScriptHash (multisig). Only compressed public keys are used.

arbitraryAddrOnlyTxInFull :: Network -> Gen TxIn

like arbitraryAddrOnlyTxIn with no empty signatures.

arbitraryAddrOnlyTxOut :: Network -> Gen TxOut

Arbitrary TxOut that can only be of type PayPKHash or PaySH.

arbitrarySigInput :: Network -> Gen (SigInput, [SecKeyI])

Arbitrary SigInput with the corresponding private keys used to generate the ScriptOutput or RedeemScript.

arbitraryPKSigInput :: Network -> Gen (SigInput, SecKeyI)

Arbitrary SigInput with a ScriptOutput of type PayPK.

arbitraryPKHashSigInput :: Network -> Gen (SigInput, SecKeyI)

Arbitrary SigInput with a ScriptOutput of type PayPKHash.

arbitraryAnyInput :: Network -> Bool -> Gen (SigInput, SecKeyI)

Arbitrary SigInput.

arbitraryInputStuff :: Network -> Gen (Word64, OutPoint, SigHash)

Arbitrary value, out point and sighash for an input.

arbitraryMSSigInput :: Network -> Gen (SigInput, [SecKeyI])

Arbitrary SigInput with a ScriptOutput of type PayMulSig.

arbitrarySHSigInput :: Network -> Gen (SigInput, [SecKeyI])

Arbitrary SigInput with ScriptOutput of type PaySH and a RedeemScript.

arbitrarySigningData :: Network -> Gen (Tx, [SigInput], [SecKeyI])

Arbitrary Tx (empty TxIn), SigInputs and private keys that can be passed to signTx or detSignTx to fully sign the Tx.

arbitraryEmptyTx :: Network -> Gen Tx

Arbitrary transaction with empty inputs.

arbitraryPartialTxs :: Network -> Gen ([Tx], [(ScriptOutput, Word64, OutPoint, Int, Int)])

Arbitrary partially-signed transactions.

arbitraryScript :: Gen Script

Arbitrary Script with random script ops.

arbitraryScriptOp :: Gen ScriptOp

Arbitrary ScriptOp (push operations have random data).

arbitraryIntScriptOp :: Gen ScriptOp

Arbtirary ScriptOp with a value in [OP_1 .. OP_16].

arbitraryPushDataType :: Gen PushDataType

Arbitrary PushDataType.

arbitrarySigHash :: Gen SigHash

Arbitrary SigHash (including invalid/unknown sighash codes).

arbitraryValidSigHash :: Network -> Gen SigHash

Arbitrary valid SigHash.

arbitraryTxSignature :: Network -> Gen (TxHash, SecKey, TxSignature)

Arbitrary message hash, private key and corresponding TxSignature. The signature is generated deterministically using a random message and a random private key.

arbitraryTxSignatureEmpty :: Network -> Gen TxSignature

Arbitrary transaction signature that could also be empty.

arbitraryMSParam :: Gen (Int, Int)

Arbitrary m of n parameters.

arbitraryScriptOutput :: Network -> Gen ScriptOutput

Arbitrary ScriptOutput (Can by any valid type).

arbitrarySimpleOutput :: Gen ScriptOutput

Arbitrary ScriptOutput of type PayPK, PayPKHash or PayMS (Not PayScriptHash, DataCarrier, or SegWit)

arbitraryPKOutput :: Gen ScriptOutput

Arbitrary ScriptOutput of type PayPK

arbitraryPKHashOutput :: Gen ScriptOutput

Arbitrary ScriptOutput of type PayPKHash

arbitraryWPKHashOutput :: Gen ScriptOutput

Arbitrary PayWitnessPKHash output.

arbitraryWSHOutput :: Gen ScriptOutput

Arbitrary PayWitnessScriptHash output.

arbitraryMSOutput :: Gen ScriptOutput

Arbitrary ScriptOutput of type PayMS.

arbitraryMSOutputC :: Gen ScriptOutput

Arbitrary ScriptOutput of type PayMS, only using compressed keys.

arbitrarySHOutput :: Gen ScriptOutput

Arbitrary ScriptOutput of type PayScriptHash.

arbitraryDCOutput :: Gen ScriptOutput

Arbitrary ScriptOutput of type DataCarrier.

arbitraryScriptInput :: Network -> Gen ScriptInput

Arbitrary ScriptInput.

arbitrarySimpleInput :: Network -> Gen ScriptInput

Arbitrary ScriptInput of type SpendPK, SpendPKHash or SpendMulSig (not ScriptHashInput)

arbitraryPKInput :: Network -> Gen ScriptInput

Arbitrary ScriptInput of type SpendPK.

arbitraryPKHashInput :: Network -> Gen ScriptInput

Arbitrary ScriptInput of type SpendPK.

arbitraryPKHashInputFull :: Network -> Gen ScriptInput

Like arbitraryPKHashInput without empty signatures.

arbitraryPKHashInputFullC :: Network -> Gen ScriptInput

Like above but only compressed.

arbitraryMSInput :: Network -> Gen ScriptInput

Arbitrary ScriptInput of type SpendMulSig.

arbitrarySHInput :: Network -> Gen ScriptInput

Arbitrary ScriptInput of type ScriptHashInput.

arbitraryMulSigSHInput :: Network -> Gen ScriptInput

Arbitrary ScriptInput of type ScriptHashInput containing a RedeemScript of type PayMulSig and an input of type SpendMulSig.

arbitraryMulSigSHInputC :: Network -> Gen ScriptInput

Arbitrary ScriptInput of type ScriptHashInput containing a RedeemScript of type PayMulSig and an input of type SpendMulSig.

arbitraryMulSigSHInputFull :: Network -> Gen ScriptInput

Like arbitraryMulSigSHCInput with no empty signatures.

arbitraryMulSigSHInputFullC :: Network -> Gen ScriptInput

Like arbitraryMulSigSHCInput with no empty signatures.

arbitraryVarInt :: Gen VarInt

Arbitrary VarInt.

arbitraryVarString :: Gen VarString

Arbitrary VarString.

arbitraryNetworkAddress :: Gen NetworkAddress

Arbitrary NetworkAddress.

arbitraryNetworkAddressTime :: Gen (Word32, NetworkAddress)

Arbitrary NetworkAddressTime.

arbitraryInvType :: Gen InvType

Arbitrary InvType.

arbitraryInvVector :: Gen InvVector

Arbitrary InvVector.

arbitraryInv1 :: Gen Inv

Arbitrary non-empty Inv.

arbitraryVersion :: Gen Version

Arbitrary Version.

arbitraryAddr1 :: Gen Addr

Arbitrary non-empty Addr.

arbitraryAlert :: Gen Alert

Arbitrary Alert with random payload and signature. Signature is not valid.

arbitraryReject :: Gen Reject

Arbitrary Reject.

arbitraryRejectCode :: Gen RejectCode

Arbitrary RejectCode.

arbitraryGetData :: Gen GetData

Arbitrary non-empty GetData.

arbitraryNotFound :: Gen NotFound

Arbitrary NotFound.

arbitraryPing :: Gen Ping

Arbitrary Ping.

arbitraryPong :: Gen Pong

Arbitrary Pong.

arbitraryBloomFlags :: Gen BloomFlags

Arbitrary bloom filter flags.

arbitraryBloomFilter :: Gen (Int, Double, BloomFilter)

Arbitrary bloom filter with its corresponding number of elements and false positive rate.

arbitraryFilterLoad :: Gen FilterLoad

Arbitrary FilterLoad.

arbitraryFilterAdd :: Gen FilterAdd

Arbitrary FilterAdd.

arbitraryMessageCommand :: Gen MessageCommand

Arbitrary MessageCommand.

arbitraryMessageHeader :: Gen MessageHeader

Arbitrary MessageHeader.

arbitraryMessage :: Network -> Gen Message

Arbitrary Message.

arbitrarySecKeyI :: Gen SecKeyI

Arbitrary private key with arbitrary compressed flag.

arbitraryKeyPair :: Gen (SecKeyI, PubKeyI)

Arbitrary keypair, both either compressed or not.

arbitraryXPrvKey :: Gen XPrvKey

Arbitrary extended private key.

arbitraryXPubKey :: Gen (XPrvKey, XPubKey)

Arbitrary extended public key with its corresponding private key.

genIndex :: Gen Word32

Arbitrary derivation index with last bit unset.

arbitraryBip32PathIndex :: Gen Bip32PathIndex

Arbitrary BIP-32 path index. Can be hardened or not.

arbitraryHardPath :: Gen HardPath

Arbitrary BIP-32 derivation path composed of only hardened derivations.

arbitrarySoftPath :: Gen SoftPath

Arbitrary BIP-32 derivation path composed of only non-hardened derivations.

arbitraryDerivPath :: Gen DerivPath

Arbitrary derivation path composed of hardened and non-hardened derivations.

arbitraryParsedPath :: Gen ParsedPath

Arbitrary parsed derivation path. Can contain ParsedPrv, ParsedPub or ParsedEmpty elements.

arbitrarySignature :: Gen (Hash256, SecKey, Sig)

Arbitrary message hash, private key, nonce and corresponding signature. The signature is generated with a random message, random private key and a random nonce.

arbitraryHash160 :: Gen Hash160

Arbitrary 160-bit hash.

arbitraryHash256 :: Gen Hash256

Arbitrary 256-bit hash.

arbitraryHash512 :: Gen Hash512

Arbitrary 512-bit hash.

arbitraryCheckSum32 :: Gen CheckSum32

Arbitrary 32-bit checksum.

arbitraryBlock :: Network -> Gen Block

Block full or arbitrary transactions.

arbitraryBlockHeader :: Gen BlockHeader

Block header with random hash.

arbitraryBlockHash :: Gen BlockHash

Arbitrary block hash.

arbitraryGetBlocks :: Gen GetBlocks

Arbitrary GetBlocks object with at least one block hash.

arbitraryGetHeaders :: Gen GetHeaders

Arbitrary GetHeaders object with at least one block header.

arbitraryHeaders :: Gen Headers

Arbitrary Headers object with at least one block header.

arbitraryMerkleBlock :: Gen MerkleBlock

Arbitrary MerkleBlock with at least one hash.

arbitraryAddress :: Gen Address

Arbitrary pay-to-public-key-hash or pay-to-script-hash address.

arbitraryPubKeyAddress :: Gen Address

Arbitrary pay-to-public-key-hash address.

arbitraryScriptAddress :: Gen Address

Arbitrary pay-to-script-hash address.