| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusIR.Core.Instance.Pretty.Readable
Contents
Synopsis
- prettyPirReadable ∷ PrettyPir a ⇒ a → Doc ann
- prettyPirReadableSimple ∷ PrettyPir a ⇒ a → Doc ann
- type PrettyPir = PrettyBy (PrettyConfigReadable PrettyConfigName)
Documentation
prettyPirReadable ∷ PrettyPir a ⇒ a → Doc ann Source #
Pretty-print something with the PrettyConfigReadable config.
prettyPirReadableSimple ∷ PrettyPir a ⇒ a → Doc ann Source #
Pretty-print something with the PrettyConfigReadableSimple config.
Orphan instances
| PrettyConstraints configName tyname name uni ⇒ PrettyBy (PrettyConfigReadable configName) (Datatype tyname name uni ann) Source # | |
Methods prettyBy ∷ PrettyConfigReadable configName → Datatype tyname name uni ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigReadable configName → [Datatype tyname name uni ann] → Doc ann0 Source # | |
| (PrettyConstraints configName tyname name uni, Pretty fun) ⇒ PrettyBy (PrettyConfigReadable configName) (Binding tyname name uni fun ann) Source # | |
Methods prettyBy ∷ PrettyConfigReadable configName → Binding tyname name uni fun ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigReadable configName → [Binding tyname name uni fun ann] → Doc ann0 Source # | |
| (PrettyConstraints configName tyname name uni, Pretty fun) ⇒ PrettyBy (PrettyConfigReadable configName) (Program tyname name uni fun a) Source # | |
Methods prettyBy ∷ PrettyConfigReadable configName → Program tyname name uni fun a → Doc ann Source # prettyListBy ∷ PrettyConfigReadable configName → [Program tyname name uni fun a] → Doc ann Source # | |
| (PrettyConstraints configName tyname name uni, Pretty fun) ⇒ PrettyBy (PrettyConfigReadable configName) (Term tyname name uni fun a) Source # | |
Methods prettyBy ∷ PrettyConfigReadable configName → Term tyname name uni fun a → Doc ann Source # prettyListBy ∷ PrettyConfigReadable configName → [Term tyname name uni fun a] → Doc ann Source # | |