docs
API
Generated with
docs/scalus/scalus.cardano/scalus.cardano.onchain/scalus.cardano.onchain.plutus/scalus.cardano.onchain.plutus.v1/ArbitraryInstances

ArbitraryInstances

scalus.cardano.onchain.plutus.v1.ArbitraryInstances
See theArbitraryInstances companion object
trait ArbitraryInstances extends ArbitraryInstances

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ScalusTest
trait YaciDevKit
Show all

Members list

Value members

Concrete methods

def genAmount: Gen[BigInt]
def genAsset: Gen[Value]
def genAssetName: Gen[ByteString]

Generates a random asset name, which is a ByteString of length between 1 and 32 bytes.

Generates a random asset name, which is a ByteString of length between 1 and 32 bytes.

Attributes

def genLovelace: Gen[Value]
def genToken: Gen[(ByteString, BigInt)]

Inherited methods

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

Attributes

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

Attributes

Inherited from:
ArbitraryInstances

Givens

Givens

given TxIdV1: Arbitrary[TxId]
given given_Arbitrary_Address: Arbitrary[Address]
given given_Arbitrary_Value: Arbitrary[Value]

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_Program: Arbitrary[Program]

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