ArbitraryInstances

scalus.uplc.test.ArbitraryInstances

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Concrete methods

def genByteStringOfN(n: Int): Gen[ByteString]

Givens

Givens

given TermShrink: Shrink[Term]
given arbAssocMap[A : Eq, B : Arbitrary]: Arbitrary[AssocMap[A, B]]
given arbData: Arbitrary[Data]
given arbList[A : Arbitrary]: Arbitrary[List[A]]
given arbOption[A : Arbitrary]: Arbitrary[Option[A]]
given arbSortedMap[A : Ord, B : Arbitrary]: Arbitrary[SortedMap[A, B]]
given arbitraryConstant: Arbitrary[Constant]
given arbitraryDefaultUni: Arbitrary[DefaultUni]
given arbitraryTerm: Arbitrary[Term]
given bArb: Arbitrary[B]
given byteStringArb: Arbitrary[ByteString]
given given_Arbitrary_Program: Arbitrary[Program]
given given_Shrink_Data: Shrink[Data]
given given_Shrink_Program: Shrink[Program]
given iArb: Arbitrary[I]