Pretty Void | Finding a good example for printing something that does not exist is hard,
so here is an example of printing a list full of nothing. >>> pretty ([] :: [Void])
[]
|
Instance detailsDefined in Prettyprinter.Internal |
Pretty Int16 | |
Instance detailsDefined in Prettyprinter.Internal |
Pretty Int32 | |
Instance detailsDefined in Prettyprinter.Internal |
Pretty Int64 | |
Instance detailsDefined in Prettyprinter.Internal |
Pretty Int8 | |
Instance detailsDefined in Prettyprinter.Internal |
Pretty Word16 | |
Instance detailsDefined in Prettyprinter.Internal |
Pretty Word32 | |
Instance detailsDefined in Prettyprinter.Internal |
Pretty Word64 | |
Instance detailsDefined in Prettyprinter.Internal |
Pretty Word8 | |
Instance detailsDefined in Prettyprinter.Internal |
Pretty DeserialiseFailureInfo | |
Instance detailsDefined in Codec.Extras.SerialiseViaFlat |
Pretty DeserialiseFailureReason | |
Instance detailsDefined in Codec.Extras.SerialiseViaFlat |
Pretty Ann | |
Instance detailsDefined in PlutusCore.Annotation |
Pretty SrcSpan | |
Instance detailsDefined in PlutusCore.Annotation |
Pretty SrcSpans | |
Instance detailsDefined in PlutusCore.Annotation |
Pretty BuiltinError | |
Instance detailsDefined in PlutusCore.Builtin.Result |
Pretty UnliftingError | |
Instance detailsDefined in PlutusCore.Builtin.Result |
Pretty UnliftingEvaluationError | |
Instance detailsDefined in PlutusCore.Builtin.Result |
Pretty Element | |
Instance detailsDefined in PlutusCore.Crypto.BLS12_381.G1 |
Pretty Element | |
Instance detailsDefined in PlutusCore.Crypto.BLS12_381.G2 |
Pretty MlResult | |
Instance detailsDefined in PlutusCore.Crypto.BLS12_381.Pairing |
Pretty Data | |
Instance detailsDefined in PlutusCore.Data |
Pretty FreeVariableError | |
Instance detailsDefined in PlutusCore.DeBruijn.Internal |
Pretty Index | |
Instance detailsDefined in PlutusCore.DeBruijn.Internal |
Pretty DefaultFun | |
Instance detailsDefined in PlutusCore.Default.Builtins |
Pretty ParserError | |
Instance detailsDefined in PlutusCore.Error |
Pretty ParserErrorBundle | |
Instance detailsDefined in PlutusCore.Error |
Pretty CkUserError | |
Instance detailsDefined in PlutusCore.Evaluation.Machine.Ck |
Pretty CostModelApplyError | |
Instance detailsDefined in PlutusCore.Evaluation.Machine.CostModelInterface |
Pretty CostModelApplyWarn | |
Instance detailsDefined in PlutusCore.Evaluation.Machine.CostModelInterface |
Pretty ExBudget | |
Instance detailsDefined in PlutusCore.Evaluation.Machine.ExBudget |
Pretty ExRestrictingBudget | |
Instance detailsDefined in PlutusCore.Evaluation.Machine.ExBudget |
Pretty ExCPU | |
Instance detailsDefined in PlutusCore.Evaluation.Machine.ExMemory |
Pretty ExMemory | |
Instance detailsDefined in PlutusCore.Evaluation.Machine.ExMemory |
Pretty Unique | |
Instance detailsDefined in PlutusCore.Name.Unique |
Pretty Version | |
Instance detailsDefined in PlutusCore.Version |
Pretty CountingSt | |
Instance detailsDefined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode |
Pretty RestrictingSt | |
Instance detailsDefined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode |
Pretty CekUserError | |
Instance detailsDefined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
Pretty DatatypeComponent | |
Instance detailsDefined in PlutusIR.Compiler.Provenance |
Pretty GeneratedKind | |
Instance detailsDefined in PlutusIR.Compiler.Provenance |
Pretty EvaluationError Source # | |
Instance detailsDefined in PlutusLedgerApi.Common.Eval |
Pretty MajorProtocolVersion Source # | |
Instance detailsDefined in PlutusLedgerApi.Common.ProtocolVersions |
Pretty ScriptDecodeError Source # | |
Instance detailsDefined in PlutusLedgerApi.Common.SerialisedScript |
Pretty PlutusLedgerLanguage Source # | |
Instance detailsDefined in PlutusLedgerApi.Common.Versions |
Pretty Address Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Address |
Pretty LedgerBytes Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Bytes |
Pretty ScriptContext Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Contexts |
Pretty ScriptPurpose Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Contexts |
Pretty TxInInfo Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Contexts |
Pretty TxInfo Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Contexts |
Pretty Credential Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Credential |
Pretty StakingCredential Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Credential |
Pretty PubKeyHash Source # | using hex encoding |
Instance detailsDefined in PlutusLedgerApi.V1.Crypto |
Pretty DCert Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.DCert |
Pretty ScriptContext Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Data.Contexts |
Pretty ScriptPurpose Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Data.Contexts |
Pretty TxInInfo Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Data.Contexts |
Pretty TxInfo Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Data.Contexts |
Pretty TxId Source # | using hex encoding |
Instance detailsDefined in PlutusLedgerApi.V1.Data.Tx |
Pretty TxOut Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Data.Tx |
Pretty TxOutRef Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Data.Tx |
Pretty AssetClass Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Data.Value |
Pretty CurrencySymbol Source # | using hex encoding |
Instance detailsDefined in PlutusLedgerApi.V1.Data.Value |
Pretty Lovelace Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Data.Value |
Pretty TokenName Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Data.Value |
Pretty Value Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Data.Value |
Pretty Context Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Scripts |
Pretty Datum Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Scripts |
Pretty DatumHash Source # | using hex encoding |
Instance detailsDefined in PlutusLedgerApi.V1.Scripts |
Pretty Redeemer Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Scripts |
Pretty RedeemerHash Source # | using hex encoding |
Instance detailsDefined in PlutusLedgerApi.V1.Scripts |
Pretty ScriptHash Source # | using hex encoding |
Instance detailsDefined in PlutusLedgerApi.V1.Scripts |
Pretty POSIXTime Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Time |
Pretty TxId Source # | using hex encoding |
Instance detailsDefined in PlutusLedgerApi.V1.Tx |
Pretty TxOut Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Tx |
Pretty TxOutRef Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Tx |
Pretty AssetClass Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Value |
Pretty CurrencySymbol Source # | using hex encoding |
Instance detailsDefined in PlutusLedgerApi.V1.Value |
Pretty Lovelace Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Value |
Pretty TokenName Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Value |
Pretty Value Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Value |
Pretty ScriptContext Source # | |
Instance detailsDefined in PlutusLedgerApi.V2.Contexts |
Pretty TxInInfo Source # | |
Instance detailsDefined in PlutusLedgerApi.V2.Contexts |
Pretty TxInfo Source # | |
Instance detailsDefined in PlutusLedgerApi.V2.Contexts |
Pretty ScriptContext Source # | |
Instance detailsDefined in PlutusLedgerApi.V2.Data.Contexts |
Pretty TxInInfo Source # | |
Instance detailsDefined in PlutusLedgerApi.V2.Data.Contexts |
Pretty TxInfo Source # | |
Instance detailsDefined in PlutusLedgerApi.V2.Data.Contexts |
Pretty OutputDatum Source # | |
Instance detailsDefined in PlutusLedgerApi.V2.Data.Tx |
Pretty TxOut Source # | |
Instance detailsDefined in PlutusLedgerApi.V2.Data.Tx |
Pretty OutputDatum Source # | |
Instance detailsDefined in PlutusLedgerApi.V2.Tx |
Pretty TxOut Source # | |
Instance detailsDefined in PlutusLedgerApi.V2.Tx |
Pretty ChangedParameters Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Contexts |
Pretty ColdCommitteeCredential Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Contexts |
Pretty Committee Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Contexts |
Pretty Constitution Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Contexts |
Pretty DRep Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Contexts |
Pretty DRepCredential Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Contexts |
Pretty Delegatee Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Contexts |
Pretty GovernanceAction Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Contexts |
Pretty GovernanceActionId Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Contexts |
Pretty HotCommitteeCredential Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Contexts |
Pretty ProposalProcedure Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Contexts |
Pretty ProtocolVersion Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Contexts |
Pretty ScriptContext Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Contexts |
Pretty ScriptInfo Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Contexts |
Pretty ScriptPurpose Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Contexts |
Pretty TxCert Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Contexts |
Pretty TxInInfo Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Contexts |
Pretty TxInfo Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Contexts |
Pretty Vote Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Contexts |
Pretty Voter Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Contexts |
Pretty ChangedParameters Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Data.Contexts |
Pretty ColdCommitteeCredential Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Data.Contexts |
Pretty Committee Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Data.Contexts |
Pretty Constitution Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Data.Contexts |
Pretty DRep Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Data.Contexts |
Pretty DRepCredential Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Data.Contexts |
Pretty Delegatee Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Data.Contexts |
Pretty GovernanceAction Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Data.Contexts |
Pretty GovernanceActionId Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Data.Contexts |
Pretty HotCommitteeCredential Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Data.Contexts |
Pretty ProposalProcedure Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Data.Contexts |
Pretty ProtocolVersion Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Data.Contexts |
Pretty ScriptContext Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Data.Contexts |
Pretty ScriptInfo Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Data.Contexts |
Pretty ScriptPurpose Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Data.Contexts |
Pretty TxCert Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Data.Contexts |
Pretty TxInInfo Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Data.Contexts |
Pretty TxInfo Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Data.Contexts |
Pretty Vote Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Data.Contexts |
Pretty Voter Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Data.Contexts |
Pretty MintValue Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.MintValue |
Pretty TxId Source # | using hex encoding |
Instance detailsDefined in PlutusLedgerApi.V3.Tx |
Pretty TxOutRef Source # | |
Instance detailsDefined in PlutusLedgerApi.V3.Tx |
Pretty BuiltinBLS12_381_G1_Element | |
Instance detailsDefined in PlutusTx.Builtins.Internal |
Pretty BuiltinBLS12_381_G2_Element | |
Instance detailsDefined in PlutusTx.Builtins.Internal |
Pretty BuiltinBLS12_381_MlResult | |
Instance detailsDefined in PlutusTx.Builtins.Internal |
Pretty BuiltinByteString | |
Instance detailsDefined in PlutusTx.Builtins.Internal |
Pretty BuiltinData | |
Instance detailsDefined in PlutusTx.Builtins.Internal |
Pretty CovLoc | |
Instance detailsDefined in PlutusTx.Coverage |
Pretty CoverageAnnotation | |
Instance detailsDefined in PlutusTx.Coverage |
Pretty CoverageMetadata | |
Instance detailsDefined in PlutusTx.Coverage |
Pretty CoverageReport | |
Instance detailsDefined in PlutusTx.Coverage |
Pretty Metadata | |
Instance detailsDefined in PlutusTx.Coverage |
Pretty LiftError | |
Instance detailsDefined in PlutusTx.Lift.TH |
Pretty Rational | |
Instance detailsDefined in PlutusTx.Ratio |
Pretty Text | Automatically converts all newlines to line . >>> pretty ("hello\nworld" :: Text)
hello
world
Note that line can be undone by group : >>> group (pretty ("hello\nworld" :: Text))
hello world
Manually use hardline if you definitely want newlines. |
Instance detailsDefined in Prettyprinter.Internal |
Pretty Text | (lazy Doc instance, identical to the strict version) |
Instance detailsDefined in Prettyprinter.Internal |
Pretty Integer | >>> pretty (2^123 :: Integer)
10633823966279326983230456482242756608
|
Instance detailsDefined in Prettyprinter.Internal |
Pretty Natural | |
Instance detailsDefined in Prettyprinter.Internal |
Pretty () | >>> pretty ()
()
The argument is not used: >>> pretty (error "Strict?" :: ())
()
|
Instance detailsDefined in Prettyprinter.Internal |
Pretty Bool | >>> pretty True
True
|
Instance detailsDefined in Prettyprinter.Internal |
Pretty Char | Instead of (pretty 'n') , consider using line as a more readable
alternative. >>> pretty 'f' <> pretty 'o' <> pretty 'o'
foo
>>> pretty ("string" :: String)
string
|
Instance detailsDefined in Prettyprinter.Internal |
Pretty Double | >>> pretty (exp 1 :: Double)
2.71828182845904...
|
Instance detailsDefined in Prettyprinter.Internal |
Pretty Float | >>> pretty (pi :: Float)
3.1415927
|
Instance detailsDefined in Prettyprinter.Internal |
Pretty Int | >>> pretty (123 :: Int)
123
|
Instance detailsDefined in Prettyprinter.Internal |
Pretty Word | |
Instance detailsDefined in Prettyprinter.Internal |
Pretty a ⇒ Pretty (Identity a) | >>> pretty (Identity 1)
1
|
Instance detailsDefined in Prettyprinter.Internal |
Pretty a ⇒ Pretty (NonEmpty a) | |
Instance detailsDefined in Prettyprinter.Internal |
Pretty a ⇒ Pretty (HeadSpine a) | >>> import Text.Pretty
>>> pretty (HeadOnly 'z')
z
>>> pretty (HeadSpine 'f' (SpineCons 'x' $ SpineLast 'y'))
f `applyN` [x, y]
|
Instance detailsDefined in PlutusCore.Builtin.KnownType |
Pretty a ⇒ Pretty (Spine a) | >>> import Text.Pretty
>>> pretty (SpineCons 'a' $ SpineLast 'b')
[a, b]
|
Instance detailsDefined in PlutusCore.Builtin.KnownType |
Pretty (BuiltinSemanticsVariant DefaultFun) | |
Instance detailsDefined in PlutusCore.Default.Builtins |
Pretty a ⇒ Pretty (Normalized a) | |
Instance detailsDefined in PlutusCore.Core.Type |
Pretty (DefaultUni a) | This always pretty-prints parens around type applications (e.g. (list bool) ) and
doesn't pretty-print them otherwise (e.g. integer ). |
Instance detailsDefined in PlutusCore.Default.Universe |
Pretty ann ⇒ Pretty (UniqueError ann) | |
Instance detailsDefined in PlutusCore.Error |
PrettyClassic a ⇒ Pretty (EvaluationResult a) | |
Instance detailsDefined in PlutusCore.Evaluation.Result |
PrettyReadable a ⇒ Pretty (AsReadable a) | |
Instance detailsDefined in PlutusCore.Pretty.Readable |
Pretty (SomeTypeIn DefaultUni) | |
Instance detailsDefined in PlutusCore.Default.Universe |
(Show fun, Ord fun) ⇒ Pretty (CekExTally fun) | |
Instance detailsDefined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode |
(Show fun, Ord fun) ⇒ Pretty (TallyingSt fun) | |
Instance detailsDefined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode |
Show fun ⇒ Pretty (ExBudgetCategory fun) | |
Instance detailsDefined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
Pretty a ⇒ Pretty (Provenance a) | |
Instance detailsDefined in PlutusIR.Compiler.Provenance |
Pretty a ⇒ Pretty (Extended a) Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Interval |
Pretty a ⇒ Pretty (Interval a) Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Interval |
Pretty a ⇒ Pretty (LowerBound a) Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Interval |
Pretty a ⇒ Pretty (UpperBound a) Source # | |
Instance detailsDefined in PlutusLedgerApi.V1.Interval |
Show a ⇒ Pretty (PrettyShow a) Source # | |
Instance detailsDefined in Prettyprinter.Extras |
(UnsafeFromData a, Pretty a) ⇒ Pretty (List a) | |
Instance detailsDefined in PlutusTx.Data.List |
Pretty a ⇒ Pretty (Maybe a) | Ignore Nothing s, print Just contents. >>> pretty (Just True)
True
>>> braces (pretty (Nothing :: Maybe Bool))
{}
>>> pretty [Just 1, Nothing, Just 3, Nothing]
[1, 3]
|
Instance detailsDefined in Prettyprinter.Internal |
Pretty a ⇒ Pretty [a] | >>> pretty [1,2,3]
[1, 2, 3]
|
Instance detailsDefined in Prettyprinter.Internal |
(Pretty structural, Pretty operational) ⇒ Pretty (EvaluationError structural operational) | |
Instance detailsDefined in PlutusCore.Evaluation.Error |
(Pretty err, Pretty cause) ⇒ Pretty (ErrorWithCause err cause) | |
Instance detailsDefined in PlutusCore.Evaluation.ErrorWithCause |
(Foldable f, Pretty a) ⇒ Pretty (PrettyFoldable f a) Source # | |
Instance detailsDefined in Prettyprinter.Extras |
(Pretty k, Pretty v) ⇒ Pretty (Map k v) | |
Instance detailsDefined in PlutusTx.AssocMap |
(Pretty k, Pretty a, UnsafeFromData k, UnsafeFromData a) ⇒ Pretty (Map k a) | |
Instance detailsDefined in PlutusTx.Data.AssocMap |
DefaultPrettyBy config a ⇒ Pretty (AttachDefaultPrettyConfig config a) | |
Instance detailsDefined in Text.PrettyBy.Internal |
PrettyBy config a ⇒ Pretty (AttachPrettyConfig config a) | >>> data Cfg = Cfg
>>> data D = D
>>> instance PrettyBy Cfg D where prettyBy Cfg D = "D"
>>> pretty $ AttachPrettyConfig Cfg D
D
|
Instance detailsDefined in Text.PrettyBy.Internal |
(Pretty a1, Pretty a2) ⇒ Pretty (a1, a2) | >>> pretty (123, "hello")
(123, hello)
|
Instance detailsDefined in Prettyprinter.Internal |
Pretty a ⇒ Pretty (Const a b) | |
Instance detailsDefined in Prettyprinter.Internal |
(PrettyUni uni, Pretty fun, Pretty ann) ⇒ Pretty (Error uni fun ann) | |
Instance detailsDefined in PlutusIR.Error |
(KnownSymbol a, Pretty b) ⇒ Pretty (Tagged a b) Source # | |
Instance detailsDefined in Prettyprinter.Extras |
(Pretty a1, Pretty a2, Pretty a3) ⇒ Pretty (a1, a2, a3) | >>> pretty (123, "hello", False)
(123, hello, False)
|
Instance detailsDefined in Prettyprinter.Internal |