Safe Haskell	None
Language	Haskell2010

Gen.Cardano.Api.Typed

Contents

Scripts

Synopsis

genAddressByron ∷ Gen (Address ByronAddr)
genAddressShelley ∷ Gen (Address ShelleyAddr)
genCertificate ∷ Gen Certificate
genCostModel ∷ Gen CostModel
genMaybePraosNonce ∷ Gen (Maybe PraosNonce)
genPraosNonce ∷ Gen PraosNonce
genProtocolParameters ∷ Gen ProtocolParameters
genValueNestedRep ∷ Gen ValueNestedRep
genValueNestedBundle ∷ Gen ValueNestedBundle
genByronKeyWitness ∷ Gen (KeyWitness ByronEra)
genShelleyKeyWitness ∷ IsShelleyBasedEra era ⇒ CardanoEra era → Gen (KeyWitness era)
genTxId ∷ Gen TxId
genTxIn ∷ Gen TxIn
genTxOutTxContext ∷ CardanoEra era → Gen (TxOut CtxTx era)
genTxOutUTxOContext ∷ CardanoEra era → Gen (TxOut CtxUTxO era)
genUTxO ∷ CardanoEra era → Gen (UTxO era)
genReferenceScript ∷ CardanoEra era → Gen (ReferenceScript era)
genScript ∷ ScriptLanguage lang → Gen (Script lang)
genSimpleScript ∷ SimpleScriptVersion lang → Gen (SimpleScript lang)
genPlutusScript ∷ PlutusScriptVersion lang → Gen (PlutusScript lang)
genScriptInAnyLang ∷ Gen ScriptInAnyLang
genScriptInEra ∷ CardanoEra era → Gen (ScriptInEra era)
genScriptHash ∷ Gen ScriptHash
genScriptData ∷ Gen ScriptData
genAssetName ∷ Gen AssetName
genOperationalCertificate ∷ Gen OperationalCertificate
genOperationalCertificateIssueCounter ∷ Gen OperationalCertificateIssueCounter
genShelleyWitness ∷ IsShelleyBasedEra era ⇒ CardanoEra era → Gen (KeyWitness era)
genSigningKey ∷ Key keyrole ⇒ AsType keyrole → Gen (SigningKey keyrole)
genSlotNo ∷ Gen SlotNo
genStakeAddress ∷ Gen StakeAddress
genTx ∷ ∀ era. IsCardanoEra era ⇒ CardanoEra era → Gen (Tx era)
genTxBody ∷ IsCardanoEra era ⇒ CardanoEra era → Gen (TxBody era)
genTxBodyContent ∷ CardanoEra era → Gen (TxBodyContent BuildTx era)
genLovelace ∷ Gen Lovelace
genValue ∷ Gen AssetId → Gen Quantity → Gen Value
genValueDefault ∷ Gen Value
genVerificationKey ∷ Key keyrole ⇒ AsType keyrole → Gen (VerificationKey keyrole)
genVerificationKeyHash ∷ Key keyrole ⇒ AsType keyrole → Gen (Hash keyrole)
genUpdateProposal ∷ Gen UpdateProposal
genProtocolParametersUpdate ∷ Gen ProtocolParametersUpdate
genScriptDataSupportedInAlonzoEra ∷ Gen (ScriptDataSupportedInEra AlonzoEra)
genTxOutDatumHashTxContext ∷ CardanoEra era → Gen (TxOutDatum CtxTx era)
genTxOutDatumHashUTxOContext ∷ CardanoEra era → Gen (TxOutDatum CtxUTxO era)
genTxOutValue ∷ CardanoEra era → Gen (TxOutValue era)
genValueForTxOut ∷ Gen Value
genValueForMinting ∷ Gen Value
genRational ∷ Gen Rational

Documentation

genAddressByron ∷ Gen (Address ByronAddr) Source #

genAddressShelley ∷ Gen (Address ShelleyAddr) Source #

genCertificate ∷ Gen Certificate Source #

genCostModel ∷ Gen CostModel Source #

genMaybePraosNonce ∷ Gen (Maybe PraosNonce) Source #

genPraosNonce ∷ Gen PraosNonce Source #

genProtocolParameters ∷ Gen ProtocolParameters Source #

genValueNestedRep ∷ Gen ValueNestedRep Source #

genValueNestedBundle ∷ Gen ValueNestedBundle Source #

genByronKeyWitness ∷ Gen (KeyWitness ByronEra) Source #

genShelleyKeyWitness ∷ IsShelleyBasedEra era ⇒ CardanoEra era → Gen (KeyWitness era) Source #

genTxId ∷ Gen TxId Source #

genTxIn ∷ Gen TxIn Source #

genTxOutTxContext ∷ CardanoEra era → Gen (TxOut CtxTx era) Source #

genTxOutUTxOContext ∷ CardanoEra era → Gen (TxOut CtxUTxO era) Source #

genUTxO ∷ CardanoEra era → Gen (UTxO era) Source #

Scripts

genReferenceScript ∷ CardanoEra era → Gen (ReferenceScript era) Source #

genScript ∷ ScriptLanguage lang → Gen (Script lang) Source #

genSimpleScript ∷ SimpleScriptVersion lang → Gen (SimpleScript lang) Source #

genPlutusScript ∷ PlutusScriptVersion lang → Gen (PlutusScript lang) Source #

genScriptInAnyLang ∷ Gen ScriptInAnyLang Source #

genScriptInEra ∷ CardanoEra era → Gen (ScriptInEra era) Source #

genScriptHash ∷ Gen ScriptHash Source #

genScriptData ∷ Gen ScriptData Source #

genAssetName ∷ Gen AssetName Source #

genOperationalCertificate ∷ Gen OperationalCertificate Source #

genOperationalCertificateIssueCounter ∷ Gen OperationalCertificateIssueCounter Source #

genShelleyWitness ∷ IsShelleyBasedEra era ⇒ CardanoEra era → Gen (KeyWitness era) Source #

genSigningKey ∷ Key keyrole ⇒ AsType keyrole → Gen (SigningKey keyrole) Source #

genSlotNo ∷ Gen SlotNo Source #

genStakeAddress ∷ Gen StakeAddress Source #

genTx ∷ ∀ era. IsCardanoEra era ⇒ CardanoEra era → Gen (Tx era) Source #

genTxBody ∷ IsCardanoEra era ⇒ CardanoEra era → Gen (TxBody era) Source #

genTxBodyContent ∷ CardanoEra era → Gen (TxBodyContent BuildTx era) Source #

genLovelace ∷ Gen Lovelace Source #

genValue ∷ Gen AssetId → Gen Quantity → Gen Value Source #

genValueDefault ∷ Gen Value Source #

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

genVerificationKey ∷ Key keyrole ⇒ AsType keyrole → Gen (VerificationKey keyrole) Source #

genVerificationKeyHash ∷ Key keyrole ⇒ AsType keyrole → Gen (Hash keyrole) Source #

genUpdateProposal ∷ Gen UpdateProposal Source #

genProtocolParametersUpdate ∷ Gen ProtocolParametersUpdate Source #

genScriptDataSupportedInAlonzoEra ∷ Gen (ScriptDataSupportedInEra AlonzoEra) Source #

genTxOutDatumHashTxContext ∷ CardanoEra era → Gen (TxOutDatum CtxTx era) Source #

genTxOutDatumHashUTxOContext ∷ CardanoEra era → Gen (TxOutDatum CtxUTxO era) Source #

genTxOutValue ∷ CardanoEra era → Gen (TxOutValue era) Source #

genValueForTxOut ∷ Gen Value Source #

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

genValueForMinting ∷ Gen Value Source #

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

genRational ∷ Gen Rational Source #