Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusIR.Core.Instance.Pretty

Contents

Orphan instances

Orphan instances

DefaultPrettyPlcStrategy (Program tyname name uni fun ann) ⇒ PrettyBy PrettyConfigPlc (Program tyname name uni fun ann) Source #
Instance details Methods prettyBy ∷ PrettyConfigPlc → Program tyname name uni fun ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigPlc → [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 prettyBy ∷ PrettyConfigPlc → Term tyname name uni fun ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigPlc → [Term tyname name uni fun ann] → Doc ann0 Source #
PrettyBy (PrettyConfigClassic configName) Recursivity Source #
Instance details Methods prettyBy ∷ PrettyConfigClassic configName → Recursivity → Doc ann Source # prettyListBy ∷ PrettyConfigClassic configName → [Recursivity] → Doc ann Source #
PrettyBy (PrettyConfigClassic configName) Strictness Source #
Instance details Methods prettyBy ∷ PrettyConfigClassic configName → Strictness → Doc ann Source # prettyListBy ∷ PrettyConfigClassic configName → [Strictness] → Doc ann Source #
(PrettyClassicBy configName tyname, Pretty ann) ⇒ PrettyBy (PrettyConfigClassic configName) (TyVarDecl tyname ann) Source #
Instance details Methods prettyBy ∷ PrettyConfigClassic configName → TyVarDecl tyname ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigClassic 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 prettyBy ∷ PrettyConfigClassic configName → VarDecl tyname name uni ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigClassic 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 prettyBy ∷ PrettyConfigClassic configName → Datatype tyname name uni ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigClassic 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 prettyBy ∷ PrettyConfigClassic configName → Binding tyname name uni fun ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigClassic 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 prettyBy ∷ PrettyConfigClassic configName → Program tyname name uni fun ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigClassic 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 prettyBy ∷ PrettyConfigClassic configName → Term tyname name uni fun ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigClassic configName → [Term tyname name uni fun ann] → Doc ann0 Source #
(PrettyClassic tyname, Pretty ann) ⇒ Pretty (TyVarDecl tyname ann) Source #
Instance details Methods pretty ∷ TyVarDecl tyname ann → Doc ann0 Source # prettyList ∷ [TyVarDecl tyname ann] → Doc ann0 Source #
(PrettyClassic tyname, PrettyClassic name, PrettyParens (SomeTypeIn uni), Pretty ann) ⇒ Pretty (VarDecl tyname name uni ann) Source #
Instance details Methods pretty ∷ VarDecl tyname name uni ann → Doc ann0 Source # prettyList ∷ [VarDecl tyname name uni ann] → Doc ann0 Source #
(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty ann) ⇒ Pretty (Datatype tyname name uni ann) Source #
Instance details Methods pretty ∷ Datatype tyname name uni ann → Doc ann0 Source # prettyList ∷ [Datatype tyname name uni ann] → Doc ann0 Source #
(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) ⇒ Pretty (Binding tyname name uni fun ann) Source #
Instance details Methods pretty ∷ Binding tyname name uni fun ann → Doc ann0 Source # prettyList ∷ [Binding tyname name uni fun ann] → Doc ann0 Source #
(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) ⇒ Pretty (Program tyname name uni fun ann) Source #
Instance details Methods pretty ∷ Program tyname name uni fun ann → Doc ann0 Source # prettyList ∷ [Program tyname name uni fun ann] → Doc ann0 Source #
(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) ⇒ Pretty (Term tyname name uni fun ann) Source #
Instance details Methods pretty ∷ Term tyname name uni fun ann → Doc ann0 Source # prettyList ∷ [Term tyname name uni fun ann] → Doc ann0 Source #