trusty (3) Testing.Arbitrary.3kaya.gz

NAME

       Testing::Arbitrary - An arbitrary union type.

SYNOPSIS

       Testing::Arbitrary< >

     = AnInt(Int num)

     | AString(String str)

     | AChar(Char ch)

     | AFloat(Float float)

     | AnArray([Testing::Arbitrary] array)

     | Recursive(Testing::Arbitrary value)

     | RecPair(Testing::Arbitrary value1,Testing::Arbitrary value2)

DESCRIPTION

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

AUTHORS

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

LICENSE

       The Kaya standard library is free software; you can redistribute it and/or modify it under the  terms  of
       the  GNU  Lesser  General  Public  License  (version  2.1  or any later version) as published by the Free
       Software Foundation.