Util.Test.Arbitrary

Documentation

runGen :: Int -> Gen a -> a

Run given generator deterministically.

Orphan instances

Arbitrary T

Methods

arbitrary :: Gen T

shrink :: T -> [T]

Arbitrary ParameterType

Methods

arbitrary :: Gen ParameterType

shrink :: ParameterType -> [ParameterType]

Arbitrary Type

Methods

arbitrary :: Gen Type

shrink :: Type -> [Type]

Arbitrary StackTypePattern

Methods

arbitrary :: Gen StackTypePattern

shrink :: StackTypePattern -> [StackTypePattern]

Arbitrary TyVar

Methods

arbitrary :: Gen TyVar

shrink :: TyVar -> [TyVar]

Arbitrary Var

Methods

arbitrary :: Gen Var

shrink :: Var -> [Var]

Arbitrary EntriesOrder

Methods

arbitrary :: Gen EntriesOrder

shrink :: EntriesOrder -> [EntriesOrder]

Arbitrary InstrCallStack

Methods

arbitrary :: Gen InstrCallStack

shrink :: InstrCallStack -> [InstrCallStack]

Arbitrary LetName

Methods

arbitrary :: Gen LetName

shrink :: LetName -> [LetName]

Arbitrary SrcPos

Methods

arbitrary :: Gen SrcPos

shrink :: SrcPos -> [SrcPos]

Arbitrary Pos

Methods

arbitrary :: Gen Pos

shrink :: Pos -> [Pos]

Arbitrary InternalByteString

Methods

arbitrary :: Gen InternalByteString

shrink :: InternalByteString -> [InternalByteString]

Arbitrary ExpandedOp

Methods

arbitrary :: Gen ExpandedOp

shrink :: ExpandedOp -> [ExpandedOp]

Arbitrary ExpandedExtInstr

Methods

arbitrary :: Gen ExpandedExtInstr

shrink :: ExpandedExtInstr -> [ExpandedExtInstr]

ToADTArbitrary T

Methods

toADTArbitrarySingleton :: Proxy T -> Gen (ADTArbitrarySingleton T)

toADTArbitrary :: Proxy T -> Gen (ADTArbitrary T)

ToADTArbitrary ParameterType

Methods

toADTArbitrarySingleton :: Proxy ParameterType -> Gen (ADTArbitrarySingleton ParameterType)

toADTArbitrary :: Proxy ParameterType -> Gen (ADTArbitrary ParameterType)

ToADTArbitrary Type

Methods

toADTArbitrarySingleton :: Proxy Type -> Gen (ADTArbitrarySingleton Type)

toADTArbitrary :: Proxy Type -> Gen (ADTArbitrary Type)

ToADTArbitrary InstrCallStack

Methods

toADTArbitrarySingleton :: Proxy InstrCallStack -> Gen (ADTArbitrarySingleton InstrCallStack)

toADTArbitrary :: Proxy InstrCallStack -> Gen (ADTArbitrary InstrCallStack)

ToADTArbitrary LetName

Methods

toADTArbitrarySingleton :: Proxy LetName -> Gen (ADTArbitrarySingleton LetName)

toADTArbitrary :: Proxy LetName -> Gen (ADTArbitrary LetName)

ToADTArbitrary SrcPos

Methods

toADTArbitrarySingleton :: Proxy SrcPos -> Gen (ADTArbitrarySingleton SrcPos)

toADTArbitrary :: Proxy SrcPos -> Gen (ADTArbitrary SrcPos)

ToADTArbitrary Pos

Methods

toADTArbitrarySingleton :: Proxy Pos -> Gen (ADTArbitrarySingleton Pos)

toADTArbitrary :: Proxy Pos -> Gen (ADTArbitrary Pos)

ToADTArbitrary Mutez

Methods

toADTArbitrarySingleton :: Proxy Mutez -> Gen (ADTArbitrarySingleton Mutez)

toADTArbitrary :: Proxy Mutez -> Gen (ADTArbitrary Mutez)

ToADTArbitrary ExpandedOp

Methods

toADTArbitrarySingleton :: Proxy ExpandedOp -> Gen (ADTArbitrarySingleton ExpandedOp)

toADTArbitrary :: Proxy ExpandedOp -> Gen (ADTArbitrary ExpandedOp)

Arbitrary op => Arbitrary (Contract' op)

Methods

arbitrary :: Gen (Contract' op)

shrink :: Contract' op -> [Contract' op]

Arbitrary op => Arbitrary (Elt op)

Methods

arbitrary :: Gen (Elt op)

shrink :: Elt op -> [Elt op]

Arbitrary op => Arbitrary (Value' op)

Methods

arbitrary :: Gen (Value' op)

shrink :: Value' op -> [Value' op]

(Arbitrary op, Arbitrary (ExtInstrAbstract op)) => Arbitrary (InstrAbstract op)

Methods

arbitrary :: Gen (InstrAbstract op)

shrink :: InstrAbstract op -> [InstrAbstract op]

(Arbitrary op, ToADTArbitrary op) => ToADTArbitrary (Contract' op)

Methods

toADTArbitrarySingleton :: Proxy (Contract' op) -> Gen (ADTArbitrarySingleton (Contract' op))

toADTArbitrary :: Proxy (Contract' op) -> Gen (ADTArbitrary (Contract' op))

(Arbitrary op, ToADTArbitrary op) => ToADTArbitrary (Elt op)

Methods

toADTArbitrarySingleton :: Proxy (Elt op) -> Gen (ADTArbitrarySingleton (Elt op))

toADTArbitrary :: Proxy (Elt op) -> Gen (ADTArbitrary (Elt op))

(Arbitrary op, ToADTArbitrary op) => ToADTArbitrary (Value' op)

Methods

toADTArbitrarySingleton :: Proxy (Value' op) -> Gen (ADTArbitrarySingleton (Value' op))

toADTArbitrary :: Proxy (Value' op) -> Gen (ADTArbitrary (Value' op))

(Arbitrary op, ToADTArbitrary op, Arbitrary (ExtInstrAbstract op)) => ToADTArbitrary (InstrAbstract op)

Methods

toADTArbitrarySingleton :: Proxy (InstrAbstract op) -> Gen (ADTArbitrarySingleton (InstrAbstract op))

toADTArbitrary :: Proxy (InstrAbstract op) -> Gen (ADTArbitrary (InstrAbstract op))

Arbitrary (Annotation tag)

Methods

arbitrary :: Gen (Annotation tag)

shrink :: Annotation tag -> [Annotation tag]

ToADTArbitrary (Annotation tag)

Methods

toADTArbitrarySingleton :: Proxy (Annotation tag) -> Gen (ADTArbitrarySingleton (Annotation tag))

toADTArbitrary :: Proxy (Annotation tag) -> Gen (ADTArbitrary (Annotation tag))