Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
The global pretty-printing config used to pretty-print everything in the PLC world. This module also defines custom pretty-printing functions for PLC types as a convenience.
Synopsis
- data CondensedErrors
- newtype PrettyConfigPlcOptions = PrettyConfigPlcOptions {}
- data PrettyConfigPlcStrategy
- data PrettyConfigPlc = PrettyConfigPlc {}
- type PrettyPlc = PrettyBy PrettyConfigPlc
- type DefaultPrettyPlcStrategy a = (PrettyClassic a, PrettyReadable a)
- prettyConfigPlcOptions ∷ PrettyConfigPlcOptions
- prettyConfigPlcClassic ∷ PrettyConfigPlcOptions → PrettyConfigPlc
- prettyConfigPlcClassicSimple ∷ PrettyConfigPlcOptions → PrettyConfigPlc
- prettyConfigPlcReadable ∷ PrettyConfigPlcOptions → PrettyConfigPlc
- prettyConfigPlcReadableSimple ∷ PrettyConfigPlcOptions → PrettyConfigPlc
- prettyPlcClassic ∷ PrettyPlc a ⇒ a → Doc ann
- prettyPlcClassicSimple ∷ PrettyPlc a ⇒ a → Doc ann
- prettyPlcReadable ∷ PrettyPlc a ⇒ a → Doc ann
- prettyPlcReadableSimple ∷ PrettyPlc a ⇒ a → Doc ann
- prettyPlcCondensedErrorBy ∷ PrettyPlc a ⇒ (PrettyConfigPlcOptions → PrettyConfigPlc) → a → Doc ann
Global configuration
data CondensedErrors Source #
Whether to pretty-print PLC errors in full or with some information omitted.
Instances
Show CondensedErrors Source # | |
Defined in PlutusCore.Pretty.Plc | |
Eq CondensedErrors Source # | |
Defined in PlutusCore.Pretty.Plc |
data PrettyConfigPlcStrategy Source #
Strategy for pretty-printing PLC entities.
PrettyConfigPlcClassic (PrettyConfigClassic PrettyConfigName) | |
PrettyConfigPlcReadable (PrettyConfigReadable PrettyConfigName) |
Instances
Show PrettyConfigPlcStrategy Source # | |
Defined in PlutusCore.Pretty.Plc | |
HasPrettyConfigName PrettyConfigPlcStrategy Source # | |
DefaultPrettyPlcStrategy a ⇒ PrettyBy PrettyConfigPlcStrategy (PrettyAny a) Source # | |
Defined in PlutusCore.Pretty.Plc prettyBy ∷ PrettyConfigPlcStrategy → PrettyAny a → Doc ann Source # prettyListBy ∷ PrettyConfigPlcStrategy → [PrettyAny a] → Doc ann Source # |
data PrettyConfigPlc Source #
Global configuration used for pretty-printing PLC entities.
Instances
type PrettyPlc = PrettyBy PrettyConfigPlc Source #
The "pretty-printable PLC entity" constraint.
type DefaultPrettyPlcStrategy a = (PrettyClassic a, PrettyReadable a) Source #
A constraint that allows to derive PrettyBy PrettyConfigPlc
instances, see below.
prettyConfigPlcOptions ∷ PrettyConfigPlcOptions Source #
The PrettyConfigPlcOptions
used by default:
print errors in full.
prettyConfigPlcClassic ∷ PrettyConfigPlcOptions → PrettyConfigPlc Source #
The PrettyConfigPlc
used by default:
use the classic view and print neither Unique
s, nor name attachments.
prettyConfigPlcClassicSimple ∷ PrettyConfigPlcOptions → PrettyConfigPlc Source #
The PrettyConfigPlc
used for debugging:
use the classic view and print Unique
s, but not name attachments.
prettyConfigPlcReadable ∷ PrettyConfigPlcOptions → PrettyConfigPlc Source #
The PrettyConfigPlc
used by default and for readability:
use the refined view and print Unique
s but not name attachments.
prettyConfigPlcReadableSimple ∷ PrettyConfigPlcOptions → PrettyConfigPlc Source #
The PrettyConfigPlc
used for debugging and readability:
use the refined view and print neither Unique
s nor name attachments.
Custom functions for PLC types.
prettyPlcClassic ∷ PrettyPlc a ⇒ a → Doc ann Source #
Pretty-print a PLC value in the default mode using the classic view.
prettyPlcClassicSimple ∷ PrettyPlc a ⇒ a → Doc ann Source #
Pretty-print a PLC value without unique indices using the classic view.
prettyPlcReadable ∷ PrettyPlc a ⇒ a → Doc ann Source #
Pretty-print a PLC value in the default mode using the readable view.
prettyPlcReadableSimple ∷ PrettyPlc a ⇒ a → Doc ann Source #
Pretty-print a PLC value without unique indices using the readable view.
prettyPlcCondensedErrorBy ∷ PrettyPlc a ⇒ (PrettyConfigPlcOptions → PrettyConfigPlc) → a → Doc ann Source #
Pretty-print a PLC value using the condensed way (see CondensedErrors
)
of pretty-printing PLC errors (in case there are any).