| Copyright | (c) 2011 Patrick Bahr |
|---|---|
| License | BSD3 |
| Maintainer | Patrick Bahr <paba@diku.dk> |
| Stability | experimental |
| Portability | non-portable (GHC Extensions) |
| Safe Haskell | None |
| Language | Haskell98 |
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 where Source
Signature arbitration. An instance ArbitraryF f gives rise to an instance
Arbitrary (Term f).
Minimal complete definition
Nothing