plutus-core-1.36.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusIR.Core.Instance.Pretty.Readable

Orphan instances

PrettyConstraints configName tyname name uni ⇒ PrettyBy (PrettyConfigReadable configName) (Datatype tyname name uni ann) Source # 
Instance details

Methods

prettyByPrettyConfigReadable configName → Datatype tyname name uni ann → Doc ann0 Source #

prettyListByPrettyConfigReadable 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 # 
Instance details

Methods

prettyByPrettyConfigReadable configName → Binding tyname name uni fun ann → Doc ann0 Source #

prettyListByPrettyConfigReadable 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 # 
Instance details

Methods

prettyByPrettyConfigReadable configName → Program tyname name uni fun a → Doc ann Source #

prettyListByPrettyConfigReadable 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 # 
Instance details

Methods

prettyByPrettyConfigReadable configName → Term tyname name uni fun a → Doc ann Source #

prettyListByPrettyConfigReadable configName → [Term tyname name uni fun a] → Doc ann Source #