Safe Haskell	None
Language	Haskell2010

Util.Test.Arbitrary

Contents

Orphan instances

Synopsis

runGen :: Int -> Gen a -> a

Documentation

runGen :: Int -> Gen a -> a Source #

Run given generator deterministically.

Orphan instances

Arbitrary T Source #
Instance details Methods arbitrary :: Gen T # shrink :: T -> [T] #
Arbitrary ParameterType Source #
Instance details Methods arbitrary :: Gen ParameterType # shrink :: ParameterType -> [ParameterType] #
Arbitrary Type Source #
Instance details Methods arbitrary :: Gen Type # shrink :: Type -> [Type] #
Arbitrary StackTypePattern Source #
Instance details Methods arbitrary :: Gen StackTypePattern # shrink :: StackTypePattern -> [StackTypePattern] #
Arbitrary TyVar Source #
Instance details Methods arbitrary :: Gen TyVar # shrink :: TyVar -> [TyVar] #
Arbitrary Var Source #
Instance details Methods arbitrary :: Gen Var # shrink :: Var -> [Var] #
Arbitrary EntriesOrder Source #
Instance details Methods arbitrary :: Gen EntriesOrder # shrink :: EntriesOrder -> [EntriesOrder] #
Arbitrary InstrCallStack Source #
Instance details Methods arbitrary :: Gen InstrCallStack # shrink :: InstrCallStack -> [InstrCallStack] #
Arbitrary LetName Source #
Instance details Methods arbitrary :: Gen LetName # shrink :: LetName -> [LetName] #
Arbitrary SrcPos Source #
Instance details Methods arbitrary :: Gen SrcPos # shrink :: SrcPos -> [SrcPos] #
Arbitrary Pos Source #
Instance details Methods arbitrary :: Gen Pos # shrink :: Pos -> [Pos] #
Arbitrary InternalByteString Source #
Instance details Methods arbitrary :: Gen InternalByteString # shrink :: InternalByteString -> [InternalByteString] #
Arbitrary ExpandedOp Source #
Instance details Methods arbitrary :: Gen ExpandedOp # shrink :: ExpandedOp -> [ExpandedOp] #
Arbitrary ExpandedExtInstr Source #
Instance details Methods arbitrary :: Gen ExpandedExtInstr # shrink :: ExpandedExtInstr -> [ExpandedExtInstr] #
ToADTArbitrary T Source #
Instance details Methods toADTArbitrarySingleton :: Proxy T -> Gen (ADTArbitrarySingleton T) # toADTArbitrary :: Proxy T -> Gen (ADTArbitrary T) #
ToADTArbitrary ParameterType Source #
Instance details Methods toADTArbitrarySingleton :: Proxy ParameterType -> Gen (ADTArbitrarySingleton ParameterType) # toADTArbitrary :: Proxy ParameterType -> Gen (ADTArbitrary ParameterType) #
ToADTArbitrary Type Source #
Instance details Methods toADTArbitrarySingleton :: Proxy Type -> Gen (ADTArbitrarySingleton Type) # toADTArbitrary :: Proxy Type -> Gen (ADTArbitrary Type) #
ToADTArbitrary InstrCallStack Source #
Instance details Methods toADTArbitrarySingleton :: Proxy InstrCallStack -> Gen (ADTArbitrarySingleton InstrCallStack) # toADTArbitrary :: Proxy InstrCallStack -> Gen (ADTArbitrary InstrCallStack) #
ToADTArbitrary LetName Source #
Instance details Methods toADTArbitrarySingleton :: Proxy LetName -> Gen (ADTArbitrarySingleton LetName) # toADTArbitrary :: Proxy LetName -> Gen (ADTArbitrary LetName) #
ToADTArbitrary SrcPos Source #
Instance details Methods toADTArbitrarySingleton :: Proxy SrcPos -> Gen (ADTArbitrarySingleton SrcPos) # toADTArbitrary :: Proxy SrcPos -> Gen (ADTArbitrary SrcPos) #
ToADTArbitrary Pos Source #
Instance details Methods toADTArbitrarySingleton :: Proxy Pos -> Gen (ADTArbitrarySingleton Pos) # toADTArbitrary :: Proxy Pos -> Gen (ADTArbitrary Pos) #
ToADTArbitrary Mutez Source #
Instance details Methods toADTArbitrarySingleton :: Proxy Mutez -> Gen (ADTArbitrarySingleton Mutez) # toADTArbitrary :: Proxy Mutez -> Gen (ADTArbitrary Mutez) #
ToADTArbitrary ExpandedOp Source #
Instance details Methods toADTArbitrarySingleton :: Proxy ExpandedOp -> Gen (ADTArbitrarySingleton ExpandedOp) # toADTArbitrary :: Proxy ExpandedOp -> Gen (ADTArbitrary ExpandedOp) #
Arbitrary op => Arbitrary (Contract' op) Source #
Instance details Methods arbitrary :: Gen (Contract' op) # shrink :: Contract' op -> [Contract' op] #
Arbitrary op => Arbitrary (Elt op) Source #
Instance details Methods arbitrary :: Gen (Elt op) # shrink :: Elt op -> [Elt op] #
Arbitrary op => Arbitrary (Value' op) Source #
Instance details Methods arbitrary :: Gen (Value' op) # shrink :: Value' op -> [Value' op] #
(Arbitrary op, Arbitrary (ExtInstrAbstract op)) => Arbitrary (InstrAbstract op) Source #
Instance details Methods arbitrary :: Gen (InstrAbstract op) # shrink :: InstrAbstract op -> [InstrAbstract op] #
(Arbitrary op, ToADTArbitrary op) => ToADTArbitrary (Contract' op) Source #
Instance details Methods toADTArbitrarySingleton :: Proxy (Contract' op) -> Gen (ADTArbitrarySingleton (Contract' op)) # toADTArbitrary :: Proxy (Contract' op) -> Gen (ADTArbitrary (Contract' op)) #
(Arbitrary op, ToADTArbitrary op) => ToADTArbitrary (Elt op) Source #
Instance details Methods toADTArbitrarySingleton :: Proxy (Elt op) -> Gen (ADTArbitrarySingleton (Elt op)) # toADTArbitrary :: Proxy (Elt op) -> Gen (ADTArbitrary (Elt op)) #
(Arbitrary op, ToADTArbitrary op) => ToADTArbitrary (Value' op) Source #
Instance details 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) Source #
Instance details Methods toADTArbitrarySingleton :: Proxy (InstrAbstract op) -> Gen (ADTArbitrarySingleton (InstrAbstract op)) # toADTArbitrary :: Proxy (InstrAbstract op) -> Gen (ADTArbitrary (InstrAbstract op)) #
Arbitrary (Annotation tag) Source #
Instance details Methods arbitrary :: Gen (Annotation tag) # shrink :: Annotation tag -> [Annotation tag] #
ToADTArbitrary (Annotation tag) Source #
Instance details Methods toADTArbitrarySingleton :: Proxy (Annotation tag) -> Gen (ADTArbitrarySingleton (Annotation tag)) # toADTArbitrary :: Proxy (Annotation tag) -> Gen (ADTArbitrary (Annotation tag)) #