Copyright | (c) 2010-2011 Patrick Bahr Tom Hvitved |
---|---|
License | BSD3 |
Maintainer | Patrick Bahr <paba@diku.dk> |
Stability | experimental |
Portability | non-portable (GHC Extensions) |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
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)
.
Orphan instances
ShowF Maybe Source # | |
ShowF [] Source # | |
Show a => ShowF ((,) a) Source # | |
(Functor f, ShowF f) => ShowF (Cxt h f) Source # | |
(Functor f, ShowF f, Show a) => Show (Cxt h f a) Source # | |
(ShowConstr f, Show p) => ShowConstr (f :&: p) Source # | |
showConstr :: (f :&: p) a -> String Source # | |
(ShowConstr f, ShowConstr g) => ShowConstr (f :+: g) Source # | |
showConstr :: (f :+: g) a -> String Source # | |
(ShowF f, Show p) => ShowF (f :&: p) Source # | |
(ShowF f, ShowF g) => ShowF (f :+: g) Source # | |