Testing.Arbitrary (3kaya)

An arbitrary union type.

  1. Carta.tech
  2. Man Pages
  3. MISSING SECTION
  4. Testing.Arbitrary: An arbitrary union type.
  1. Carta.tech
  2. Packages
  3. kaya
  4. 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.