Safe Haskell | None |
---|

The "prelude": a standard signature containing useful functions
like `++`

, which can be used as background theory.

- newtype A = A Int
- newtype B = B Int
- newtype C = C Int
- data Two
- bools :: Sig
- arith :: forall a. (Typeable a, Ord a, Num a, Arbitrary a) => a -> Sig
- lists :: forall a. (Typeable a, Ord a, Arbitrary a) => a -> Sig
- funs :: forall a. (Typeable a, Ord a, Arbitrary a, CoArbitrary a) => a -> Sig
- prelude :: (Typeable a, Ord a, Arbitrary a) => a -> Sig

# Documentation

Just a type. You can instantiate your polymorphic functions at this type to include them in a signature.

A type with two elements.
Use this instead of `A`

if testing doesn't work well because
the domain of `A`

is too large.