morley-0.3.0: Developer tools for the Michelson Language
Util.Test.Arbitrary
Contents
runGen :: Int -> Gen a -> a Source #
Run given generator deterministically.
Methods
arbitrary :: Gen InstrCallStack #
shrink :: InstrCallStack -> [InstrCallStack] #
arbitrary :: Gen LetName #
shrink :: LetName -> [LetName] #
arbitrary :: Gen SrcPos #
shrink :: SrcPos -> [SrcPos] #
arbitrary :: Gen Pos #
shrink :: Pos -> [Pos] #
arbitrary :: Gen VarAnn #
shrink :: VarAnn -> [VarAnn] #
arbitrary :: Gen FieldAnn #
shrink :: FieldAnn -> [FieldAnn] #
arbitrary :: Gen TypeAnn #
shrink :: TypeAnn -> [TypeAnn] #
arbitrary :: Gen CT #
shrink :: CT -> [CT] #
arbitrary :: Gen T #
shrink :: T -> [T] #
arbitrary :: Gen Comparable #
shrink :: Comparable -> [Comparable] #
arbitrary :: Gen Type #
shrink :: Type -> [Type] #
arbitrary :: Gen StackTypePattern #
shrink :: StackTypePattern -> [StackTypePattern] #
arbitrary :: Gen TyVar #
shrink :: TyVar -> [TyVar] #
arbitrary :: Gen Var #
shrink :: Var -> [Var] #
arbitrary :: Gen InternalByteString #
shrink :: InternalByteString -> [InternalByteString] #
arbitrary :: Gen ExpandedOp #
shrink :: ExpandedOp -> [ExpandedOp] #
arbitrary :: Gen ExpandedExtInstr #
shrink :: ExpandedExtInstr -> [ExpandedExtInstr] #
toADTArbitrarySingleton :: Proxy InstrCallStack -> Gen (ADTArbitrarySingleton InstrCallStack) #
toADTArbitrary :: Proxy InstrCallStack -> Gen (ADTArbitrary InstrCallStack) #
toADTArbitrarySingleton :: Proxy LetName -> Gen (ADTArbitrarySingleton LetName) #
toADTArbitrary :: Proxy LetName -> Gen (ADTArbitrary LetName) #
toADTArbitrarySingleton :: Proxy SrcPos -> Gen (ADTArbitrarySingleton SrcPos) #
toADTArbitrary :: Proxy SrcPos -> Gen (ADTArbitrary SrcPos) #
toADTArbitrarySingleton :: Proxy Pos -> Gen (ADTArbitrarySingleton Pos) #
toADTArbitrary :: Proxy Pos -> Gen (ADTArbitrary Pos) #
toADTArbitrarySingleton :: Proxy VarAnn -> Gen (ADTArbitrarySingleton VarAnn) #
toADTArbitrary :: Proxy VarAnn -> Gen (ADTArbitrary VarAnn) #
toADTArbitrarySingleton :: Proxy FieldAnn -> Gen (ADTArbitrarySingleton FieldAnn) #
toADTArbitrary :: Proxy FieldAnn -> Gen (ADTArbitrary FieldAnn) #
toADTArbitrarySingleton :: Proxy TypeAnn -> Gen (ADTArbitrarySingleton TypeAnn) #
toADTArbitrary :: Proxy TypeAnn -> Gen (ADTArbitrary TypeAnn) #
toADTArbitrarySingleton :: Proxy CT -> Gen (ADTArbitrarySingleton CT) #
toADTArbitrary :: Proxy CT -> Gen (ADTArbitrary CT) #
toADTArbitrarySingleton :: Proxy T -> Gen (ADTArbitrarySingleton T) #
toADTArbitrary :: Proxy T -> Gen (ADTArbitrary T) #
toADTArbitrarySingleton :: Proxy Comparable -> Gen (ADTArbitrarySingleton Comparable) #
toADTArbitrary :: Proxy Comparable -> Gen (ADTArbitrary Comparable) #
toADTArbitrarySingleton :: Proxy Type -> Gen (ADTArbitrarySingleton Type) #
toADTArbitrary :: Proxy Type -> Gen (ADTArbitrary Type) #
toADTArbitrarySingleton :: Proxy Mutez -> Gen (ADTArbitrarySingleton Mutez) #
toADTArbitrary :: Proxy Mutez -> Gen (ADTArbitrary Mutez) #
toADTArbitrarySingleton :: Proxy ExpandedOp -> Gen (ADTArbitrarySingleton ExpandedOp) #
toADTArbitrary :: Proxy ExpandedOp -> Gen (ADTArbitrary ExpandedOp) #
arbitrary :: Gen (Contract' op) #
shrink :: Contract' op -> [Contract' op] #
arbitrary :: Gen (Elt op) #
shrink :: Elt op -> [Elt op] #
arbitrary :: Gen (Value' op) #
shrink :: Value' op -> [Value' op] #
arbitrary :: Gen (InstrAbstract op) #
shrink :: InstrAbstract op -> [InstrAbstract op] #
toADTArbitrarySingleton :: Proxy (Contract' op) -> Gen (ADTArbitrarySingleton (Contract' op)) #
toADTArbitrary :: Proxy (Contract' op) -> Gen (ADTArbitrary (Contract' op)) #
toADTArbitrarySingleton :: Proxy (Elt op) -> Gen (ADTArbitrarySingleton (Elt op)) #
toADTArbitrary :: Proxy (Elt op) -> Gen (ADTArbitrary (Elt op)) #
toADTArbitrarySingleton :: Proxy (Value' op) -> Gen (ADTArbitrarySingleton (Value' op)) #
toADTArbitrary :: Proxy (Value' op) -> Gen (ADTArbitrary (Value' op)) #
toADTArbitrarySingleton :: Proxy (InstrAbstract op) -> Gen (ADTArbitrarySingleton (InstrAbstract op)) #
toADTArbitrary :: Proxy (InstrAbstract op) -> Gen (ADTArbitrary (InstrAbstract op)) #