ToolShed.Test.QuickCheck.Arbitrary.Array

AUTHOR

Dr. Alistair Ward

DESCRIPTION

Implements Arbitrary for Array, where the array-index is required to be a bounded enumerable type.

EXAMPLE

Test.QuickCheck.sample (Test.QuickCheck.arbitrary :: Test.QuickCheck.Gen.Gen (Data.Array.IArray.Array Data.Int.Int8 Int))

Orphan instances

(Bounded i, Ix i, Enum i, Arbitrary e) => Arbitrary (Array i e)

Methods

arbitrary :: Gen (Array i e)

shrink :: Array i e -> [Array i e]