Plain source file: base/AST/HsKindPretty.hs (2005-05-11)

HsKindPretty is imported by: BaseSyntaxPretty, HsKind.

-- Pretty printing for the K functor --

module HsKindPretty where

import PrettyPrint
import HsKindStruct
import PrettySymbols

instance Printable x => Printable (K x) where
    ppi (Kfun k1 k2) = wrap k1 <> rarrow <> k2
    ppi k            = wrap k

    wrap Kstar = star
    wrap Kpred = moon
    wrap Kprop = kw "P"
    wrap k     = parens (ppi k)   


(HTML for this module was generated on 2009-01-04. About the conversion tool.)