Copyright | (c) 2011 Patrick Bahr Tom Hvitved |
---|---|
License | BSD3 |
Maintainer | Tom Hvitved <hvitved@diku.dk> |
Stability | experimental |
Portability | non-portable (GHC Extensions) |
Safe Haskell | None |
Language | Haskell98 |
This module defines showing of signatures, which lifts to showing of terms.
Synopsis
- class ShowHD f where
Documentation
Signature printing. An instance ShowHD f
gives rise to an instance
Show (Term f i)
.
Orphan instances
(HDifunctor f, ShowHD f) => Show (Term f i) Source # | Printing of terms. |
(ShowHD f, Show p) => ShowHD (f :&: p) Source # | |
(ShowHD f, ShowHD g) => ShowHD (f :+: g) Source # | |
(HDifunctor f, ShowHD f) => ShowHD (Cxt h f) Source # | From an |