PlutusCore.Core.Instance.Pretty.Readable
Contents
Description
A "readable" Agda-like way to pretty-print PLC entities.
Methods
prettyBy ∷ PrettyConfigReadable configName → Kind a → Doc ann Source #
prettyListBy ∷ PrettyConfigReadable configName → [Kind a] → Doc ann Source #
prettyBy ∷ PrettyConfigReadable configName → TyVarDecl tyname ann → Doc ann0 Source #
prettyListBy ∷ PrettyConfigReadable configName → [TyVarDecl tyname ann] → Doc ann0 Source #
prettyBy ∷ PrettyConfigReadable configName → Type tyname uni a → Doc ann Source #
prettyListBy ∷ PrettyConfigReadable configName → [Type tyname uni a] → Doc ann Source #
prettyBy ∷ PrettyConfigReadable configName → VarDecl tyname name uni ann → Doc ann0 Source #
prettyListBy ∷ PrettyConfigReadable configName → [VarDecl tyname name uni ann] → Doc ann0 Source #
prettyBy ∷ PrettyConfigReadable configName → Program tyname name uni fun a → Doc ann Source #
prettyListBy ∷ PrettyConfigReadable configName → [Program tyname name uni fun a] → Doc ann Source #
prettyBy ∷ PrettyConfigReadable configName → Term tyname name uni fun a → Doc ann Source #
prettyListBy ∷ PrettyConfigReadable configName → [Term tyname name uni fun a] → Doc ann Source #