cardano-api-8.36.1.1: The cardano api
Safe HaskellSafe-Inferred
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 :: Gen (Annotated Tx ByteString) Source #

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 :: 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 :: 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 :: ShelleyBasedEra era -> Gen (TxBody era) Source #

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

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 BuildTx era) Source #

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

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

genLovelace :: Gen Lovelace Source #

genPositiveLovelace :: Gen Lovelace Source #

genValue :: MaryEraOnwards era -> Gen AssetId -> Gen Quantity -> Gen (Value (ShelleyLedgerEra era)) Source #

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

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

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 BuildTx era) Source #

genUnsignedQuantity :: Gen Quantity Source #

genPositiveQuantity :: Gen Quantity Source #

genValueForMinting :: MaryEraOnwards era -> 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 :: forall era. ConwayEraOnwards era -> Gen [Proposal era] Source #

genProposal :: ConwayEraOnwards era -> Gen (Proposal era) Source #

genVotingProcedures :: ConwayEraOnwards era -> Gen (VotingProcedures era) Source #