Portability | non-portable (GHC Extensions) |
---|---|
Stability | experimental |
Maintainer | Tom Hvitved <hvitved@diku.dk> |
This module defines showing of signatures, which lifts to showing of terms.
Documentation
Signature printing. An instance ShowD f
gives rise to an instance
Show (Term f)
.