cardano-api:gen
Safe HaskellNone
LanguageHaskell2010

Test.Gen.Cardano.Api.Typed

Contents

Synopsis

Documentation

genFeaturedInEra :: Alternative f => eon era -> f a -> f (Featured eon era a) Source #

Generate a Featured for the given CardanoEra with the provided generator.

genMaybeFeaturedInEra :: (Eon eon, Alternative f) => (eon era -> f a) -> CardanoEra era -> f (Maybe (Featured eon era a)) Source #

Generate a Featured for the given CardanoEra with the provided generator.

Byron

genAddressInEraByron :: Gen (AddressInEra ByronEra) Source #

genAddressByron :: Gen (Address ByronAddr) Source #

genTxBodyByron :: HasCallStack => Gen (Annotated Tx ByteString) Source #

Partial! It will throw if the generated transaction body is invalid.

genTxByron :: Gen (ATxAux ByteString) Source #

genWitnessesByron :: Gen [KeyWitness ByronEra] Source #

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

genAddressShelley :: Gen (Address ShelleyAddr) Source #

genCertificate :: ShelleyBasedEra era -> Gen (Certificate era) Source #

genCostModel :: MonadGen m => m CostModel Source #

genCostModels :: MonadGen m => m CostModels Source #

genMaybePraosNonce :: Gen (Maybe PraosNonce) Source #

genPraosNonce :: Gen PraosNonce Source #

genValidProtocolParameters :: ShelleyBasedEra era -> Gen (LedgerProtocolParameters era) Source #

Generate valid protocol parameters which pass validations in Cardano.Api.ProtocolParameters

genProtocolParameters :: CardanoEra era -> Gen ProtocolParameters Source #

genValueNestedRep :: Gen ValueNestedRep Source #

genValueNestedBundle :: Gen ValueNestedBundle Source #

genByronKeyWitness :: Gen (KeyWitness ByronEra) Source #

genCardanoKeyWitness :: ShelleyBasedEra era -> Gen (KeyWitness era) Source #

genShelleyKeyWitness :: ShelleyBasedEra era -> Gen (KeyWitness era) Source #

genTxId :: Gen TxId Source #

genTxIn :: Gen TxIn Source #

genTxOutTxContext :: ShelleyBasedEra era -> Gen (TxOut CtxTx era) Source #

genTxOutUTxOContext :: ShelleyBasedEra era -> Gen (TxOut CtxUTxO era) Source #

genUTxO :: ShelleyBasedEra era -> Gen (UTxO era) Source #

Scripts

genHashableScriptData :: HasCallStack => Gen HashableScriptData Source #

genReferenceScript :: ShelleyBasedEra era -> Gen (ReferenceScript era) Source #

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

genSimpleScript :: Gen SimpleScript Source #

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

genScriptInAnyLang :: Gen ScriptInAnyLang Source #

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

genScriptHash :: Gen ScriptHash Source #

genScriptData :: Gen ScriptData Source #

Deprecated: Use genHashableScriptData

genScriptDataSchema :: Gen ScriptDataJsonSchema Source #

genScriptValidity :: Gen ScriptValidity Source #

genAssetName :: Gen AssetName Source #

genAssetId :: Gen AssetId Source #

genEpochNo :: Gen EpochNo Source #

genExecutionUnitPrices :: Gen ExecutionUnitPrices Source #

genExecutionUnits :: Gen ExecutionUnits Source #

genHashScriptData :: Gen (Hash ScriptData) Source #

genKESPeriod :: Gen KESPeriod Source #

genNat :: Gen Natural Source #

genNetworkId :: Gen NetworkId Source #

genNetworkMagic :: Gen NetworkMagic Source #

genOperationalCertificate :: Gen OperationalCertificate Source #

genOperationalCertificateIssueCounter :: Gen OperationalCertificateIssueCounter Source #

genOperationalCertificateWithCounter :: HasCallStack => Gen (OperationalCertificate, OperationalCertificateIssueCounter) Source #

genPaymentCredential :: Gen PaymentCredential Source #

genPolicyId :: Gen PolicyId Source #

genQuantity :: Range Integer -> Gen Quantity Source #

genRationalInt64 :: Gen Rational Source #

genSeed :: Int -> Gen Seed Source #

genShelleyBootstrapWitness :: ShelleyBasedEra era -> Gen (KeyWitness era) Source #

genShelleyHash :: Gen (Hash Blake2b_256 EraIndependentTxBody) Source #

genShelleyWitness :: ShelleyBasedEra era -> Gen (KeyWitness era) Source #

genShelleyWitnessSigningKey :: Gen ShelleyWitnessSigningKey Source #

genSignedQuantity :: Gen Quantity Source #

Generate a positive or negative quantity.

genSignedNonZeroQuantity :: Gen Quantity Source #

Generate a positive or negative, but not zero quantity.

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

genSlotNo :: Gen SlotNo Source #

genStakeAddress :: Gen StakeAddress Source #

genStakeAddressReference :: Gen StakeAddressReference Source #

genStakeCredential :: Gen StakeCredential Source #

genTtl :: Gen SlotNo Source #

genTx :: ShelleyBasedEra era -> Gen (Tx era) Source #

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

genTxBody :: HasCallStack => ShelleyBasedEra era -> Gen (TxBody era) Source #

Partial! This function will throw an error when the generated transaction is invalid.

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

genValidTxBody Source #

Arguments

:: ShelleyBasedEra era 
-> Gen (TxBody era, TxBodyContent BuildTx era)

validated TxBody and TxBodyContent

This generator validates generated TxBodyContent and backtracks when the generated body fails the validation. That also means that it is quite slow.

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

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

genTxIndex :: Gen TxIx Source #

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

genTxInsReference :: CardanoEra era -> Gen (TxInsReference era) Source #

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

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

genLovelace :: Gen Coin Source #

genPositiveLovelace :: Gen Coin Source #

genValue :: Gen AssetId -> Gen Quantity -> Gen Value Source #

genValueDefault :: MaryEraOnwards era -> Gen (Value (ShelleyLedgerEra era)) Source #

Generate a Value with any asset ID and a positive or negative quantity.

genValueForRole :: MaryEraOnwards era -> ParserValueRole -> Gen Value Source #

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

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

genUpdateProposal :: CardanoEra era -> Gen UpdateProposal Source #

genProtocolParametersUpdate :: CardanoEra era -> Gen ProtocolParametersUpdate Source #

genTxOutDatumHashTxContext :: ShelleyBasedEra era -> Gen (TxOutDatum CtxTx era) Source #

genTxOutDatumHashUTxOContext :: ShelleyBasedEra era -> Gen (TxOutDatum CtxUTxO era) Source #

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

genTxReturnCollateral :: ShelleyBasedEra era -> Gen (TxReturnCollateral CtxTx era) Source #

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

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

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

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

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

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

genUnsignedQuantity :: Gen Quantity Source #

genPositiveQuantity :: Gen Quantity Source #

genValueForMinting :: Gen Value Source #

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

genValueForTxOut :: ShelleyBasedEra era -> Gen (Value (ShelleyLedgerEra era)) Source #

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

genWitnesses :: ShelleyBasedEra era -> Gen [KeyWitness era] Source #

genWitnessNetworkIdOrByronAddress :: Gen WitnessNetworkIdOrByronAddress Source #

genRational :: Gen Rational Source #

genGovernancePoll :: Gen GovernancePoll Source #

genGovernancePollAnswer :: Gen GovernancePollAnswer Source #

genProposals :: Applicative (BuildTxWith build) => ConwayEraOnwards era -> Gen (TxProposalProcedures build era) Source #

genProposal :: ConwayEraOnwards era -> Gen (ProposalProcedure (ShelleyLedgerEra era)) Source #

genVotingProcedures :: Applicative (BuildTxWith build) => ConwayEraOnwards era -> Gen (TxVotingProcedures build era) Source #