Reference

Testing.Arbitrary(3kaya)

An arbitrary union type.

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 ([email protected]). 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.

History