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 trait
object ArbitraryInstances extends ArbitraryInstances

Attributes

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

Members list

Value members

Inherited methods

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

Attributes

Inherited from:
ArbitraryInstances
def genAmount: Gen[BigInt]

Attributes

Inherited from:
ArbitraryInstances
def genAsset: Gen[Value]

Attributes

Inherited from:
ArbitraryInstances
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

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

Attributes

Inherited from:
ArbitraryInstances
def genLovelace: Gen[Value]

Attributes

Inherited from:
ArbitraryInstances
def genPolicyId: Gen[ByteString]

Attributes

Inherited from:
ArbitraryInstances
def genToken: Gen[(ByteString, BigInt)]

Attributes

Inherited from:
ArbitraryInstances

Givens

Inherited givens

given TermShrink: Shrink[Term]

Attributes

Inherited from:
ArbitraryInstances
given TxIdV1: Arbitrary[TxId]

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_Credential: Arbitrary[Credential]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Interval: Arbitrary[Interval]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_IntervalBound: Arbitrary[IntervalBound]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_IntervalBoundType: Arbitrary[IntervalBoundType]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Program: Arbitrary[Program]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_PubKeyHash: Arbitrary[PubKeyHash]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_StakingCredential: Arbitrary[StakingCredential]

Attributes

Inherited from:
ArbitraryInstances
given given_Arbitrary_Value: Arbitrary[Value]

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