1Testing.Arbitrary(3kaya)     Kaya module reference    Testing.Arbitrary(3kaya)
2
3
4

NAME

6       Testing::Arbitrary - An arbitrary union type.
7

SYNOPSIS

9       Testing::Arbitrary< >
10
11
12     = AnInt(Int num)
13
14
15     | AString(String str)
16
17
18     | AChar(Char ch)
19
20
21     | AFloat(Float float)
22
23
24     | AnArray([Testing::Arbitrary] array)
25
26
27     | Recursive(Testing::Arbitrary value)
28
29
30     | RecPair(Testing::Arbitrary value1,Testing::Arbitrary value2)
31

DESCRIPTION

33       This  data  type  is  used to create completely random union values for
34       testing polymorphic functions.
35

AUTHORS

37       Kaya  standard  library  by  Edwin  Brady,  Chris  Morris  and   others
38       (kaya@kayalang.org). For further information see http://kayalang.org/
39

LICENSE

41       The  Kaya  standard  library  is free software; you can redistribute it
42       and/or modify it under the terms  of  the  GNU  Lesser  General  Public
43       License  (version  2.1  or  any later version) as published by the Free
44       Software Foundation.
45
46
47
48Kaya                             December 2010        Testing.Arbitrary(3kaya)