cardano-wallet-core-2022.7.1: The Wallet Backend for a Cardano node.
Safe Haskell None
Language Haskell2010

Cardano.Api.Gen

Synopsis

Documentation

genAddressAny :: Gen AddressAny Source #

genAddressByron :: Gen ( Address ByronAddr ) Source #

genAddressInEra :: CardanoEra era -> Gen ( AddressInEra era) Source #

genAddressShelley :: Gen ( Address ShelleyAddr ) Source #

genAlphaNum :: Gen Char Source #

genAssetIdNoAda :: Gen AssetId Source #

genAssetName :: Gen AssetName Source #

genByronKeyWitness :: Gen ( KeyWitness ByronEra ) Source #

genCertIx :: Gen CertIx Source #

genCostModel :: Gen CostModel Source #

genCostModels :: Gen ( Map AnyPlutusScriptVersion CostModel ) Source #

genEncodingBoundaryLovelace :: Gen Lovelace Source #

genEpochNo :: Gen EpochNo Source #

genExecutionUnitPrices :: Gen ExecutionUnitPrices Source #

genExecutionUnits :: Gen ExecutionUnits Source #

genExtraKeyWitnesses :: CardanoEra era -> Gen ( TxExtraKeyWitnesses era) Source #

genLovelace :: Gen Lovelace Source #

genMIRPot :: Gen MIRPot Source #

genMIRTarget :: Gen MIRTarget Source #

genNat :: Gen Natural Source #

genNetworkId :: Gen NetworkId Source #

genNetworkMagic :: Gen NetworkMagic Source #

genPaymentCredential :: Gen PaymentCredential Source #

genPlutusScript :: PlutusScriptVersion lang -> Gen ( PlutusScript lang) Source #

genPolicyId :: Gen PolicyId Source #

genPoolId :: Gen PoolId Source #

genProtocolParameters :: Gen ProtocolParameters Source #

genProtocolParametersUpdate :: Gen ProtocolParametersUpdate Source #

genPtr :: Gen Ptr Source #

genRational :: Gen Rational Source #

genRationalInt64 :: Gen Rational Source #

genScript :: ScriptLanguage lang -> Gen ( Script lang) Source #

genScriptData :: Gen ScriptData Source #

genScriptHash :: Gen ScriptHash Source #

genScriptInAnyLang :: Gen ScriptInAnyLang Source #

genScriptInEra :: CardanoEra era -> Gen ( ScriptInEra era) Source #

genScriptValidity :: Gen ScriptValidity Source #

genScriptWitnessStake :: ScriptLanguageInEra lang era -> Gen ( ScriptWitness WitCtxStake era) Source #

genSeed :: Int -> Gen Seed Source #

genShelleyHash :: Gen ( Hash Blake2b_256 EraIndependentTxBody ) Source #

genShelleyWitnessSigningKey :: Gen ShelleyWitnessSigningKey Source #

genSignedQuantity :: Gen Quantity Source #

Generate a positive or negative quantity.

genSignedValue :: Gen Value Source #

Generate a Value which could represent the balance of a partial transaction, where both ada and other assets can be included, and quantities can be both positive and negative.

genSigningKey :: Key keyrole => AsType keyrole -> Gen ( SigningKey keyrole) Source #

genSimpleScript :: SimpleScriptVersion lang -> Gen ( SimpleScript lang) Source #

genSlotNo :: Gen SlotNo Source #

genSlotNo32 :: Gen SlotNo32 Source #

genStakeAddress :: Gen StakeAddress Source #

genStakeAddressReference :: Gen StakeAddressReference Source #

genStakeCredential :: Gen StakeCredential Source #

genStakePoolMetadata :: Gen StakePoolMetadata Source #

genStakePoolMetadataReference :: Gen StakePoolMetadataReference Source #

genStakePoolParameters :: Gen StakePoolParameters Source #

genStakePoolRelay :: Gen StakePoolRelay Source #

genTtl :: Gen SlotNo Source #

genTx :: Gen ( InAnyCardanoEra Tx ) Source #

genTxAuxScripts :: CardanoEra era -> Gen ( TxAuxScripts era) Source #

genTxBody :: IsCardanoEra era => CardanoEra era -> Gen ( TxBody era) Source #

genTxBodyContent :: CardanoEra era -> Gen ( TxBodyContent BuildTx era) Source #

genTxBodyForBalancing :: IsCardanoEra era => CardanoEra era -> Gen ( TxBody era) Source #

Similar to genTxBody , but with a distribution better suitable for testing balancing.

genTxCertificate :: Gen Certificate Source #

genTxCertificates :: CardanoEra era -> Gen ( TxCertificates BuildTx era) Source #

genTxFee :: CardanoEra era -> Gen ( TxFee era) Source #

genTxForBalancing :: forall era. IsCardanoEra era => CardanoEra era -> Gen ( Tx era) Source #

genTxId :: Gen TxId Source #

genTxIn :: Gen TxIn Source #

genTxIndex :: Gen TxIx Source #

genTxInEra :: forall era. IsCardanoEra era => CardanoEra era -> Gen ( Tx era) Source #

genTxInsCollateral :: CardanoEra era -> Gen ( TxInsCollateral era) Source #

genTxIx :: Gen TxIx Source #

genTxMetadata :: Gen TxMetadata Source #

genTxMetadataInEra :: CardanoEra era -> Gen ( TxMetadataInEra era) Source #

genTxMetadataValue :: Gen TxMetadataValue Source #

genTxMintValue :: forall era. CardanoEra era -> Gen ( TxMintValue BuildTx era) Source #

genTxOut :: CardanoEra era -> Gen ( TxOut ctx era) Source #

genTxOutDatum :: CardanoEra era -> Gen ( TxOutDatum ctx era) Source #

genTxOutValue :: CardanoEra era -> Gen ( TxOutValue era) Source #

genTxReturnCollateral :: CardanoEra era -> Gen ( TxReturnCollateral ctx era) Source #

genTxScriptValidity :: CardanoEra era -> Gen ( TxScriptValidity era) Source #

genTxTotalCollateral :: CardanoEra era -> Gen ( TxTotalCollateral era) Source #

genTxValidityLowerBound :: CardanoEra era -> Gen ( TxValidityLowerBound era) Source #

genTxValidityRange :: CardanoEra era -> Gen ( TxValidityLowerBound era, TxValidityUpperBound era) Source #

genTxValidityUpperBound :: CardanoEra era -> Gen ( TxValidityUpperBound era) Source #

genTxWithdrawals :: CardanoEra era -> Gen ( TxWithdrawals BuildTx era) Source #

genUnsignedQuantity :: Gen Quantity Source #

genUpdateProposal :: CardanoEra era -> Gen ( TxUpdateProposal era) Source #

genValueForMinting :: Gen Value Source #

Generate a Value suitable for minting, i.e. non-ADA asset ID and a positive or negative quantity.

genValueForTxOut :: Gen Value Source #

Generate a Value suitable for usage in a transaction output, i.e. any asset ID and a positive quantity.

genVerificationKey :: Key keyrole => AsType keyrole -> Gen ( VerificationKey keyrole) Source #

genVerificationKeyHash :: Key keyrole => AsType keyrole -> Gen ( Hash keyrole) Source #

genWithdrawalInfo :: CardanoEra era -> Gen ( StakeAddress , Lovelace , BuildTxWith BuildTx ( Witness WitCtxStake era)) Source #

genWitness :: CardanoEra era -> TxBody era -> Gen ( KeyWitness era) Source #

genWitnesses :: CardanoEra era -> TxBody era -> Gen [ KeyWitness era] Source #

genWitnessNetworkIdOrByronAddress :: Gen WitnessNetworkIdOrByronAddress Source #

genWitnessStake :: CardanoEra era -> Gen ( Witness WitCtxStake era) Source #

Orphan instances