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

PlutusIR.Core.Instance.Pretty

Orphan instances

DefaultPrettyPlcStrategy (Program tyname name uni fun ann) ⇒ PrettyBy PrettyConfigPlc (Program tyname name uni fun ann) Source # 
Instance details

Methods

prettyByPrettyConfigPlcProgram tyname name uni fun ann → Doc ann0 Source #

prettyListByPrettyConfigPlc → [Program tyname name uni fun ann] → Doc ann0 Source #

DefaultPrettyPlcStrategy (Term tyname name uni fun ann) ⇒ PrettyBy PrettyConfigPlc (Term tyname name uni fun ann) Source # 
Instance details

Methods

prettyByPrettyConfigPlcTerm tyname name uni fun ann → Doc ann0 Source #

prettyListByPrettyConfigPlc → [Term tyname name uni fun ann] → Doc ann0 Source #

PrettyBy (PrettyConfigClassic configName) Recursivity Source # 
Instance details

Methods

prettyByPrettyConfigClassic configName → RecursivityDoc ann Source #

prettyListByPrettyConfigClassic configName → [Recursivity] → Doc ann Source #

PrettyBy (PrettyConfigClassic configName) Strictness Source # 
Instance details

Methods

prettyByPrettyConfigClassic configName → StrictnessDoc ann Source #

prettyListByPrettyConfigClassic configName → [Strictness] → Doc ann Source #

(PrettyClassicBy configName tyname, Pretty ann) ⇒ PrettyBy (PrettyConfigClassic configName) (TyVarDecl tyname ann) Source # 
Instance details

Methods

prettyByPrettyConfigClassic configName → TyVarDecl tyname ann → Doc ann0 Source #

prettyListByPrettyConfigClassic configName → [TyVarDecl tyname ann] → Doc ann0 Source #

(PrettyClassicBy configName tyname, PrettyClassicBy configName name, PrettyParens (SomeTypeIn uni), Pretty ann) ⇒ PrettyBy (PrettyConfigClassic configName) (VarDecl tyname name uni ann) Source # 
Instance details

Methods

prettyByPrettyConfigClassic configName → VarDecl tyname name uni ann → Doc ann0 Source #

prettyListByPrettyConfigClassic configName → [VarDecl tyname name uni ann] → Doc ann0 Source #

(PrettyClassicBy configName tyname, PrettyClassicBy configName name, PrettyParens (SomeTypeIn uni), Pretty ann) ⇒ PrettyBy (PrettyConfigClassic configName) (Datatype tyname name uni ann) Source # 
Instance details

Methods

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

prettyListByPrettyConfigClassic configName → [Datatype tyname name uni ann] → Doc ann0 Source #

(PrettyClassicBy configName tyname, PrettyClassicBy configName name, PrettyUni uni, Pretty fun, Pretty ann) ⇒ PrettyBy (PrettyConfigClassic configName) (Binding tyname name uni fun ann) Source # 
Instance details

Methods

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

prettyListByPrettyConfigClassic configName → [Binding tyname name uni fun ann] → Doc ann0 Source #

(PrettyClassicBy configName tyname, PrettyClassicBy configName name, PrettyUni uni, Pretty fun, Pretty ann) ⇒ PrettyBy (PrettyConfigClassic configName) (Program tyname name uni fun ann) Source # 
Instance details

Methods

prettyByPrettyConfigClassic configName → Program tyname name uni fun ann → Doc ann0 Source #

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

Methods

prettyByPrettyConfigClassic configName → Term tyname name uni fun ann → Doc ann0 Source #

prettyListByPrettyConfigClassic configName → [Term tyname name uni fun ann] → Doc ann0 Source #

(PrettyClassic tyname, Pretty ann) ⇒ Pretty (TyVarDecl tyname ann) Source # 
Instance details

Methods

prettyTyVarDecl tyname ann → Doc ann0 #

prettyList ∷ [TyVarDecl tyname ann] → Doc ann0 #

(PrettyClassic tyname, PrettyClassic name, PrettyParens (SomeTypeIn uni), Pretty ann) ⇒ Pretty (VarDecl tyname name uni ann) Source # 
Instance details

Methods

prettyVarDecl tyname name uni ann → Doc ann0 #

prettyList ∷ [VarDecl tyname name uni ann] → Doc ann0 #

(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty ann) ⇒ Pretty (Datatype tyname name uni ann) Source # 
Instance details

Methods

prettyDatatype tyname name uni ann → Doc ann0 #

prettyList ∷ [Datatype tyname name uni ann] → Doc ann0 #

(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) ⇒ Pretty (Binding tyname name uni fun ann) Source # 
Instance details

Methods

prettyBinding tyname name uni fun ann → Doc ann0 #

prettyList ∷ [Binding tyname name uni fun ann] → Doc ann0 #

(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) ⇒ Pretty (Program tyname name uni fun ann) Source # 
Instance details

Methods

prettyProgram tyname name uni fun ann → Doc ann0 #

prettyList ∷ [Program tyname name uni fun ann] → Doc ann0 #

(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) ⇒ Pretty (Term tyname name uni fun ann) Source # 
Instance details

Methods

prettyTerm tyname name uni fun ann → Doc ann0 #

prettyList ∷ [Term tyname name uni fun ann] → Doc ann0 #