Portability | non-portable (GHC Extensions) |
---|---|
Stability | experimental |
Maintainer | Tom Hvitved <hvitved@diku.dk> |
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").
(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. |