morley-1.7.0: Developer tools for the Michelson Language
Safe HaskellNone
LanguageHaskell2010

Util.Test.Arbitrary

Synopsis

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)) #