Pretty Name Source # | |
Instance details |
Pretty TyName Source # | |
Instance details |
Pretty ann ⇒ Pretty (Kind ann) Source # | |
Instance details |
(PrettyClassic tyname, PrettyParens (SomeTypeIn uni), Pretty ann) ⇒ Pretty (Type tyname uni ann) Source # | |
Instance details |
(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) ⇒ Pretty (Program tyname name uni fun ann) Source # | |
Instance details |
(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) ⇒ Pretty (Term tyname name uni fun ann) Source # | |
Instance details |