| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
UntypedPlutusCore.Core.Instance.Pretty.Readable
Contents
Description
A "readable" Agda-like way to pretty-print Untyped Plutus Core terms.
Orphan instances
| PrettyReadableBy configName (Term name uni fun a) ⇒ PrettyBy (PrettyConfigReadable configName) (Program name uni fun a) Source # | |
Methods prettyBy ∷ PrettyConfigReadable configName → Program name uni fun a → Doc ann Source # prettyListBy ∷ PrettyConfigReadable configName → [Program name uni fun a] → Doc ann Source # | |
| (PrettyReadableBy configName name, PrettyUni uni, Pretty fun, Show configName) ⇒ PrettyBy (PrettyConfigReadable configName) (Term name uni fun a) Source # | |
Methods prettyBy ∷ PrettyConfigReadable configName → Term name uni fun a → Doc ann Source # prettyListBy ∷ PrettyConfigReadable configName → [Term name uni fun a] → Doc ann Source # | |