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").
Ditraversable (->) [] Any | |
Ditraversable (->) Maybe Any | Functions of the type |
Ditraversable (->) (Either e) Any | |
Ditraversable (->) m Any => Ditraversable (->) (ListT m) Any | |
(Error e, Ditraversable (->) m Any) => Ditraversable (->) (ErrorT e m) Any | |
Ditraversable (->) m Any => Ditraversable (->) (StateT s m) Any | |
(Monoid w, Ditraversable (->) m Any) => Ditraversable (->) (WriterT w m) Any | |
(Monoid w, Ditraversable (->) m Any) => Ditraversable (->) (RWST r w s m) Any | |
(Difunctor f, EqD f) => Eq (Term f) | Equality on terms. |
(Difunctor f, OrdD f) => Ord (Term f) | Ordering of terms. |
(Difunctor f, ShowD f) => Show (Term f) | Printing of terms. |