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