---
name: "Testing.Arbitrary"
section: "3kaya"
platform: "linux"
package: "kaya"
version: "0.4.4-6.2"
release: "Debian 8 (Jessie)"
platforms: ["linux"]
url: "https://new.carta.tech/Testing.Arbitrary"
---

# 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 (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.