DefaultPrettyPlcStrategy (Program tyname name uni fun ann) ⇒ PrettyBy PrettyConfigPlc (Program tyname name uni fun ann) Source # | |
Instance details |
DefaultPrettyPlcStrategy (Term tyname name uni fun ann) ⇒ PrettyBy PrettyConfigPlc (Term tyname name uni fun ann) Source # | |
Instance details |
PrettyBy (PrettyConfigClassic configName) Recursivity Source # | |
Instance details |
PrettyBy (PrettyConfigClassic configName) Strictness Source # | |
Instance details |
(PrettyClassicBy configName tyname, Pretty ann) ⇒ PrettyBy (PrettyConfigClassic configName) (TyVarDecl tyname ann) Source # | |
Instance details |
(PrettyClassicBy configName tyname, PrettyClassicBy configName name, PrettyParens (SomeTypeIn uni), Pretty ann) ⇒ PrettyBy (PrettyConfigClassic configName) (VarDecl tyname name uni ann) Source # | |
Instance details |
(PrettyClassicBy configName tyname, PrettyClassicBy configName name, PrettyParens (SomeTypeIn uni), Pretty ann) ⇒ PrettyBy (PrettyConfigClassic configName) (Datatype tyname name uni ann) Source # | |
Instance details |
(PrettyClassicBy configName tyname, PrettyClassicBy configName name, PrettyUni uni, Pretty fun, Pretty ann) ⇒ PrettyBy (PrettyConfigClassic configName) (Binding tyname name uni fun ann) Source # | |
Instance details |
(PrettyClassicBy configName tyname, PrettyClassicBy configName name, PrettyUni uni, Pretty fun, Pretty ann) ⇒ PrettyBy (PrettyConfigClassic configName) (Program tyname name uni fun ann) Source # | |
Instance details |
(PrettyClassicBy configName tyname, PrettyClassicBy configName name, PrettyUni uni, Pretty fun, Pretty ann) ⇒ PrettyBy (PrettyConfigClassic configName) (Term tyname name uni fun ann) Source # | |
Instance details |
(PrettyClassic tyname, Pretty ann) ⇒ Pretty (TyVarDecl tyname ann) Source # | |
Instance details |
(PrettyClassic tyname, PrettyClassic name, PrettyParens (SomeTypeIn uni), Pretty ann) ⇒ Pretty (VarDecl tyname name uni ann) Source # | |
Instance details |
(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty ann) ⇒ Pretty (Datatype tyname name uni ann) Source # | |
Instance details |
(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) ⇒ Pretty (Binding tyname name uni fun 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 |