Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Pretty.Classic

Description

A "classic" (i.e. as seen in the specification) way to pretty-print PLC entities.

Synopsis

data PrettyConfigClassic configName = PrettyConfigClassic {
- _pccConfigName ∷ configName
- _pccDisplayAnn ∷ Bool
}
type PrettyClassicBy configName = PrettyBy (PrettyConfigClassic configName)
type PrettyClassic = PrettyClassicBy PrettyConfigName
type PrettyParens = PrettyBy RenderContext
juxtRenderContext ∷ RenderContext
consAnnIf ∷ Pretty ann ⇒ PrettyConfigClassic configName → ann → [Doc dann] → [Doc dann]
prettyConfigClassic ∷ PrettyConfigClassic PrettyConfigName
prettyConfigClassicSimple ∷ PrettyConfigClassic PrettyConfigName
prettyClassic ∷ PrettyClassic a ⇒ a → Doc ann
prettyClassicSimple ∷ PrettyClassic a ⇒ a → Doc ann

Documentation

data PrettyConfigClassic configName Source #

Configuration for the classic pretty-printing.

Constructors

PrettyConfigClassic
Fields _pccConfigName ∷ configName How to pretty-print names. _pccDisplayAnn ∷ Bool Whether to display annotations.

Instances

Instances details

Show configName ⇒ Show (PrettyConfigClassic configName) Source #
Instance details Defined in PlutusCore.Pretty.Classic Methods showsPrec ∷ Int → PrettyConfigClassic configName → ShowS Source # show ∷ PrettyConfigClassic configName → String Source # showList ∷ [PrettyConfigClassic configName] → ShowS Source #
configName ~ PrettyConfigName ⇒ HasPrettyConfigName (PrettyConfigClassic configName) Source #
Instance details Defined in PlutusCore.Pretty.Classic Methods toPrettyConfigName ∷ PrettyConfigClassic configName → PrettyConfigName Source #
Pretty ann ⇒ PrettyBy (PrettyConfigClassic configName) (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Classic Methods prettyBy ∷ PrettyConfigClassic configName → Kind ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigClassic configName → [Kind ann] → Doc ann0 Source #
(PrettyClassicBy configName tyname, PrettyParens (SomeTypeIn uni), Pretty ann) ⇒ PrettyBy (PrettyConfigClassic configName) (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Classic Methods prettyBy ∷ PrettyConfigClassic configName → Type tyname uni ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigClassic configName → [Type tyname uni ann] → Doc ann0 Source #
(PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) ⇒ PrettyBy (PrettyConfigClassic PrettyConfigName) (UnrestrictedProgram name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Flat Methods prettyBy ∷ PrettyConfigClassic PrettyConfigName → UnrestrictedProgram name uni fun ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigClassic PrettyConfigName → [UnrestrictedProgram name uni fun ann] → Doc ann0 Source #
(PrettyClassicBy configName (Term name uni fun ann), Pretty ann) ⇒ PrettyBy (PrettyConfigClassic configName) (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Classic Methods prettyBy ∷ PrettyConfigClassic configName → Program name uni fun ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigClassic configName → [Program name uni fun ann] → Doc ann0 Source #
(PrettyClassicBy configName name, PrettyUni uni, Pretty fun, Pretty ann) ⇒ PrettyBy (PrettyConfigClassic configName) (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Classic Methods prettyBy ∷ PrettyConfigClassic configName → Term name uni fun ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigClassic configName → [Term name uni fun ann] → Doc ann0 Source #
(PrettyClassicBy configName (Term tyname name uni fun ann), Pretty ann) ⇒ PrettyBy (PrettyConfigClassic configName) (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Classic 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 Defined in PlutusCore.Core.Instance.Pretty.Classic 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 #
type HasPrettyDefaults (PrettyConfigClassic _1) Source #
Instance details Defined in PlutusCore.Pretty.Classic type HasPrettyDefaults (PrettyConfigClassic _1) = 'True

type PrettyClassicBy configName = PrettyBy (PrettyConfigClassic configName) Source #

The "classically pretty-printable" constraint.

type PrettyClassic = PrettyClassicBy PrettyConfigName Source #

type PrettyParens = PrettyBy RenderContext Source #

For pretty-printing a value with a minimum amount of parens.

juxtRenderContext ∷ RenderContext Source #

An initial RenderContext. An expression printed in this context gets enclosed in parens unless its outermost operator (if any) binds even stronger than function application.

consAnnIf ∷ Pretty ann ⇒ PrettyConfigClassic configName → ann → [Doc dann] → [Doc dann] Source #

Add a pretty-printed annotation to a list of Docs if the given config enables pretty-printing of annotations.

prettyConfigClassic ∷ PrettyConfigClassic PrettyConfigName Source #

prettyConfigClassicSimple ∷ PrettyConfigClassic PrettyConfigName Source #

prettyClassic ∷ PrettyClassic a ⇒ a → Doc ann Source #

Pretty-print a value in the default mode using the classic view.

prettyClassicSimple ∷ PrettyClassic a ⇒ a → Doc ann Source #

Pretty-print a value in the simple mode using the classic view.