Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.CLI.Pretty

Synopsis

putLn ∷ MonadIO m ⇒ Doc AnsiStyle → m ()
hPutLn ∷ MonadIO m ⇒ Handle → Doc AnsiStyle → m ()
black ∷ Doc AnsiStyle → Doc AnsiStyle
blue ∷ Doc AnsiStyle → Doc AnsiStyle
cyan ∷ Doc AnsiStyle → Doc AnsiStyle
docToLazyText ∷ Doc AnsiStyle → Text
docToString ∷ Doc AnsiStyle → String
docToText ∷ Doc AnsiStyle → Text
green ∷ Doc AnsiStyle → Doc AnsiStyle
magenta ∷ Doc AnsiStyle → Doc AnsiStyle
prettyException ∷ Exception a ⇒ a → Doc ann
pshow ∷ Show a ⇒ a → Doc ann
red ∷ Doc AnsiStyle → Doc AnsiStyle
white ∷ Doc AnsiStyle → Doc AnsiStyle
yellow ∷ Doc AnsiStyle → Doc AnsiStyle
(<+>) ∷ Doc ann → Doc ann → Doc ann
hsep ∷ [Doc ann] → Doc ann
vsep ∷ [Doc ann] → Doc ann
class Monad m ⇒ MonadIO (m ∷ Type → Type) where
- liftIO ∷ IO a → m a
type Ann = AnsiStyle
newtype ShowOf a = ShowOf a
data Doc ann
class Pretty a where
- pretty ∷ a → Doc ann
- prettyList ∷ [a] → Doc ann

Documentation

putLn ∷ MonadIO m ⇒ Doc AnsiStyle → m () Source #

hPutLn ∷ MonadIO m ⇒ Handle → Doc AnsiStyle → m () Source #

black ∷ Doc AnsiStyle → Doc AnsiStyle Source #

blue ∷ Doc AnsiStyle → Doc AnsiStyle Source #

cyan ∷ Doc AnsiStyle → Doc AnsiStyle Source #

docToLazyText ∷ Doc AnsiStyle → Text Source #

docToString ∷ Doc AnsiStyle → String Source #

docToText ∷ Doc AnsiStyle → Text Source #

green ∷ Doc AnsiStyle → Doc AnsiStyle Source #

magenta ∷ Doc AnsiStyle → Doc AnsiStyle Source #

prettyException ∷ Exception a ⇒ a → Doc ann Source #

Short hand for pretty . displayException

pshow ∷ Show a ⇒ a → Doc ann Source #

Short hand for viaShow.

red ∷ Doc AnsiStyle → Doc AnsiStyle Source #

white ∷ Doc AnsiStyle → Doc AnsiStyle Source #

yellow ∷ Doc AnsiStyle → Doc AnsiStyle Source #

(<+>) ∷ Doc ann → Doc ann → Doc ann infixr 6 Source #

(x <+> y) concatenates document x and y with a space in between.

>>> "hello" <+> "world"
hello world

x <+> y = x <> space <> y

hsep ∷ [Doc ann] → Doc ann Source #

(hsep xs) concatenates all documents xs horizontally with <+>, i.e. it puts a space between all entries.

>>> let docs = Util.words "lorem ipsum dolor sit amet"

>>> hsep docs
lorem ipsum dolor sit amet

hsep does not introduce line breaks on its own, even when the page is too narrow:

>>> putDocW 5 (hsep docs)
lorem ipsum dolor sit amet

For automatic line breaks, consider using fillSep instead.

vsep ∷ [Doc ann] → Doc ann Source #

(vsep xs) concatenates all documents xs above each other. If a group undoes the line breaks inserted by vsep, the documents are separated with a space instead.

Using vsep alone yields

>>> "prefix" <+> vsep ["text", "to", "lay", "out"]
prefix text
to
lay
out

grouping a vsep separates the documents with a space if it fits the page (and does nothing otherwise). See the sep convenience function for this use case.

The align function can be used to align the documents under their first element:

>>> "prefix" <+> align (vsep ["text", "to", "lay", "out"])
prefix text
       to
       lay
       out

Since grouping a vsep is rather common, sep is a built-in for doing that.

class Monad m ⇒ MonadIO (m ∷ Type → Type) where Source #

Monads in which IO computations may be embedded. Any monad built by applying a sequence of monad transformers to the IO monad will be an instance of this class.

Instances should satisfy the following laws, which state that liftIO is a transformer of monads:

```
liftIO . return = return
```

liftIO (m >>= f) = liftIO m >>= (liftIO . f)

Methods

liftIO ∷ IO a → m a Source #

Lift a computation from the IO monad. This allows us to run IO computations in any monadic stack, so long as it supports these kinds of operations (i.e. IO is the base monad for the stack).

Example

Expand

import Control.Monad.Trans.State -- from the "transformers" library

printState :: Show s => StateT s IO ()
printState = do
  state <- get
  liftIO $ print state

Had we omitted liftIO, we would have ended up with this error:

• Couldn't match type ‘IO’ with ‘StateT s IO’
 Expected type: StateT s IO ()
   Actual type: IO ()

The important part here is the mismatch between StateT s IO () and IO ().

Luckily, we know of a function that takes an IO a and returns an (m a): liftIO, enabling us to run the program and see the expected results:

> evalStateT printState "hello"
"hello"

> evalStateT printState 3
3

Instances

Instances details

MonadIO IO	Since: base-4.9.0.0
Instance details Defined in Control.Monad.IO.Class Methods liftIO ∷ IO a → IO a Source #
MonadIO Q
Instance details Defined in Language.Haskell.TH.Syntax Methods liftIO ∷ IO a → Q a Source #
MonadIO m ⇒ MonadIO (WarningIO m) Source #
Instance details Defined in Cardano.CLI.Types.MonadWarning Methods liftIO ∷ IO a → WarningIO m a Source #
MonadIO m ⇒ MonadIO (IdentityT m)
Instance details Defined in Foundation.Monad.Identity Methods liftIO ∷ IO a → IdentityT m a Source #
MonadIO m ⇒ MonadIO (GenT m)
Instance details Defined in Hedgehog.Internal.Gen Methods liftIO ∷ IO a → GenT m a Source #
MonadIO m ⇒ MonadIO (PropertyT m)
Instance details Defined in Hedgehog.Internal.Property Methods liftIO ∷ IO a → PropertyT m a Source #
MonadIO m ⇒ MonadIO (TestT m)
Instance details Defined in Hedgehog.Internal.Property Methods liftIO ∷ IO a → TestT m a Source #
MonadIO m ⇒ MonadIO (TreeT m)
Instance details Defined in Hedgehog.Internal.Tree Methods liftIO ∷ IO a → TreeT m a Source #
MonadIO m ⇒ MonadIO (ListT m)
Instance details Defined in ListT Methods liftIO ∷ IO a → ListT m a Source #
MonadIO m ⇒ MonadIO (ResourceT m)
Instance details Defined in Control.Monad.Trans.Resource.Internal Methods liftIO ∷ IO a → ResourceT m a Source #
MonadIO m ⇒ MonadIO (ListT m)
Instance details Defined in Control.Monad.Trans.List Methods liftIO ∷ IO a → ListT m a Source #
MonadIO m ⇒ MonadIO (MaybeT m)
Instance details Defined in Control.Monad.Trans.Maybe Methods liftIO ∷ IO a → MaybeT m a Source #
MonadIO m ⇒ MonadIO (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Lazy Methods liftIO ∷ IO a → RandT g m a Source #
MonadIO m ⇒ MonadIO (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Strict Methods liftIO ∷ IO a → RandT g m a Source #
(Functor m, MonadIO m) ⇒ MonadIO (StateT s m)
Instance details Defined in Foundation.Monad.State Methods liftIO ∷ IO a → StateT s m a Source #
(Functor f, MonadIO m) ⇒ MonadIO (FreeT f m)
Instance details Defined in Control.Monad.Trans.Free Methods liftIO ∷ IO a → FreeT f m a Source #
(Error e, MonadIO m) ⇒ MonadIO (ErrorT e m)
Instance details Defined in Control.Monad.Trans.Error Methods liftIO ∷ IO a → ErrorT e m a Source #
MonadIO m ⇒ MonadIO (ExceptT e m)
Instance details Defined in Control.Monad.Trans.Except Methods liftIO ∷ IO a → ExceptT e m a Source #
MonadIO m ⇒ MonadIO (IdentityT m)
Instance details Defined in Control.Monad.Trans.Identity Methods liftIO ∷ IO a → IdentityT m a Source #
MonadIO m ⇒ MonadIO (ReaderT r m)
Instance details Defined in Control.Monad.Trans.Reader Methods liftIO ∷ IO a → ReaderT r m a Source #
MonadIO m ⇒ MonadIO (StateT s m)
Instance details Defined in Control.Monad.Trans.State.Lazy Methods liftIO ∷ IO a → StateT s m a Source #
MonadIO m ⇒ MonadIO (StateT s m)
Instance details Defined in Control.Monad.Trans.State.Strict Methods liftIO ∷ IO a → StateT s m a Source #
(Monoid w, MonadIO m) ⇒ MonadIO (WriterT w m)
Instance details Defined in Control.Monad.Trans.Writer.Lazy Methods liftIO ∷ IO a → WriterT w m a Source #
(Monoid w, MonadIO m) ⇒ MonadIO (WriterT w m)
Instance details Defined in Control.Monad.Trans.Writer.Strict Methods liftIO ∷ IO a → WriterT w m a Source #
MonadIO m ⇒ MonadIO (ConduitT i o m)
Instance details Defined in Data.Conduit.Internal.Conduit Methods liftIO ∷ IO a → ConduitT i o m a Source #
MonadIO m ⇒ MonadIO (ParsecT s u m)
Instance details Defined in Text.Parsec.Prim Methods liftIO ∷ IO a → ParsecT s u m a Source #
MonadIO m ⇒ MonadIO (ContT r m)
Instance details Defined in Control.Monad.Trans.Cont Methods liftIO ∷ IO a → ContT r m a Source #
(Monoid w, MonadIO m) ⇒ MonadIO (RWST r w s m)
Instance details Defined in Control.Monad.Trans.RWS.Lazy Methods liftIO ∷ IO a → RWST r w s m a Source #
(Monoid w, MonadIO m) ⇒ MonadIO (RWST r w s m)
Instance details Defined in Control.Monad.Trans.RWS.Strict Methods liftIO ∷ IO a → RWST r w s m a Source #
MonadIO m ⇒ MonadIO (LocalStateQueryExpr block point query r m)
Instance details Defined in Cardano.Api.IPC.Monad Methods liftIO ∷ IO a → LocalStateQueryExpr block point query r m a Source #
MonadIO m ⇒ MonadIO (Pipe l i o u m)
Instance details Defined in Data.Conduit.Internal.Pipe Methods liftIO ∷ IO a → Pipe l i o u m a Source #

type Ann = AnsiStyle Source #

Ann is the prettyprinter annotation for cardano-api and cardano-cli to enable the printing of colored output. This is a type alias for AnsiStyle.

newtype ShowOf a Source #

Constructors

ShowOf a

Instances

Instances details

Show a ⇒ ToJSON (ShowOf a)
Instance details Defined in Cardano.Api.Via.ShowOf Methods toJSON ∷ ShowOf a → Value Source # toEncoding ∷ ShowOf a → Encoding Source # toJSONList ∷ [ShowOf a] → Value Source # toEncodingList ∷ [ShowOf a] → Encoding Source # omitField ∷ ShowOf a → Bool Source #
Show a ⇒ ToJSONKey (ShowOf a)
Instance details Defined in Cardano.Api.Via.ShowOf Methods toJSONKey ∷ ToJSONKeyFunction (ShowOf a) Source # toJSONKeyList ∷ ToJSONKeyFunction [ShowOf a] Source #
Show a ⇒ Show (ShowOf a)
Instance details Defined in Cardano.Api.Via.ShowOf Methods showsPrec ∷ Int → ShowOf a → ShowS Source # show ∷ ShowOf a → String Source # showList ∷ [ShowOf a] → ShowS Source #
Show a ⇒ Pretty (ShowOf a)
Instance details Defined in Cardano.Api.Via.ShowOf Methods pretty ∷ ShowOf a → Doc ann Source # prettyList ∷ [ShowOf a] → Doc ann Source #

data Doc ann Source #

The abstract data type Doc ann represents pretty documents that have been annotated with data of type ann.

More specifically, a value of type Doc represents a non-empty set of possible layouts of a document. The layout functions select one of these possibilities, taking into account things like the width of the output document.

The annotation is an arbitrary piece of data associated with (part of) a document. Annotations may be used by the rendering backends in order to display output differently, such as

color information (e.g. when rendering to the terminal)
mouseover text (e.g. when rendering to rich HTML)
whether to show something or not (to allow simple or detailed versions)

The simplest way to display a Doc is via the Show class.

>>> putStrLn (show (vsep ["hello", "world"]))
hello
world

Instances

Instances details

Functor Doc	Alter the document’s annotations. This instance makes `Doc` more flexible (because it can be used in `Functor`-polymorphic values), but `fmap` is much less readable compared to using `reAnnotate` in code that only works for `Doc` anyway. Consider using the latter when the type does not matter.
Instance details Defined in Prettyprinter.Internal Methods fmap ∷ (a → b) → Doc a → Doc b Source # (<$) ∷ a → Doc b → Doc a Source #
IsString (Doc ann)	`>>>` `pretty ("hello\nworld")`hello world This instance uses the `Pretty` `Doc` instance, and uses the same newline to `line` conversion.
Instance details Defined in Prettyprinter.Internal Methods fromString ∷ String → Doc ann Source #
Monoid (Doc ann)	`mempty` = `emptyDoc` `mconcat` = `hcat` `>>>` `mappend "hello" "world" :: Doc ann`helloworld
Instance details Defined in Prettyprinter.Internal Methods mempty ∷ Doc ann Source # mappend ∷ Doc ann → Doc ann → Doc ann Source # mconcat ∷ [Doc ann] → Doc ann Source #
Semigroup (Doc ann)	x `<>` y = `hcat` [x, y] `>>>` `"hello" <> "world" :: Doc ann`helloworld
Instance details Defined in Prettyprinter.Internal Methods (<>) ∷ Doc ann → Doc ann → Doc ann Source # sconcat ∷ NonEmpty (Doc ann) → Doc ann Source # stimes ∷ Integral b ⇒ b → Doc ann → Doc ann Source #
Generic (Doc ann)
Instance details Defined in Prettyprinter.Internal Associated Types type Rep (Doc ann) ∷ Type → Type Source # Methods from ∷ Doc ann → Rep (Doc ann) x Source # to ∷ Rep (Doc ann) x → Doc ann Source #
Show (Doc ann)	`(show doc)` prettyprints document `doc` with `defaultLayoutOptions`, ignoring all annotations.
Instance details Defined in Prettyprinter.Internal Methods showsPrec ∷ Int → Doc ann → ShowS Source # show ∷ Doc ann → String Source # showList ∷ [Doc ann] → ShowS Source #
CanAnnotate (Chunk Doc)
Instance details Defined in Options.Applicative.Help.Chunk Methods annTrace ∷ Int → String → Chunk Doc → Chunk Doc Source #
CanAnnotate (Doc Ann)
Instance details Defined in Options.Applicative.Help.Ann Methods annTrace ∷ Int → String → Doc Ann → Doc Ann Source #
type Rep (Doc ann)
Instance details Defined in Prettyprinter.Internal type Rep (Doc ann) = D1 ('MetaData "Doc" "Prettyprinter.Internal" "prettyprinter-1.7.1-566e5d4946e451e1b3a1377ccf0f615abc1808b2c8cd5c5b32f319217b7b7dba" 'False) (((C1 ('MetaCons "Fail" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Empty" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Char" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Char)))) :+: (C1 ('MetaCons "Text" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: (C1 ('MetaCons "Line" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "FlatAlt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)))))) :+: ((C1 ('MetaCons "Cat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann))) :+: (C1 ('MetaCons "Nest" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann))) :+: C1 ('MetaCons "Union" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann))))) :+: ((C1 ('MetaCons "Column" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int → Doc ann))) :+: C1 ('MetaCons "WithPageWidth" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PageWidth → Doc ann)))) :+: (C1 ('MetaCons "Nesting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int → Doc ann))) :+: C1 ('MetaCons "Annotated" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)))))))

class Pretty a where Source #

Overloaded conversion to Doc.

Laws:

output should be pretty. :-)

Minimal complete definition

pretty

Methods

pretty ∷ a → Doc ann Source #

>>> pretty 1 <+> pretty "hello" <+> pretty 1.234
1 hello 1.234

prettyList ∷ [a] → Doc ann Source #

prettyList is only used to define the instance Pretty a => Pretty [a]. In normal circumstances only the pretty function is used.

>>> prettyList [1, 23, 456]
[1, 23, 456]

Instances

Instances details

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 details Defined in Prettyprinter.Internal Methods pretty ∷ Void → Doc ann Source # prettyList ∷ [Void] → Doc ann Source #
Pretty Int16
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Int16 → Doc ann Source # prettyList ∷ [Int16] → Doc ann Source #
Pretty Int32
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Int32 → Doc ann Source # prettyList ∷ [Int32] → Doc ann Source #
Pretty Int64
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Int64 → Doc ann Source # prettyList ∷ [Int64] → Doc ann Source #
Pretty Int8
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Int8 → Doc ann Source # prettyList ∷ [Int8] → Doc ann Source #
Pretty Word16
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Word16 → Doc ann Source # prettyList ∷ [Word16] → Doc ann Source #
Pretty Word32
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Word32 → Doc ann Source # prettyList ∷ [Word32] → Doc ann Source #
Pretty Word64
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Word64 → Doc ann Source # prettyList ∷ [Word64] → Doc ann Source #
Pretty Word8
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Word8 → Doc ann Source # prettyList ∷ [Word8] → Doc ann Source #
Pretty AnyCardanoEra
Instance details Defined in Cardano.Api.Eras.Core Methods pretty ∷ AnyCardanoEra → Doc ann Source # prettyList ∷ [AnyCardanoEra] → Doc ann Source #
Pretty TxOutInAnyEra
Instance details Defined in Cardano.Api.Tx.Body Methods pretty ∷ TxOutInAnyEra → Doc ann Source # prettyList ∷ [TxOutInAnyEra] → Doc ann Source #
Pretty TxIn
Instance details Defined in Cardano.Api.TxIn Methods pretty ∷ TxIn → Doc ann Source # prettyList ∷ [TxIn] → Doc ann Source #
Pretty Ann
Instance details Defined in PlutusCore.Annotation Methods pretty ∷ Ann → Doc ann Source # prettyList ∷ [Ann] → Doc ann Source #
Pretty SrcSpan
Instance details Defined in PlutusCore.Annotation Methods pretty ∷ SrcSpan → Doc ann Source # prettyList ∷ [SrcSpan] → Doc ann Source #
Pretty SrcSpans
Instance details Defined in PlutusCore.Annotation Methods pretty ∷ SrcSpans → Doc ann Source # prettyList ∷ [SrcSpans] → Doc ann Source #
Pretty BuiltinError
Instance details Defined in PlutusCore.Builtin.Result Methods pretty ∷ BuiltinError → Doc ann Source # prettyList ∷ [BuiltinError] → Doc ann Source #
Pretty UnliftingError
Instance details Defined in PlutusCore.Builtin.Result Methods pretty ∷ UnliftingError → Doc ann Source # prettyList ∷ [UnliftingError] → Doc ann Source #
Pretty Data
Instance details Defined in PlutusCore.Data Methods pretty ∷ Data → Doc ann Source # prettyList ∷ [Data] → Doc ann Source #
Pretty FreeVariableError
Instance details Defined in PlutusCore.DeBruijn.Internal Methods pretty ∷ FreeVariableError → Doc ann Source # prettyList ∷ [FreeVariableError] → Doc ann Source #
Pretty Index
Instance details Defined in PlutusCore.DeBruijn.Internal Methods pretty ∷ Index → Doc ann Source # prettyList ∷ [Index] → Doc ann Source #
Pretty DefaultFun
Instance details Defined in PlutusCore.Default.Builtins Methods pretty ∷ DefaultFun → Doc ann Source # prettyList ∷ [DefaultFun] → Doc ann Source #
Pretty ParserError
Instance details Defined in PlutusCore.Error Methods pretty ∷ ParserError → Doc ann Source # prettyList ∷ [ParserError] → Doc ann Source #
Pretty ParserErrorBundle
Instance details Defined in PlutusCore.Error Methods pretty ∷ ParserErrorBundle → Doc ann Source # prettyList ∷ [ParserErrorBundle] → Doc ann Source #
Pretty CkUserError
Instance details Defined in PlutusCore.Evaluation.Machine.Ck Methods pretty ∷ CkUserError → Doc ann Source # prettyList ∷ [CkUserError] → Doc ann Source #
Pretty CostModelApplyError
Instance details Defined in PlutusCore.Evaluation.Machine.CostModelInterface Methods pretty ∷ CostModelApplyError → Doc ann Source # prettyList ∷ [CostModelApplyError] → Doc ann Source #
Pretty CostModelApplyWarn
Instance details Defined in PlutusCore.Evaluation.Machine.CostModelInterface Methods pretty ∷ CostModelApplyWarn → Doc ann Source # prettyList ∷ [CostModelApplyWarn] → Doc ann Source #
Pretty ExBudget
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods pretty ∷ ExBudget → Doc ann Source # prettyList ∷ [ExBudget] → Doc ann Source #
Pretty ExRestrictingBudget
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods pretty ∷ ExRestrictingBudget → Doc ann Source # prettyList ∷ [ExRestrictingBudget] → Doc ann Source #
Pretty ExCPU
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods pretty ∷ ExCPU → Doc ann Source # prettyList ∷ [ExCPU] → Doc ann Source #
Pretty ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods pretty ∷ ExMemory → Doc ann Source # prettyList ∷ [ExMemory] → Doc ann Source #
Pretty Unique
Instance details Defined in PlutusCore.Name.Unique Methods pretty ∷ Unique → Doc ann Source # prettyList ∷ [Unique] → Doc ann Source #
Pretty Version
Instance details Defined in PlutusCore.Version Methods pretty ∷ Version → Doc ann Source # prettyList ∷ [Version] → Doc ann Source #
Pretty CountingSt
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty ∷ CountingSt → Doc ann Source # prettyList ∷ [CountingSt] → Doc ann Source #
Pretty RestrictingSt
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty ∷ RestrictingSt → Doc ann Source # prettyList ∷ [RestrictingSt] → Doc ann Source #
Pretty CekUserError
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods pretty ∷ CekUserError → Doc ann Source # prettyList ∷ [CekUserError] → Doc ann Source #
Pretty DatatypeComponent
Instance details Defined in PlutusIR.Compiler.Provenance Methods pretty ∷ DatatypeComponent → Doc ann Source # prettyList ∷ [DatatypeComponent] → Doc ann Source #
Pretty GeneratedKind
Instance details Defined in PlutusIR.Compiler.Provenance Methods pretty ∷ GeneratedKind → Doc ann Source # prettyList ∷ [GeneratedKind] → Doc ann Source #
Pretty EvaluationError
Instance details Defined in PlutusLedgerApi.Common.Eval Methods pretty ∷ EvaluationError → Doc ann Source # prettyList ∷ [EvaluationError] → Doc ann Source #
Pretty MajorProtocolVersion
Instance details Defined in PlutusLedgerApi.Common.ProtocolVersions Methods pretty ∷ MajorProtocolVersion → Doc ann Source # prettyList ∷ [MajorProtocolVersion] → Doc ann Source #
Pretty ScriptDecodeError
Instance details Defined in PlutusLedgerApi.Common.SerialisedScript Methods pretty ∷ ScriptDecodeError → Doc ann Source # prettyList ∷ [ScriptDecodeError] → Doc ann Source #
Pretty PlutusLedgerLanguage
Instance details Defined in PlutusLedgerApi.Common.Versions Methods pretty ∷ PlutusLedgerLanguage → Doc ann Source # prettyList ∷ [PlutusLedgerLanguage] → Doc ann Source #
Pretty Address
Instance details Defined in PlutusLedgerApi.V1.Address Methods pretty ∷ Address → Doc ann Source # prettyList ∷ [Address] → Doc ann Source #
Pretty LedgerBytes
Instance details Defined in PlutusLedgerApi.V1.Bytes Methods pretty ∷ LedgerBytes → Doc ann Source # prettyList ∷ [LedgerBytes] → Doc ann Source #
Pretty ScriptContext
Instance details Defined in PlutusLedgerApi.V1.Contexts Methods pretty ∷ ScriptContext → Doc ann Source # prettyList ∷ [ScriptContext] → Doc ann Source #
Pretty ScriptPurpose
Instance details Defined in PlutusLedgerApi.V1.Contexts Methods pretty ∷ ScriptPurpose → Doc ann Source # prettyList ∷ [ScriptPurpose] → Doc ann Source #
Pretty TxInInfo
Instance details Defined in PlutusLedgerApi.V1.Contexts Methods pretty ∷ TxInInfo → Doc ann Source # prettyList ∷ [TxInInfo] → Doc ann Source #
Pretty TxInfo
Instance details Defined in PlutusLedgerApi.V1.Contexts Methods pretty ∷ TxInfo → Doc ann Source # prettyList ∷ [TxInfo] → Doc ann Source #
Pretty Credential
Instance details Defined in PlutusLedgerApi.V1.Credential Methods pretty ∷ Credential → Doc ann Source # prettyList ∷ [Credential] → Doc ann Source #
Pretty StakingCredential
Instance details Defined in PlutusLedgerApi.V1.Credential Methods pretty ∷ StakingCredential → Doc ann Source # prettyList ∷ [StakingCredential] → Doc ann Source #
Pretty PubKeyHash	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Crypto Methods pretty ∷ PubKeyHash → Doc ann Source # prettyList ∷ [PubKeyHash] → Doc ann Source #
Pretty DCert
Instance details Defined in PlutusLedgerApi.V1.DCert Methods pretty ∷ DCert → Doc ann Source # prettyList ∷ [DCert] → Doc ann Source #
Pretty Context
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods pretty ∷ Context → Doc ann Source # prettyList ∷ [Context] → Doc ann Source #
Pretty Datum
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods pretty ∷ Datum → Doc ann Source # prettyList ∷ [Datum] → Doc ann Source #
Pretty DatumHash	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods pretty ∷ DatumHash → Doc ann Source # prettyList ∷ [DatumHash] → Doc ann Source #
Pretty Redeemer
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods pretty ∷ Redeemer → Doc ann Source # prettyList ∷ [Redeemer] → Doc ann Source #
Pretty RedeemerHash	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods pretty ∷ RedeemerHash → Doc ann Source # prettyList ∷ [RedeemerHash] → Doc ann Source #
Pretty ScriptHash	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods pretty ∷ ScriptHash → Doc ann Source # prettyList ∷ [ScriptHash] → Doc ann Source #
Pretty POSIXTime
Instance details Defined in PlutusLedgerApi.V1.Time Methods pretty ∷ POSIXTime → Doc ann Source # prettyList ∷ [POSIXTime] → Doc ann Source #
Pretty TxId	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Tx Methods pretty ∷ TxId → Doc ann Source # prettyList ∷ [TxId] → Doc ann Source #
Pretty TxOut
Instance details Defined in PlutusLedgerApi.V1.Tx Methods pretty ∷ TxOut → Doc ann Source # prettyList ∷ [TxOut] → Doc ann Source #
Pretty TxOutRef
Instance details Defined in PlutusLedgerApi.V1.Tx Methods pretty ∷ TxOutRef → Doc ann Source # prettyList ∷ [TxOutRef] → Doc ann Source #
Pretty AssetClass
Instance details Defined in PlutusLedgerApi.V1.Value Methods pretty ∷ AssetClass → Doc ann Source # prettyList ∷ [AssetClass] → Doc ann Source #
Pretty CurrencySymbol	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Value Methods pretty ∷ CurrencySymbol → Doc ann Source # prettyList ∷ [CurrencySymbol] → Doc ann Source #
Pretty Lovelace
Instance details Defined in PlutusLedgerApi.V1.Value Methods pretty ∷ Lovelace → Doc ann Source # prettyList ∷ [Lovelace] → Doc ann Source #
Pretty TokenName
Instance details Defined in PlutusLedgerApi.V1.Value Methods pretty ∷ TokenName → Doc ann Source # prettyList ∷ [TokenName] → Doc ann Source #
Pretty Value
Instance details Defined in PlutusLedgerApi.V1.Value Methods pretty ∷ Value → Doc ann Source # prettyList ∷ [Value] → Doc ann Source #
Pretty ScriptContext
Instance details Defined in PlutusLedgerApi.V2.Contexts Methods pretty ∷ ScriptContext → Doc ann Source # prettyList ∷ [ScriptContext] → Doc ann Source #
Pretty TxInInfo
Instance details Defined in PlutusLedgerApi.V2.Contexts Methods pretty ∷ TxInInfo → Doc ann Source # prettyList ∷ [TxInInfo] → Doc ann Source #
Pretty TxInfo
Instance details Defined in PlutusLedgerApi.V2.Contexts Methods pretty ∷ TxInfo → Doc ann Source # prettyList ∷ [TxInfo] → Doc ann Source #
Pretty OutputDatum
Instance details Defined in PlutusLedgerApi.V2.Tx Methods pretty ∷ OutputDatum → Doc ann Source # prettyList ∷ [OutputDatum] → Doc ann Source #
Pretty TxOut
Instance details Defined in PlutusLedgerApi.V2.Tx Methods pretty ∷ TxOut → Doc ann Source # prettyList ∷ [TxOut] → Doc ann Source #
Pretty ChangedParameters
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ ChangedParameters → Doc ann Source # prettyList ∷ [ChangedParameters] → Doc ann Source #
Pretty ColdCommitteeCredential
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ ColdCommitteeCredential → Doc ann Source # prettyList ∷ [ColdCommitteeCredential] → Doc ann Source #
Pretty Committee
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ Committee → Doc ann Source # prettyList ∷ [Committee] → Doc ann Source #
Pretty Constitution
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ Constitution → Doc ann Source # prettyList ∷ [Constitution] → Doc ann Source #
Pretty DRep
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ DRep → Doc ann Source # prettyList ∷ [DRep] → Doc ann Source #
Pretty DRepCredential
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ DRepCredential → Doc ann Source # prettyList ∷ [DRepCredential] → Doc ann Source #
Pretty Delegatee
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ Delegatee → Doc ann Source # prettyList ∷ [Delegatee] → Doc ann Source #
Pretty GovernanceAction
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ GovernanceAction → Doc ann Source # prettyList ∷ [GovernanceAction] → Doc ann Source #
Pretty GovernanceActionId
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ GovernanceActionId → Doc ann Source # prettyList ∷ [GovernanceActionId] → Doc ann Source #
Pretty HotCommitteeCredential
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ HotCommitteeCredential → Doc ann Source # prettyList ∷ [HotCommitteeCredential] → Doc ann Source #
Pretty ProposalProcedure
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ ProposalProcedure → Doc ann Source # prettyList ∷ [ProposalProcedure] → Doc ann Source #
Pretty ProtocolVersion
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ ProtocolVersion → Doc ann Source # prettyList ∷ [ProtocolVersion] → Doc ann Source #
Pretty ScriptContext
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ ScriptContext → Doc ann Source # prettyList ∷ [ScriptContext] → Doc ann Source #
Pretty ScriptPurpose
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ ScriptPurpose → Doc ann Source # prettyList ∷ [ScriptPurpose] → Doc ann Source #
Pretty TxCert
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ TxCert → Doc ann Source # prettyList ∷ [TxCert] → Doc ann Source #
Pretty TxInInfo
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ TxInInfo → Doc ann Source # prettyList ∷ [TxInInfo] → Doc ann Source #
Pretty TxInfo
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ TxInfo → Doc ann Source # prettyList ∷ [TxInfo] → Doc ann Source #
Pretty Vote
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ Vote → Doc ann Source # prettyList ∷ [Vote] → Doc ann Source #
Pretty Voter
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ Voter → Doc ann Source # prettyList ∷ [Voter] → Doc ann Source #
Pretty TxId	using hex encoding
Instance details Defined in PlutusLedgerApi.V3.Tx Methods pretty ∷ TxId → Doc ann Source # prettyList ∷ [TxId] → Doc ann Source #
Pretty TxOutRef
Instance details Defined in PlutusLedgerApi.V3.Tx Methods pretty ∷ TxOutRef → Doc ann Source # prettyList ∷ [TxOutRef] → Doc ann Source #
Pretty BuiltinBLS12_381_G1_Element
Instance details Defined in PlutusTx.Builtins.Internal Methods pretty ∷ BuiltinBLS12_381_G1_Element → Doc ann Source # prettyList ∷ [BuiltinBLS12_381_G1_Element] → Doc ann Source #
Pretty BuiltinBLS12_381_G2_Element
Instance details Defined in PlutusTx.Builtins.Internal Methods pretty ∷ BuiltinBLS12_381_G2_Element → Doc ann Source # prettyList ∷ [BuiltinBLS12_381_G2_Element] → Doc ann Source #
Pretty BuiltinBLS12_381_MlResult
Instance details Defined in PlutusTx.Builtins.Internal Methods pretty ∷ BuiltinBLS12_381_MlResult → Doc ann Source # prettyList ∷ [BuiltinBLS12_381_MlResult] → Doc ann Source #
Pretty BuiltinByteString
Instance details Defined in PlutusTx.Builtins.Internal Methods pretty ∷ BuiltinByteString → Doc ann Source # prettyList ∷ [BuiltinByteString] → Doc ann Source #
Pretty BuiltinData
Instance details Defined in PlutusTx.Builtins.Internal Methods pretty ∷ BuiltinData → Doc ann Source # prettyList ∷ [BuiltinData] → Doc ann Source #
Pretty CovLoc
Instance details Defined in PlutusTx.Coverage Methods pretty ∷ CovLoc → Doc ann Source # prettyList ∷ [CovLoc] → Doc ann Source #
Pretty CoverageAnnotation
Instance details Defined in PlutusTx.Coverage Methods pretty ∷ CoverageAnnotation → Doc ann Source # prettyList ∷ [CoverageAnnotation] → Doc ann Source #
Pretty CoverageMetadata
Instance details Defined in PlutusTx.Coverage Methods pretty ∷ CoverageMetadata → Doc ann Source # prettyList ∷ [CoverageMetadata] → Doc ann Source #
Pretty CoverageReport
Instance details Defined in PlutusTx.Coverage Methods pretty ∷ CoverageReport → Doc ann Source # prettyList ∷ [CoverageReport] → Doc ann Source #
Pretty Metadata
Instance details Defined in PlutusTx.Coverage Methods pretty ∷ Metadata → Doc ann Source # prettyList ∷ [Metadata] → Doc ann Source #
Pretty Rational
Instance details Defined in PlutusTx.Ratio Methods pretty ∷ Rational → Doc ann Source # prettyList ∷ [Rational] → Doc ann Source #
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 details Defined in Prettyprinter.Internal Methods pretty ∷ Text → Doc ann Source # prettyList ∷ [Text] → Doc ann Source #
Pretty Text	(lazy `Doc` instance, identical to the strict version)
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Text → Doc ann Source # prettyList ∷ [Text] → Doc ann Source #
Pretty Integer	`>>>` `pretty (2^123 :: Integer)`10633823966279326983230456482242756608
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Integer → Doc ann Source # prettyList ∷ [Integer] → Doc ann Source #
Pretty Natural
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Natural → Doc ann Source # prettyList ∷ [Natural] → Doc ann Source #
Pretty ()	`>>>` `pretty ()`() The argument is not used: `>>>` `pretty (error "Strict?" :: ())`()
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ () → Doc ann Source # prettyList ∷ [()] → Doc ann Source #
Pretty Bool	`>>>` `pretty True`True
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Bool → Doc ann Source # prettyList ∷ [Bool] → Doc ann Source #
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 details Defined in Prettyprinter.Internal Methods pretty ∷ Char → Doc ann Source # prettyList ∷ [Char] → Doc ann Source #
Pretty Double	`>>>` `pretty (exp 1 :: Double)`2.71828182845904...
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Double → Doc ann Source # prettyList ∷ [Double] → Doc ann Source #
Pretty Float	`>>>` `pretty (pi :: Float)`3.1415927
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Float → Doc ann Source # prettyList ∷ [Float] → Doc ann Source #
Pretty Int	`>>>` `pretty (123 :: Int)`123
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Int → Doc ann Source # prettyList ∷ [Int] → Doc ann Source #
Pretty Word
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Word → Doc ann Source # prettyList ∷ [Word] → Doc ann Source #
Pretty a ⇒ Pretty (Identity a)	`>>>` `pretty (Identity 1)`1
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Identity a → Doc ann Source # prettyList ∷ [Identity a] → Doc ann Source #
Pretty (ShelleyBasedEra era)
Instance details Defined in Cardano.Api.Eon.ShelleyBasedEra Methods pretty ∷ ShelleyBasedEra era → Doc ann Source # prettyList ∷ [ShelleyBasedEra era] → Doc ann Source #
Pretty (CardanoEra era)
Instance details Defined in Cardano.Api.Eras.Core Methods pretty ∷ CardanoEra era → Doc ann Source # prettyList ∷ [CardanoEra era] → Doc ann Source #
Show a ⇒ Pretty (ShowOf a)
Instance details Defined in Cardano.Api.Via.ShowOf Methods pretty ∷ ShowOf a → Doc ann Source # prettyList ∷ [ShowOf a] → Doc ann Source #
Pretty (BuiltinSemanticsVariant DefaultFun)
Instance details Defined in PlutusCore.Default.Builtins Methods pretty ∷ BuiltinSemanticsVariant DefaultFun → Doc ann Source # prettyList ∷ [BuiltinSemanticsVariant DefaultFun] → Doc ann Source #
Pretty a ⇒ Pretty (Normalized a)
Instance details Defined in PlutusCore.Core.Type Methods pretty ∷ Normalized a → Doc ann Source # prettyList ∷ [Normalized a] → Doc ann Source #
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 details Defined in PlutusCore.Default.Universe Methods pretty ∷ DefaultUni a → Doc ann Source # prettyList ∷ [DefaultUni a] → Doc ann Source #
Pretty ann ⇒ Pretty (UniqueError ann)
Instance details Defined in PlutusCore.Error Methods pretty ∷ UniqueError ann → Doc ann0 Source # prettyList ∷ [UniqueError ann] → Doc ann0 Source #
PrettyClassic a ⇒ Pretty (EvaluationResult a)
Instance details Defined in PlutusCore.Evaluation.Result Methods pretty ∷ EvaluationResult a → Doc ann Source # prettyList ∷ [EvaluationResult a] → Doc ann Source #
PrettyReadable a ⇒ Pretty (AsReadable a)
Instance details Defined in PlutusCore.Pretty.Readable Methods pretty ∷ AsReadable a → Doc ann Source # prettyList ∷ [AsReadable a] → Doc ann Source #
Pretty (SomeTypeIn DefaultUni)
Instance details Defined in PlutusCore.Default.Universe Methods pretty ∷ SomeTypeIn DefaultUni → Doc ann Source # prettyList ∷ [SomeTypeIn DefaultUni] → Doc ann Source #
(Show fun, Ord fun) ⇒ Pretty (CekExTally fun)
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty ∷ CekExTally fun → Doc ann Source # prettyList ∷ [CekExTally fun] → Doc ann Source #
(Show fun, Ord fun) ⇒ Pretty (TallyingSt fun)
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty ∷ TallyingSt fun → Doc ann Source # prettyList ∷ [TallyingSt fun] → Doc ann Source #
Show fun ⇒ Pretty (ExBudgetCategory fun)
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods pretty ∷ ExBudgetCategory fun → Doc ann Source # prettyList ∷ [ExBudgetCategory fun] → Doc ann Source #
Pretty a ⇒ Pretty (Provenance a)
Instance details Defined in PlutusIR.Compiler.Provenance Methods pretty ∷ Provenance a → Doc ann Source # prettyList ∷ [Provenance a] → Doc ann Source #
Pretty a ⇒ Pretty (Extended a)
Instance details Defined in PlutusLedgerApi.V1.Interval Methods pretty ∷ Extended a → Doc ann Source # prettyList ∷ [Extended a] → Doc ann Source #
Pretty a ⇒ Pretty (Interval a)
Instance details Defined in PlutusLedgerApi.V1.Interval Methods pretty ∷ Interval a → Doc ann Source # prettyList ∷ [Interval a] → Doc ann Source #
Pretty a ⇒ Pretty (LowerBound a)
Instance details Defined in PlutusLedgerApi.V1.Interval Methods pretty ∷ LowerBound a → Doc ann Source # prettyList ∷ [LowerBound a] → Doc ann Source #
Pretty a ⇒ Pretty (UpperBound a)
Instance details Defined in PlutusLedgerApi.V1.Interval Methods pretty ∷ UpperBound a → Doc ann Source # prettyList ∷ [UpperBound a] → Doc ann Source #
Show a ⇒ Pretty (PrettyShow a)
Instance details Defined in Prettyprinter.Extras Methods pretty ∷ PrettyShow a → Doc ann Source # prettyList ∷ [PrettyShow a] → Doc ann Source #
Pretty a ⇒ Pretty (NonEmpty a)
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ NonEmpty a → Doc ann Source # prettyList ∷ [NonEmpty a] → Doc ann Source #
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 details Defined in Prettyprinter.Internal Methods pretty ∷ Maybe a → Doc ann Source # prettyList ∷ [Maybe a] → Doc ann Source #
Pretty a ⇒ Pretty [a]	`>>>` `pretty [1,2,3]`[1, 2, 3]
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ [a] → Doc ann Source # prettyList ∷ [[a]] → Doc ann Source #
(Pretty err, Pretty cause) ⇒ Pretty (ErrorWithCause err cause)
Instance details Defined in PlutusCore.Evaluation.ErrorWithCause Methods pretty ∷ ErrorWithCause err cause → Doc ann Source # prettyList ∷ [ErrorWithCause err cause] → Doc ann Source #
(Foldable f, Pretty a) ⇒ Pretty (PrettyFoldable f a)
Instance details Defined in Prettyprinter.Extras Methods pretty ∷ PrettyFoldable f a → Doc ann Source # prettyList ∷ [PrettyFoldable f a] → Doc ann Source #
(Pretty k, Pretty v) ⇒ Pretty (Map k v)
Instance details Defined in PlutusTx.AssocMap Methods pretty ∷ Map k v → Doc ann Source # prettyList ∷ [Map k v] → Doc ann Source #
DefaultPrettyBy config a ⇒ Pretty (AttachDefaultPrettyConfig config a)
Instance details Defined in Text.PrettyBy.Internal Methods pretty ∷ AttachDefaultPrettyConfig config a → Doc ann Source # prettyList ∷ [AttachDefaultPrettyConfig config a] → Doc ann Source #
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 details Defined in Text.PrettyBy.Internal Methods pretty ∷ AttachPrettyConfig config a → Doc ann Source # prettyList ∷ [AttachPrettyConfig config a] → Doc ann Source #
(Pretty a1, Pretty a2) ⇒ Pretty (a1, a2)	`>>>` `pretty (123, "hello")`(123, hello)
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ (a1, a2) → Doc ann Source # prettyList ∷ [(a1, a2)] → Doc ann Source #
Pretty a ⇒ Pretty (Const a b)
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Const a b → Doc ann Source # prettyList ∷ [Const a b] → Doc ann Source #
(PrettyUni uni, Pretty fun, Pretty ann) ⇒ Pretty (Error uni fun ann)
Instance details Defined in PlutusIR.Error Methods pretty ∷ Error uni fun ann → Doc ann0 Source # prettyList ∷ [Error uni fun ann] → Doc ann0 Source #
(Pretty a1, Pretty a2, Pretty a3) ⇒ Pretty (a1, a2, a3)	`>>>` `pretty (123, "hello", False)`(123, hello, False)
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ (a1, a2, a3) → Doc ann Source # prettyList ∷ [(a1, a2, a3)] → Doc ann Source #