Portability | non-portable (GHC Extensions) |
---|---|
Stability | experimental |
Maintainer | Patrick Bahr <paba@diku.dk> |
Data.Comp.Arbitrary
Description
This module defines generation of arbitrary values for signatures, which lifts to generating arbitrary terms.
- class ArbitraryF f where
- arbitraryF' :: Arbitrary v => [(Int, Gen (f v))]
- arbitraryF :: Arbitrary v => Gen (f v)
- shrinkF :: Arbitrary v => f v -> [f v]
Documentation
class ArbitraryF f whereSource
Signature arbitration. An instance ArbitraryF f
gives rise to an instance
Arbitrary (Term f)
.
Methods
arbitraryF' :: Arbitrary v => [(Int, Gen (f v))]Source
arbitraryF :: Arbitrary v => Gen (f v)Source
Instances