Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
A "classic" (i.e. as seen in the specification) way to pretty-print PLC entities.
Orphan instances
Pretty ann ⇒ PrettyBy (PrettyConfigClassic configName) (Kind ann) Source # | |
prettyBy ∷ PrettyConfigClassic configName → Kind ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigClassic configName → [Kind ann] → Doc ann0 Source # | |
(PrettyClassicBy configName tyname, PrettyParens (SomeTypeIn uni), Pretty ann) ⇒ PrettyBy (PrettyConfigClassic configName) (Type tyname uni ann) Source # | |
prettyBy ∷ PrettyConfigClassic configName → Type tyname uni ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigClassic configName → [Type tyname uni ann] → Doc ann0 Source # | |
(PrettyClassicBy configName (Term tyname name uni fun ann), Pretty ann) ⇒ PrettyBy (PrettyConfigClassic configName) (Program tyname name uni fun ann) Source # | |
prettyBy ∷ PrettyConfigClassic configName → Program tyname name uni fun ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigClassic configName → [Program tyname name uni fun ann] → Doc ann0 Source # | |
(PrettyClassicBy configName tyname, PrettyClassicBy configName name, PrettyUni uni, Pretty fun, Pretty ann) ⇒ PrettyBy (PrettyConfigClassic configName) (Term tyname name uni fun ann) Source # | |
prettyBy ∷ PrettyConfigClassic configName → Term tyname name uni fun ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigClassic configName → [Term tyname name uni fun ann] → Doc ann0 Source # |