docs
API
Generated with
docs/scalus/scalus.cardano/scalus.cardano.ledger/ArbitraryInstances

ArbitraryInstances

scalus.cardano.ledger.ArbitraryInstances
See theArbitraryInstances companion trait
object ArbitraryInstances extends ArbitraryInstances

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Show all
Self type

Members list

Type members

Inherited classlikes

object TimelockGen

Attributes

Inherited from:
ArbitraryInstances
Supertypes
class Object
trait Matchable
class Any

Value members

Inherited methods

def arbConstantByType(t: DefaultUni): Gen[Constant]

Attributes

Inherited from:
ArbitraryInstances
def genByteStringOfN(n: Int): Gen[ByteString]

Attributes

Inherited from:
ArbitraryInstances
def genMapOfSizeFromArbitrary[A : Arbitrary, B : Arbitrary](from: Int, to: Int): Gen[Map[A, B]]

Attributes

Inherited from:
ArbitraryInstances
def genMint(minPolicies: Int = ..., maxPolicies: Int = ..., minAssets: Int = ..., maxAssets: Int = ...): Gen[Mint]

Generates a Mint with a configurable number of policies and assets.

Generates a Mint with a configurable number of policies and assets.

Policies are generated with unique PolicyIds, and each policy contains a map of AssetNames to values. The values can be negative (for burning) or positive (for minting). Values never equal to zero.

Value parameters

maxAssets

Maximum number of assets per policy

maxPolicies

Maximum number of policies to generate

minAssets

Minimum number of assets per policy

minPolicies

Minimum number of policies to generate

Attributes

Inherited from:
ArbitraryInstances
def genMultiAsset(minPolicies: Int = ..., maxPolicies: Int = ..., minAssets: Int = ..., maxAssets: Int = ...): Gen[MultiAsset]

Generates a MultiAsset with a configurable number of policies and assets.

Generates a MultiAsset with a configurable number of policies and assets.

Policies are generated with unique PolicyIds, and each policy contains a map of AssetNames to values. The values are always positive.

Value parameters

maxAssets

Maximum number of assets per policy

maxPolicies

Maximum number of policies to generate

minAssets

Minimum number of assets per policy

minPolicies

Minimum number of policies to generate

Attributes

Returns

A generator for MultiAsset instances with the specified constraints.

Inherited from:
ArbitraryInstances
def genSetOfSizeFromArbitrary[A : Arbitrary](from: Int, to: Int): Gen[Set[A]]

Attributes

Inherited from:
ArbitraryInstances
def genVectorOfSizeFromArbitrary[A : Arbitrary](from: Int, to: Int): Gen[IndexedSeq[A]]

Attributes

Inherited from:
ArbitraryInstances

Givens

Inherited givens

given TermShrink: Shrink[Term]

Attributes

Inherited from:
ArbitraryInstances
given arbAssocMap[A : Eq, B : Arbitrary]: Arbitrary[AssocMap[A, B]]

Attributes

Inherited from:
ArbitraryInstances
given arbData: Arbitrary[Data]

Attributes

Inherited from:
ArbitraryInstances
given arbList[A : Arbitrary]: Arbitrary[List[A]]

Attributes

Inherited from:
ArbitraryInstances
given arbOption[A : Arbitrary]: Arbitrary[Option[A]]

Attributes

Inherited from:
ArbitraryInstances
given arbSortedMap[A : Ord, B : Arbitrary]: Arbitrary[SortedMap[A, B]]

Attributes

Inherited from:
ArbitraryInstances
given arbitraryConstant: Arbitrary[Constant]

Attributes

Inherited from:
ArbitraryInstances
given arbitraryDefaultUni: Arbitrary[DefaultUni]

Attributes

Inherited from:
ArbitraryInstances
given arbitraryTerm: Arbitrary[Term]

Attributes

Inherited from:
ArbitraryInstances
given bArb: Arbitrary[B]

Attributes

Inherited from:
ArbitraryInstances
given byteStringArb: Arbitrary[ByteString]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Address: Arbitrary[Address]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_AddressBytes: Arbitrary[AddressBytes]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Anchor: Arbitrary[Anchor]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_AssetName: Arbitrary[AssetName]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_AuxiliaryData: Arbitrary[AuxiliaryData]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Block: Arbitrary[Block]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_BlockFile: Arbitrary[BlockFile]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_BlockHeader: Arbitrary[BlockHeader]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_BlockHeaderBody: Arbitrary[BlockHeaderBody]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_BootstrapWitness: Arbitrary[BootstrapWitness]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_ByronAddress: Arbitrary[ByronAddress]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Certificate: Arbitrary[Certificate]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Coin: Arbitrary[Coin]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Constitution: Arbitrary[Constitution]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_CostModels: Arbitrary[CostModels]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Credential: Arbitrary[Credential]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_DRep: Arbitrary[DRep]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_DatumOption: Arbitrary[DatumOption]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_ExUnitPrices: Arbitrary[ExUnitPrices]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_ExUnits: Arbitrary[ExUnits]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_GovAction: Arbitrary[GovAction]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_GovActionId: Arbitrary[GovActionId]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Hash[HF : HashSize, Purpose]: Arbitrary[Hash[HF, Purpose]]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_KeepRaw[A : Encoder]: Arbitrary[KeepRaw[A]]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Language: Arbitrary[Language]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Metadatum: Arbitrary[Metadatum]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Mint: Arbitrary[Mint]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_MultiAsset: Arbitrary[MultiAsset]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Native: Arbitrary[Native]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Network: Arbitrary[Network]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_NonNegativeInterval: Arbitrary[NonNegativeInterval]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_OperationalCert: Arbitrary[OperationalCert]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_PlutusV1: Arbitrary[PlutusV1]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_PlutusV2: Arbitrary[PlutusV2]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_PlutusV3: Arbitrary[PlutusV3]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Pointer: Arbitrary[Pointer]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_PoolMetadata: Arbitrary[PoolMetadata]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Program: Arbitrary[Program]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_ProposalProcedure: Arbitrary[ProposalProcedure]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_ProtocolParamUpdate: Arbitrary[ProtocolParamUpdate]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_ProtocolVersion: Arbitrary[ProtocolVersion]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Redeemer: Arbitrary[Redeemer]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_RedeemerTag: Arbitrary[RedeemerTag]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Redeemers: Arbitrary[Redeemers]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Relay: Arbitrary[Relay]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_RewardAccount: Arbitrary[RewardAccount]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Script: Arbitrary[Script]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_ScriptRef: Arbitrary[ScriptRef]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Set: Arbitrary[Set[ProposalProcedure]]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_ShelleyAddress: Arbitrary[ShelleyAddress]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_ShelleyPaymentPart: Arbitrary[ShelleyPaymentPart]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Sized[A : Encoder]: Arbitrary[Sized[A]]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Slot: Arbitrary[Slot]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_StakeAddress: Arbitrary[StakeAddress]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_StakePayload: Arbitrary[StakePayload]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_TaggedOrderedSet[A : Arbitrary]: Arbitrary[TaggedOrderedSet[A]]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_TaggedOrderedStrictSet[A : Arbitrary]: Arbitrary[TaggedOrderedStrictSet[A]]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_TaggedSortedMap[A : Arbitrary, K : Ordering](implicit evidence$1: Arbitrary[A], evidence$2: Ordering[K], KeyOf[K, A]): Arbitrary[TaggedSortedMap[K, A]]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_TaggedSortedSet[A : Ordering]: Arbitrary[TaggedSortedSet[A]]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_TaggedSortedStrictMap[A : Arbitrary, K : Ordering](implicit evidence$1: Arbitrary[A], evidence$2: Ordering[K], KeyOf[K, A]): Arbitrary[TaggedSortedStrictMap[K, A]]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Timelock: Arbitrary[Timelock]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Transaction: Arbitrary[Transaction]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_TransactionBody: Arbitrary[TransactionBody]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_TransactionInput: Arbitrary[TransactionInput]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_TransactionOutput: Arbitrary[TransactionOutput]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_UnitInterval: Arbitrary[UnitInterval]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_VKeyWitness: Arbitrary[VKeyWitness]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Value: Arbitrary[Value]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Vote: Arbitrary[Vote]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Voter: Arbitrary[Voter]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_VotingProcedure: Arbitrary[VotingProcedure]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_VotingProcedures: Arbitrary[VotingProcedures]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_VrfCert: Arbitrary[VrfCert]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Withdrawals: Arbitrary[Withdrawals]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Word64: Arbitrary[Word64]

Attributes

Inherited from:
ArbitraryInstances
given given_Shrink_Constant: Shrink[Constant]

Attributes

Inherited from:
ArbitraryInstances
given given_Shrink_Data: Shrink[Data]

Attributes

Inherited from:
ArbitraryInstances
given given_Shrink_Program: Shrink[Program]

Attributes

Inherited from:
ArbitraryInstances
given iArb: Arbitrary[I]

Attributes

Inherited from:
ArbitraryInstances
Generated with