| Portability | non-portable (GHC Extensions) |
|---|---|
| Stability | experimental |
| Maintainer | Tom Hvitved <hvitved@diku.dk> |
Data.Comp.MultiParam.Any
Description
This module defines the empty data type Any, which is used to emulate
parametricity ("poor mans parametricity").
- data Any
Documentation
The empty data type Any is used to emulate parametricity
("poor mans parametricity").
Instances
| (HDifunctor f, EqHD f) => Eq (Term f i) | Equality on terms. |
| (HDifunctor f, OrdHD f) => Ord (Term f i) | Ordering of terms. |
| (HDifunctor f, ShowHD f) => Show (Term f i) | Printing of terms. |